doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs
author haftmann
Fri Jan 05 14:31:44 2007 +0100 (2007-01-05)
changeset 22015 12b94d7f7e1f
parent 21994 dfa5133dbe73
child 22188 a63889770d57
permissions -rw-r--r--
adaptions
     1 module Codegen where {
     2 
     3 import qualified Nat;
     4 
     5 class Null a where {
     6   nulla :: a;
     7 };
     8 
     9 heada :: (Codegen.Null a) => [a] -> a;
    10 heada (y : xs) = y;
    11 heada [] = Codegen.nulla;
    12 
    13 null_option :: Maybe b;
    14 null_option = Nothing;
    15 
    16 instance Codegen.Null (Maybe b) where {
    17   nulla = Codegen.null_option;
    18 };
    19 
    20 dummy :: Maybe Nat.Nat;
    21 dummy = Codegen.heada [Just (Nat.Suc Nat.Zero_nat), Nothing];
    22 
    23 }