CMonad.hascasl revision 9b3f1a9c8994dc5a964d53de628f650317fa6d6f
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterclass Functor < Type -> Type
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterclass Monad < Functor
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fostertype List : Monad
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fostervar a, b : Type
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fostervar m : Monad
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop fail : m a
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop return : a -> m a
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fostervar f : Functor
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop fmap : (a -> b) -> f a -> f b
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop empty : List a
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fostertype Set : Functor
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop emptySet : Set a
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Foster. fail = emptySet
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Foster. fail = empty
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop map : (a -> b) -> List a -> List b
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fosterop __bind__ : m a * (a -> m b) -> m b
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Fostervar g : a -> b; var x : m a
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Foster. fmap g = map g
4fe4e4f798a84a46e567f64ceadd3648eb0582d4Allan Foster. fmap g x = x bind \ y: a .! return (g y)