ConstraintKinds-1.3.0: Repackages standard type classes with the ConstraintKinds extension

Safe HaskellNone

Control.ConstraintKinds.Monad

Documentation

ifThenElse :: Bool -> a -> a -> aSource

class Functor m => Monad m whereSource

Methods

fail :: String -> m aSource

return :: FunctorConstraint m a => a -> m aSource

join :: (FunctorConstraint m a, FunctorConstraint m (m a)) => m (m a) -> m aSource

(>>=) :: (FunctorConstraint m a, FunctorConstraint m b, FunctorConstraint m (m b)) => m a -> (a -> m b) -> m bSource

(>>) :: (FunctorConstraint m a, FunctorConstraint m b, FunctorConstraint m (m b)) => m a -> m b -> m bSource

Instances