Summary.purs

Summary.purs

class Functor f where
  map :: forall a b. (a -> b) -> f a -> f b
  
class (Functor f) <= Apply f where
  apply :: ∀ a b. f (a -> b) -> f a -> f b

class (Apply m) <= Bind m where
  bind :: ∀ a b. m a -> (a -> m b) -> m b

class (Applicative m, Bind m) <= Monad m

class (Apply f) <= Applicative f where
  pure :: ∀ a. a -> f a