Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Control.Monad.Instances

Description

Deprecated: This module now contains no instances and will be removed in the future

This module is DEPRECATED and will be removed in the future!

Functor andMonad instances for(->) r andFunctor instances for(,) a andEither a.

Synopsis

classFunctor fwhere
- fmap :: (a -> b) -> f a -> f b
- (<$) :: a -> f b -> f a
classApplicative m =>Monad mwhere
- (>>=) ::forall a b. m a -> (a -> m b) -> m b
- (>>) ::forall a b. m a -> m b -> m b
- return :: a -> m a
- fail ::String -> m a

Documentation

classFunctor fwhereSource #

TheFunctor class is used for types that can be mapped over.Instances ofFunctor should satisfy the following laws:

fmap id  ==  idfmap (f . g)  ==  fmap f . fmap g

The instances ofFunctor for lists,Maybe andIOsatisfy these laws.

Minimal complete definition

fmap

Methods

fmap :: (a -> b) -> f a -> f bSource #

(<$) :: a -> f b -> f ainfixl 4Source #

Replace all locations in the input with the same value. The default definition isfmap .const, but this may be overridden with a more efficient version.

Instances

Functor []Source #	Since: 2.1
Instance details Defined inGHC.Base Methods fmap :: (a -> b) -> [a] -> [b]Source # (<$) :: a -> [b] -> [a]Source #
Functor MaybeSource #	Since: 2.1
Instance details Defined inGHC.Base Methods fmap :: (a -> b) ->Maybe a ->Maybe bSource # (<$) :: a ->Maybe b ->Maybe aSource #
Functor IOSource #	Since: 2.1
Instance details Defined inGHC.Base Methods fmap :: (a -> b) ->IO a ->IO bSource # (<$) :: a ->IO b ->IO aSource #
Functor Par1Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->Par1 a ->Par1 bSource # (<$) :: a ->Par1 b ->Par1 aSource #
Functor NonEmptySource #	Since: 4.9.0.0
Instance details Defined inGHC.Base Methods fmap :: (a -> b) ->NonEmpty a ->NonEmpty bSource # (<$) :: a ->NonEmpty b ->NonEmpty aSource #
Functor ReadPSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadP Methods fmap :: (a -> b) ->ReadP a ->ReadP bSource # (<$) :: a ->ReadP b ->ReadP aSource #
Functor ReadPrecSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadPrec Methods fmap :: (a -> b) ->ReadPrec a ->ReadPrec bSource # (<$) :: a ->ReadPrec b ->ReadPrec aSource #
Functor DownSource #	Since: 4.11.0.0
Instance details Defined inData.Ord Methods fmap :: (a -> b) ->Down a ->Down bSource # (<$) :: a ->Down b ->Down aSource #
Functor ProductSource #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods fmap :: (a -> b) ->Product a ->Product bSource # (<$) :: a ->Product b ->Product aSource #
Functor SumSource #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods fmap :: (a -> b) ->Sum a ->Sum bSource # (<$) :: a ->Sum b ->Sum aSource #
Functor DualSource #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods fmap :: (a -> b) ->Dual a ->Dual bSource # (<$) :: a ->Dual b ->Dual aSource #
Functor LastSource #	Since: 4.8.0.0
Instance details Defined inData.Monoid Methods fmap :: (a -> b) ->Last a ->Last bSource # (<$) :: a ->Last b ->Last aSource #
Functor FirstSource #	Since: 4.8.0.0
Instance details Defined inData.Monoid Methods fmap :: (a -> b) ->First a ->First bSource # (<$) :: a ->First b ->First aSource #
Functor STMSource #	Since: 4.3.0.0
Instance details Defined inGHC.Conc.Sync Methods fmap :: (a -> b) ->STM a ->STM bSource # (<$) :: a ->STM b ->STM aSource #
Functor HandlerSource #	Since: 4.6.0.0
Instance details Defined inControl.Exception Methods fmap :: (a -> b) ->Handler a ->Handler bSource # (<$) :: a ->Handler b ->Handler aSource #
Functor IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods fmap :: (a -> b) ->Identity a ->Identity bSource # (<$) :: a ->Identity b ->Identity aSource #
Functor ZipListSource #	Since: 2.1
Instance details Defined inControl.Applicative Methods fmap :: (a -> b) ->ZipList a ->ZipList bSource # (<$) :: a ->ZipList b ->ZipList aSource #
Functor ArgDescrSource #	Since: 4.6.0.0
Instance details Defined inSystem.Console.GetOpt Methods fmap :: (a -> b) ->ArgDescr a ->ArgDescr bSource # (<$) :: a ->ArgDescr b ->ArgDescr aSource #
Functor OptDescrSource #	Since: 4.6.0.0
Instance details Defined inSystem.Console.GetOpt Methods fmap :: (a -> b) ->OptDescr a ->OptDescr bSource # (<$) :: a ->OptDescr b ->OptDescr aSource #
Functor ArgOrderSource #	Since: 4.6.0.0
Instance details Defined inSystem.Console.GetOpt Methods fmap :: (a -> b) ->ArgOrder a ->ArgOrder bSource # (<$) :: a ->ArgOrder b ->ArgOrder aSource #
Functor OptionSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods fmap :: (a -> b) ->Option a ->Option bSource # (<$) :: a ->Option b ->Option aSource #
Functor LastSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods fmap :: (a -> b) ->Last a ->Last bSource # (<$) :: a ->Last b ->Last aSource #
Functor FirstSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods fmap :: (a -> b) ->First a ->First bSource # (<$) :: a ->First b ->First aSource #
Functor MaxSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods fmap :: (a -> b) ->Max a ->Max bSource # (<$) :: a ->Max b ->Max aSource #
Functor MinSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods fmap :: (a -> b) ->Min a ->Min bSource # (<$) :: a ->Min b ->Min aSource #
Functor ComplexSource #	Since: 4.9.0.0
Instance details Defined inData.Complex Methods fmap :: (a -> b) ->Complex a ->Complex bSource # (<$) :: a ->Complex b ->Complex aSource #
Functor (Either a)Source #	Since: 3.0
Instance details Defined inData.Either Methods fmap :: (a0 -> b) ->Either a a0 ->Either a bSource # (<$) :: a0 ->Either a b ->Either a a0Source #
Functor (V1 ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->V1 a ->V1 bSource # (<$) :: a ->V1 b ->V1 aSource #
Functor (U1 ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->U1 a ->U1 bSource # (<$) :: a ->U1 b ->U1 aSource #
Functor ((,) a)Source #	Since: 2.1
Instance details Defined inGHC.Base Methods fmap :: (a0 -> b) -> (a, a0) -> (a, b)Source # (<$) :: a0 -> (a, b) -> (a, a0)Source #
Functor (ST s)Source #	Since: 2.1
Instance details Defined inGHC.ST Methods fmap :: (a -> b) ->ST s a ->ST s bSource # (<$) :: a ->ST s b ->ST s aSource #
Functor (Proxy ::Type ->Type)Source #	Since: 4.7.0.0
Instance details Defined inData.Proxy Methods fmap :: (a -> b) ->Proxy a ->Proxy bSource # (<$) :: a ->Proxy b ->Proxy aSource #
Arrow a =>Functor (ArrowMonad a)Source #	Since: 4.6.0.0
Instance details Defined inControl.Arrow Methods fmap :: (a0 -> b) ->ArrowMonad a a0 ->ArrowMonad a bSource # (<$) :: a0 ->ArrowMonad a b ->ArrowMonad a a0Source #
Monad m =>Functor (WrappedMonad m)Source #	Since: 2.1
Instance details Defined inControl.Applicative Methods fmap :: (a -> b) ->WrappedMonad m a ->WrappedMonad m bSource # (<$) :: a ->WrappedMonad m b ->WrappedMonad m aSource #
Functor (ST s)Source #	Since: 2.1
Instance details Defined inControl.Monad.ST.Lazy.Imp Methods fmap :: (a -> b) ->ST s a ->ST s bSource # (<$) :: a ->ST s b ->ST s aSource #
Functor (Arg a)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods fmap :: (a0 -> b) ->Arg a a0 ->Arg a bSource # (<$) :: a0 ->Arg a b ->Arg a a0Source #
Functor f =>Functor (Rec1 f)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->Rec1 f a ->Rec1 f bSource # (<$) :: a ->Rec1 f b ->Rec1 f aSource #
Functor (URec Char ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->URec Char a ->URec Char bSource # (<$) :: a ->URec Char b ->URec Char aSource #
Functor (URec Double ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->URec Double a ->URec Double bSource # (<$) :: a ->URec Double b ->URec Double aSource #
Functor (URec Float ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->URec Float a ->URec Float bSource # (<$) :: a ->URec Float b ->URec Float aSource #
Functor (URec Int ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->URec Int a ->URec Int bSource # (<$) :: a ->URec Int b ->URec Int aSource #
Functor (URec Word ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->URec Word a ->URec Word bSource # (<$) :: a ->URec Word b ->URec Word aSource #
Functor (URec (Ptr ()) ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->URec (Ptr ()) a ->URec (Ptr ()) bSource # (<$) :: a ->URec (Ptr ()) b ->URec (Ptr ()) aSource #
Functor f =>Functor (Alt f)Source #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods fmap :: (a -> b) ->Alt f a ->Alt f bSource # (<$) :: a ->Alt f b ->Alt f aSource #
Functor f =>Functor (Ap f)Source #	Since: 4.12.0.0
Instance details Defined inData.Monoid Methods fmap :: (a -> b) ->Ap f a ->Ap f bSource # (<$) :: a ->Ap f b ->Ap f aSource #
Functor (Const m ::Type ->Type)Source #	Since: 2.1
Instance details Defined inData.Functor.Const Methods fmap :: (a -> b) ->Const m a ->Const m bSource # (<$) :: a ->Const m b ->Const m aSource #
Arrow a =>Functor (WrappedArrow a b)Source #	Since: 2.1
Instance details Defined inControl.Applicative Methods fmap :: (a0 -> b0) ->WrappedArrow a b a0 ->WrappedArrow a b b0Source # (<$) :: a0 ->WrappedArrow a b b0 ->WrappedArrow a b a0Source #
Functor ((->) r ::Type ->Type)Source #	Since: 2.1
Instance details Defined inGHC.Base Methods fmap :: (a -> b) -> (r -> a) -> r -> bSource # (<$) :: a -> (r -> b) -> r -> aSource #
Functor (K1 i c ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->K1 i c a ->K1 i c bSource # (<$) :: a ->K1 i c b ->K1 i c aSource #
(Functor f,Functor g) =>Functor (f:+: g)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) -> (f:+: g) a -> (f:+: g) bSource # (<$) :: a -> (f:+: g) b -> (f:+: g) aSource #
(Functor f,Functor g) =>Functor (f:*: g)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) -> (f:: g) a -> (f:: g) bSource # (<$) :: a -> (f:: g) b -> (f:: g) aSource #
(Functor f,Functor g) =>Functor (Sum f g)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Sum Methods fmap :: (a -> b) ->Sum f g a ->Sum f g bSource # (<$) :: a ->Sum f g b ->Sum f g aSource #
(Functor f,Functor g) =>Functor (Product f g)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Product Methods fmap :: (a -> b) ->Product f g a ->Product f g bSource # (<$) :: a ->Product f g b ->Product f g aSource #
Functor f =>Functor (M1 i c f)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) ->M1 i c f a ->M1 i c f bSource # (<$) :: a ->M1 i c f b ->M1 i c f aSource #
(Functor f,Functor g) =>Functor (f:.: g)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods fmap :: (a -> b) -> (f:.: g) a -> (f:.: g) bSource # (<$) :: a -> (f:.: g) b -> (f:.: g) aSource #
(Functor f,Functor g) =>Functor (Compose f g)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Compose Methods fmap :: (a -> b) ->Compose f g a ->Compose f g bSource # (<$) :: a ->Compose f g b ->Compose f g aSource #

classApplicative m =>Monad mwhereSource #

TheMonad class defines the basic operations over amonad,a concept from a branch of mathematics known ascategory theory.From the perspective of a Haskell programmer, however, it is best tothink of a monad as anabstract datatype of actions.Haskell'sdo expressions provide a convenient syntax for writingmonadic expressions.

Instances ofMonad should satisfy the following laws:

```
return a>>= k  =  k a
```
```
m>>=return  =  m
```
```
m>>= (\x -> k x>>= h)  =  (m>>= k)>>= h
```

Furthermore, theMonad andApplicative operations should relate as follows:

```
pure =return
```
```
(<*>) =ap
```

The above laws imply:

```
fmap f xs  =  xs>>=return . f
```
```
(>>) = (*>)
```

and thatpure and (<*>) satisfy the applicative functor laws.

The instances ofMonad for lists,Maybe andIOdefined in thePrelude satisfy these laws.

Minimal complete definition

(>>=)

Methods

(>>=) ::forall a b. m a -> (a -> m b) -> m binfixl 1Source #

Sequentially compose two actions, passing any value produced by the first as an argument to the second.

(>>) ::forall a b. m a -> m b -> m binfixl 1Source #

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in imperative languages.

return :: a -> m aSource #

Inject a value into the monadic type.

fail ::String -> m aSource #

Fail with a message. This operation is not part of the mathematical definition of a monad, but is invoked on pattern-match failure in ado expression.

As part of the MonadFail proposal (MFP), this function is moved to its own classMonadFail (seeControl.Monad.Fail for more details). The definition here will be removed in a future release.

Instances

Monad []Source #	Since: 2.1
Instance details Defined inGHC.Base Methods (>>=) :: [a] -> (a -> [b]) -> [b]Source # (>>) :: [a] -> [b] -> [b]Source # return :: a -> [a]Source # fail ::String -> [a]Source #
Monad MaybeSource #	Since: 2.1
Instance details Defined inGHC.Base Methods (>>=) ::Maybe a -> (a ->Maybe b) ->Maybe bSource # (>>) ::Maybe a ->Maybe b ->Maybe bSource # return :: a ->Maybe aSource # fail ::String ->Maybe aSource #
Monad IOSource #	Since: 2.1
Instance details Defined inGHC.Base Methods (>>=) ::IO a -> (a ->IO b) ->IO bSource # (>>) ::IO a ->IO b ->IO bSource # return :: a ->IO aSource # fail ::String ->IO aSource #
Monad Par1Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (>>=) ::Par1 a -> (a ->Par1 b) ->Par1 bSource # (>>) ::Par1 a ->Par1 b ->Par1 bSource # return :: a ->Par1 aSource # fail ::String ->Par1 aSource #
Monad NonEmptySource #	Since: 4.9.0.0
Instance details Defined inGHC.Base Methods (>>=) ::NonEmpty a -> (a ->NonEmpty b) ->NonEmpty bSource # (>>) ::NonEmpty a ->NonEmpty b ->NonEmpty bSource # return :: a ->NonEmpty aSource # fail ::String ->NonEmpty aSource #
Monad ReadPSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadP Methods (>>=) ::ReadP a -> (a ->ReadP b) ->ReadP bSource # (>>) ::ReadP a ->ReadP b ->ReadP bSource # return :: a ->ReadP aSource # fail ::String ->ReadP aSource #
Monad ReadPrecSource #	Since: 2.1
Instance details Defined inText.ParserCombinators.ReadPrec Methods (>>=) ::ReadPrec a -> (a ->ReadPrec b) ->ReadPrec bSource # (>>) ::ReadPrec a ->ReadPrec b ->ReadPrec bSource # return :: a ->ReadPrec aSource # fail ::String ->ReadPrec aSource #
Monad DownSource #	Since: 4.11.0.0
Instance details Defined inData.Ord Methods (>>=) ::Down a -> (a ->Down b) ->Down bSource # (>>) ::Down a ->Down b ->Down bSource # return :: a ->Down aSource # fail ::String ->Down aSource #
Monad ProductSource #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods (>>=) ::Product a -> (a ->Product b) ->Product bSource # (>>) ::Product a ->Product b ->Product bSource # return :: a ->Product aSource # fail ::String ->Product aSource #
Monad SumSource #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods (>>=) ::Sum a -> (a ->Sum b) ->Sum bSource # (>>) ::Sum a ->Sum b ->Sum bSource # return :: a ->Sum aSource # fail ::String ->Sum aSource #
Monad DualSource #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods (>>=) ::Dual a -> (a ->Dual b) ->Dual bSource # (>>) ::Dual a ->Dual b ->Dual bSource # return :: a ->Dual aSource # fail ::String ->Dual aSource #
Monad LastSource #	Since: 4.8.0.0
Instance details Defined inData.Monoid Methods (>>=) ::Last a -> (a ->Last b) ->Last bSource # (>>) ::Last a ->Last b ->Last bSource # return :: a ->Last aSource # fail ::String ->Last aSource #
Monad FirstSource #	Since: 4.8.0.0
Instance details Defined inData.Monoid Methods (>>=) ::First a -> (a ->First b) ->First bSource # (>>) ::First a ->First b ->First bSource # return :: a ->First aSource # fail ::String ->First aSource #
Monad STMSource #	Since: 4.3.0.0
Instance details Defined inGHC.Conc.Sync Methods (>>=) ::STM a -> (a ->STM b) ->STM bSource # (>>) ::STM a ->STM b ->STM bSource # return :: a ->STM aSource # fail ::String ->STM aSource #
Monad IdentitySource #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods (>>=) ::Identity a -> (a ->Identity b) ->Identity bSource # (>>) ::Identity a ->Identity b ->Identity bSource # return :: a ->Identity aSource # fail ::String ->Identity aSource #
Monad OptionSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (>>=) ::Option a -> (a ->Option b) ->Option bSource # (>>) ::Option a ->Option b ->Option bSource # return :: a ->Option aSource # fail ::String ->Option aSource #
Monad LastSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (>>=) ::Last a -> (a ->Last b) ->Last bSource # (>>) ::Last a ->Last b ->Last bSource # return :: a ->Last aSource # fail ::String ->Last aSource #
Monad FirstSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (>>=) ::First a -> (a ->First b) ->First bSource # (>>) ::First a ->First b ->First bSource # return :: a ->First aSource # fail ::String ->First aSource #
Monad MaxSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (>>=) ::Max a -> (a ->Max b) ->Max bSource # (>>) ::Max a ->Max b ->Max bSource # return :: a ->Max aSource # fail ::String ->Max aSource #
Monad MinSource #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (>>=) ::Min a -> (a ->Min b) ->Min bSource # (>>) ::Min a ->Min b ->Min bSource # return :: a ->Min aSource # fail ::String ->Min aSource #
Monad ComplexSource #	Since: 4.9.0.0
Instance details Defined inData.Complex Methods (>>=) ::Complex a -> (a ->Complex b) ->Complex bSource # (>>) ::Complex a ->Complex b ->Complex bSource # return :: a ->Complex aSource # fail ::String ->Complex aSource #
Monad (Either e)Source #	Since: 4.4.0.0
Instance details Defined inData.Either Methods (>>=) ::Either e a -> (a ->Either e b) ->Either e bSource # (>>) ::Either e a ->Either e b ->Either e bSource # return :: a ->Either e aSource # fail ::String ->Either e aSource #
Monad (U1 ::Type ->Type)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (>>=) ::U1 a -> (a ->U1 b) ->U1 bSource # (>>) ::U1 a ->U1 b ->U1 bSource # return :: a ->U1 aSource # fail ::String ->U1 aSource #
Monoid a =>Monad ((,) a)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Base Methods (>>=) :: (a, a0) -> (a0 -> (a, b)) -> (a, b)Source # (>>) :: (a, a0) -> (a, b) -> (a, b)Source # return :: a0 -> (a, a0)Source # fail ::String -> (a, a0)Source #
Monad (ST s)Source #	Since: 2.1
Instance details Defined inGHC.ST Methods (>>=) ::ST s a -> (a ->ST s b) ->ST s bSource # (>>) ::ST s a ->ST s b ->ST s bSource # return :: a ->ST s aSource # fail ::String ->ST s aSource #
Monad (Proxy ::Type ->Type)Source #	Since: 4.7.0.0
Instance details Defined inData.Proxy Methods (>>=) ::Proxy a -> (a ->Proxy b) ->Proxy bSource # (>>) ::Proxy a ->Proxy b ->Proxy bSource # return :: a ->Proxy aSource # fail ::String ->Proxy aSource #
ArrowApply a =>Monad (ArrowMonad a)Source #	Since: 2.1
Instance details Defined inControl.Arrow Methods (>>=) ::ArrowMonad a a0 -> (a0 ->ArrowMonad a b) ->ArrowMonad a bSource # (>>) ::ArrowMonad a a0 ->ArrowMonad a b ->ArrowMonad a bSource # return :: a0 ->ArrowMonad a a0Source # fail ::String ->ArrowMonad a a0Source #
Monad m =>Monad (WrappedMonad m)Source #	Since: 4.7.0.0
Instance details Defined inControl.Applicative Methods (>>=) ::WrappedMonad m a -> (a ->WrappedMonad m b) ->WrappedMonad m bSource # (>>) ::WrappedMonad m a ->WrappedMonad m b ->WrappedMonad m bSource # return :: a ->WrappedMonad m aSource # fail ::String ->WrappedMonad m aSource #
Monad (ST s)Source #	Since: 2.1
Instance details Defined inControl.Monad.ST.Lazy.Imp Methods (>>=) ::ST s a -> (a ->ST s b) ->ST s bSource # (>>) ::ST s a ->ST s b ->ST s bSource # return :: a ->ST s aSource # fail ::String ->ST s aSource #
Monad f =>Monad (Rec1 f)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (>>=) ::Rec1 f a -> (a ->Rec1 f b) ->Rec1 f bSource # (>>) ::Rec1 f a ->Rec1 f b ->Rec1 f bSource # return :: a ->Rec1 f aSource # fail ::String ->Rec1 f aSource #
Monad f =>Monad (Alt f)Source #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods (>>=) ::Alt f a -> (a ->Alt f b) ->Alt f bSource # (>>) ::Alt f a ->Alt f b ->Alt f bSource # return :: a ->Alt f aSource # fail ::String ->Alt f aSource #
Monad f =>Monad (Ap f)Source #	Since: 4.12.0.0
Instance details Defined inData.Monoid Methods (>>=) ::Ap f a -> (a ->Ap f b) ->Ap f bSource # (>>) ::Ap f a ->Ap f b ->Ap f bSource # return :: a ->Ap f aSource # fail ::String ->Ap f aSource #
Monad ((->) r ::Type ->Type)Source #	Since: 2.1
Instance details Defined inGHC.Base Methods (>>=) :: (r -> a) -> (a -> r -> b) -> r -> bSource # (>>) :: (r -> a) -> (r -> b) -> r -> bSource # return :: a -> r -> aSource # fail ::String -> r -> aSource #
(Monad f,Monad g) =>Monad (f:*: g)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (>>=) :: (f:: g) a -> (a -> (f:: g) b) -> (f:: g) bSource # (>>) :: (f:: g) a -> (f:: g) b -> (f:: g) bSource # return :: a -> (f:: g) aSource # fail ::String -> (f:: g) aSource #
(Monad f,Monad g) =>Monad (Product f g)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Product Methods (>>=) ::Product f g a -> (a ->Product f g b) ->Product f g bSource # (>>) ::Product f g a ->Product f g b ->Product f g bSource # return :: a ->Product f g aSource # fail ::String ->Product f g aSource #
Monad f =>Monad (M1 i c f)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (>>=) ::M1 i c f a -> (a ->M1 i c f b) ->M1 i c f bSource # (>>) ::M1 i c f a ->M1 i c f b ->M1 i c f bSource # return :: a ->M1 i c f aSource # fail ::String ->M1 i c f aSource #

Movatterモバイル変換

Documentation