FCI.Control.Monad

Documentation

pattern Monad :: (Inst (Applicative m)) -> (forall (a :: Type) (b :: Type). m a -> (a -> m b) -> m b) -> (forall (a :: Type) (b :: Type). m a -> m b -> m b) -> (forall (a :: Type). a -> m a) -> (forall (a :: Type). String -> m a) -> Dict (Monad (m :: Type -> Type))

$sel:_Applicative:Monad :: Dict (Monad (m :: Type -> Type)) -> Inst (Applicative m)

$sel:|>>=:Monad :: Dict (Monad (m :: Type -> Type)) -> forall (a :: Type) (b :: Type). m a -> (a -> m b) -> m b

$sel:|>>:Monad :: Dict (Monad (m :: Type -> Type)) -> forall (a :: Type) (b :: Type). m a -> m b -> m b

$sel:_return:Monad :: Dict (Monad (m :: Type -> Type)) -> forall (a :: Type). a -> m a

$sel:_fail:Monad :: Dict (Monad (m :: Type -> Type)) -> forall (a :: Type). String -> m a

bindMonad

Arguments

:: (forall a. a -> m a)

return

-> (forall a b. m a -> (a -> m b) -> m b)

(>>=)

-> Inst (Monad m)

Creates Dict instance from bind (>>=) definition.

joinMonad

Arguments

:: (forall a b. (a -> b) -> m a -> m b)

fmap

-> (forall a. a -> m a)

return

-> (forall a. m (m a) -> m a)

join

-> Inst (Monad m)

Creates Dict instance from join definition.

coerceMonad :: forall m. Newtype m => Inst (Monad m)

Creates Dict instance for any type that can be "coerced out".

module FCI.Control.Applicative