CMonad.hascasl revision c6456fd6e9cc28e09be25058d38fd41cc49a87e9
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinclass Functor : Type -> Type
75c0816e8295e180f4bc7f10db3d0d880383bc1cMark Andrewsclass Monad < Functor
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeintype List : Monad
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinvar a, b : Type
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinvar m : Monad
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop fail : m a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop return : a -> m a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinvar f : Functor
38417cbfb1a328c20b5b723b8584a02c57f88897Automatic Updaterop fmap : (a -> b) -> f a -> f b
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop empty : List a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeintype Set : Functor
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop emptySet : Set a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein. fail = emptySet
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein. fail = empty
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop map : (a -> b) -> List a -> List b
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinop __bind__ : m a * (a -> m b) -> m b
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinvar g : a -> b; var x : m a
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein. fmap g = map g
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein. fmap g x = x bind \ y: a .! return (g y)