Module Control.monad.trans.EitherT

Monad transformer for Either

Imports

• import Control.monad.trans.MonadIO as MonadIO
• import Control.monad.trans.MonadTrans as MonadTrans
• import Data.Monoid as Monoid
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  data EitherT l m a

  left ∷ Monad m ⇒ l → EitherT l m a

• Instances

  instance Functor f ⇒ Functor (EitherT l f)

  instance MonadAlt m ⇒ MonadAlt (EitherT l m)

  instance MonadIO m ⇒ MonadIO (EitherT l m)

  instance MonadPlus m ⇒ MonadPlus (EitherT l m)

  instance MonadTrans (EitherT l)

  instance Monad m ⇒ Monad (EitherT l m)

  instance (Monad m, Monoid a) ⇒ Monoid (EitherT l m a)

• Functions and Values by Type

Definitions

data EitherT l m a

Constructors

EitherT {run ∷ m (l | a)}

Member Functions

run ∷ EitherT α β γ → β (α | γ)

access field run

left ∷ Monad m ⇒ l → EitherT l m a

Instances

instance Functor f ⇒ Functor (EitherT l f)

Member Functions

fmap ∷ Functor β ⇒ (γ → δ) → EitherT α β γ → EitherT α β δ
infixl  4

instance MonadAlt m ⇒ MonadAlt (EitherT l m)

Member Functions

<+> ∷ MonadAlt β ⇒ EitherT α β γ → EitherT α β γ → EitherT α β γ
infixr  13

<|> ∷ MonadAlt β ⇒ EitherT α β γ → EitherT α β γ → EitherT α β γ
infixl  3

pzero ∷ MonadAlt β ⇒ EitherT α β γ

instance MonadIO m ⇒ MonadIO (EitherT l m)

Member Functions

liftIO ∷ MonadIO β ⇒ IO γ → EitherT α β γ

instance MonadPlus m ⇒ MonadPlus (EitherT l m)

Member Functions

mplus ∷ MonadPlus β ⇒ EitherT α β γ → EitherT α β γ → EitherT α β γ
infixr  13

mzero ∷ MonadPlus β ⇒ EitherT α β γ

instance MonadTrans (EitherT l)

Member Functions

lift ∷ Monad γ ⇒ γ β → EitherT α γ β

instance Monad m ⇒ Monad (EitherT l m)

Member Functions

*> ∷ Monad β ⇒ EitherT α β γ → EitherT α β δ → EitherT α β δ
infixl  4

inherited from Applicative.*>

<* ∷ Monad β ⇒ EitherT α β γ → EitherT α β δ → EitherT α β γ
infixl  4

inherited from Applicative.<*

<*> ∷ Monad β ⇒ EitherT α β (γ→δ) → EitherT α β γ → EitherT α β δ
infixl  4

inherited from Monad.<*>

>> ∷ Monad β ⇒ EitherT α β γ → EitherT α β δ → EitherT α β δ
infixl  3

inherited from Monad.>>

>>= ∷ Monad β ⇒ EitherT α β γ → (γ → EitherT α β δ) → EitherT α β δ
infixl  3

join ∷ Monad β ⇒ EitherT α β (EitherT α β γ) → EitherT α β γ

inherited from Monad.join

pure ∷ Monad β ⇒ γ → EitherT α β γ

instance (Monad m, Monoid a) ⇒ Monoid (EitherT l m a)

Member Functions

mappend ∷ (Monad α, Monoid β) ⇒ EitherT γ α β → EitherT γ α β → EitherT γ α β
infixr  13

mconcat ∷ (Monad α, Monoid β) ⇒ [EitherT γ α β] → EitherT γ α β

inherited from Monoid.mconcat

mempty ∷ (Monad α, Monoid β) ⇒ EitherT γ α β

mtimes ∷ (Monad α, Monoid β) ⇒ Int → EitherT γ α β → EitherT γ α β

inherited from Monoid.mtimes

sconcat ∷ (Monad α, Monoid β) ⇒ [EitherT γ α β] → EitherT γ α β

inherited from Semigroup.sconcat

stimes ∷ (Monad α, Monoid β) ⇒ Int → EitherT γ α β → EitherT γ α β

inherited from Semigroup.stimes

Functions and Values by Type

α → Bool

EitherT.has$run

EitherT α β γ → β (α | γ)

EitherT.run

m (l | a) → EitherT l m a

EitherT.EitherT

MonadIO β ⇒ IO γ → EitherT α β γ

MonadIO_EitherT.liftIO

Monad m ⇒ l → EitherT l m a

left

(Monad α, Monoid β) ⇒ EitherT γ α β → EitherT γ α β → EitherT γ α β

Monoid_EitherT.mappend

(Monad α, Monoid β) ⇒ [EitherT γ α β] → EitherT γ α β

Monoid_EitherT.sconcat, Monoid_EitherT.mconcat

(Monad α, Monoid β) ⇒ Int → EitherT γ α β → EitherT γ α β

Monoid_EitherT.stimes, Monoid_EitherT.mtimes

Monad β ⇒ EitherT α β (EitherT α β γ) → EitherT α β γ

Monad_EitherT.join

Monad β ⇒ γ → EitherT α β γ

Monad_EitherT.pure

Monad γ ⇒ γ β → EitherT α γ β

MonadTrans_EitherT.lift

MonadAlt β ⇒ EitherT α β γ → EitherT α β γ → EitherT α β γ

MonadAlt_EitherT.<+>, MonadAlt_EitherT.<|>

MonadPlus β ⇒ EitherT α β γ → EitherT α β γ → EitherT α β γ

MonadPlus_EitherT.mplus

(Monad α, Monoid β) ⇒ EitherT γ α β

Monoid_EitherT.mempty

MonadAlt β ⇒ EitherT α β γ

MonadAlt_EitherT.pzero

MonadPlus β ⇒ EitherT α β γ

MonadPlus_EitherT.mzero

Functor β ⇒ (γ → δ) → EitherT α β γ → EitherT α β δ

Functor_EitherT.fmap

Monad β ⇒ EitherT α β (γ→δ) → EitherT α β γ → EitherT α β δ

Monad_EitherT.<*>

Monad β ⇒ EitherT α β γ → (γ → EitherT α β δ) → EitherT α β δ

Monad_EitherT.>>=

Monad β ⇒ EitherT α β γ → EitherT α β δ → EitherT α β γ

Monad_EitherT.<*

Monad β ⇒ EitherT α β γ → EitherT α β δ → EitherT α β δ

Monad_EitherT.>>, Monad_EitherT.*>

EitherT α β γ → (β (α | γ)→ε (δ | ζ)) → EitherT δ ε ζ

EitherT.chg$run

EitherT α β γ → ε (δ | ζ) → EitherT δ ε ζ

EitherT.upd$run