Ticket #7094: State-Monad.hs

File State-Monad.hs, 207 bytes (added by pganelin, 21 months ago)
Line 
1
2data Term =  Con Int
3     | Div Term Term
4     deriving (Show)
5
6type M a =  State -> (a,State)
7type State =Int
8
9instance Monad Int -> (a,Int) where
10    g >>= f = undefined
11    return = undefined