Data.Extensible.Effect.Default

Default monad runners and MonadIO, MonadReader, MonadWriter, MonadState, MonadError instances

Documentation

type ReaderDef r = "Reader" >: ReaderEff r

runReaderDef :: Eff (ReaderDef r ': xs) a -> r -> Eff xs a

type StateDef s = "State" >: State s

runStateDef :: Eff (StateDef s ': xs) a -> s -> Eff xs (a, s)

type WriterDef w = "Writer" >: WriterEff w

runWriterDef :: Monoid w => Eff (WriterDef w ': xs) a -> Eff xs (a, w)

type MaybeDef = "Maybe" >: EitherEff ()

runMaybeDef :: Eff (MaybeDef ': xs) a -> Eff xs (Maybe a)

type EitherDef e = "Either" >: EitherEff e

runEitherDef :: Eff (EitherDef e ': xs) a -> Eff xs (Either e a)

Orphan instances

Associate (* -> *) Symbol "Either" (Const * e) xs => MonadError e (Eff Symbol xs)

Methods

throwError :: e -> Eff Symbol xs a

catchError :: Eff Symbol xs a -> (e -> Eff Symbol xs a) -> Eff Symbol xs a

Associate (* -> *) Symbol "Reader" ((:~:) * r) xs => MonadReader r (Eff Symbol xs)

Methods

ask :: Eff Symbol xs r

local :: (r -> r) -> Eff Symbol xs a -> Eff Symbol xs a

reader :: (r -> a) -> Eff Symbol xs a

Associate (* -> *) Symbol "State" (State s) xs => MonadState s (Eff Symbol xs)

Methods

get :: Eff Symbol xs s

put :: s -> Eff Symbol xs ()

state :: (s -> (a, s)) -> Eff Symbol xs a

(Monoid w, Associate (* -> *) Symbol "Writer" ((,) w) xs) => MonadWriter w (Eff Symbol xs)

Methods

writer :: (a, w) -> Eff Symbol xs a

tell :: w -> Eff Symbol xs ()

listen :: Eff Symbol xs a -> Eff Symbol xs (a, w)

pass :: Eff Symbol xs (a, w -> w) -> Eff Symbol xs a

Associate (* -> *) Symbol "IO" IO xs => MonadIO (Eff Symbol xs)

Methods

liftIO :: IO a -> Eff Symbol xs a

(Monoid e, Associate (* -> *) Symbol "Either" (Const * e) xs) => Alternative (Eff Symbol xs)

Methods

empty :: Eff Symbol xs a

(<|>) :: Eff Symbol xs a -> Eff Symbol xs a -> Eff Symbol xs a

some :: Eff Symbol xs a -> Eff Symbol xs [a]

many :: Eff Symbol xs a -> Eff Symbol xs [a]

(Monoid e, Associate (* -> *) Symbol "Either" (Const * e) xs) => MonadPlus (Eff Symbol xs)

Methods

mzero :: Eff Symbol xs a

mplus :: Eff Symbol xs a -> Eff Symbol xs a -> Eff Symbol xs a