Control.Monad.Trans.Finish

Documentation

type Finish f α = FinishT f Identity α

runFinish :: Finish f α -> Either f α

runFinish' :: Finish α α -> α

newtype FinishT f μ α

Constructors

FinishT

Fields

runFinishT :: μ (Either f α)

Instances

MonadBase η μ => MonadBase η (FinishT f μ)

MonadBaseControl η μ => MonadBaseControl η (FinishT e μ)

MonadTrans (FinishT f)

MonadTransControl (FinishT f)

BindTrans (FinishT f)

Monad μ => Monad (FinishT f μ)

Functor μ => Functor (FinishT f μ)

MonadFix μ => MonadFix (FinishT f μ)

(Functor μ, Monad μ) => Applicative (FinishT f μ)

MonadIO μ => MonadIO (FinishT f μ)

Monad μ => Pointed (FinishT f μ)

(Functor μ, Monad μ) => Apply (FinishT f μ)

(Functor μ, Monad μ) => Bind (FinishT f μ)

type StT (FinishT f) α = Either f α

type StM (FinishT e μ) α = ComposeSt (FinishT e) μ α

runFinishT' :: Monad μ => FinishT α μ α -> μ α

finish :: Monad μ => f -> FinishT f μ α