Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 :: (forall a. a -> m a) -> (forall a b. m a -> (a -> m b) -> m b) -> Inst (Monad m)
- joinMonad :: (forall a b. (a -> b) -> m a -> m b) -> (forall a. a -> m a) -> (forall a. m (m a) -> m a) -> Inst (Monad m)
- coerceMonad :: forall m. Newtype m => Inst (Monad m)
- module FCI.Control.Applicative
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)) Source #
$sel:_Applicative:Monad :: Dict (Monad (m :: Type -> Type)) -> Inst (Applicative m) Source #
$sel:|>>=:Monad :: Dict (Monad (m :: Type -> Type)) -> forall (a :: Type) (b :: Type). m a -> (a -> m b) -> m b Source #
$sel:|>>:Monad :: Dict (Monad (m :: Type -> Type)) -> forall (a :: Type) (b :: Type). m a -> m b -> m b Source #
:: (forall a b. (a -> b) -> m a -> m b) | |
-> (forall a. a -> m a) | |
-> (forall a. m (m a) -> m a) | |
-> Inst (Monad m) |
Creates Dict
instance from join
definition.
module FCI.Control.Applicative