Effectful

The Eff monad

data Eff (es :: [Effect]) a

Instances

IOE :> es => MonadBase IO (Eff es)

Defined in Effectful.Internal.Monad

Methods

liftBase :: IO α -> Eff es α

IOE :> es => MonadBaseControl IO (Eff es)

Defined in Effectful.Internal.Monad

Associated Types

type StM (Eff es) a

Methods

liftBaseWith :: (RunInBase (Eff es) IO -> IO a) -> Eff es a

restoreM :: StM (Eff es) a -> Eff es a

Reader r :> es => MonadReader r (Eff es)

Defined in Effectful.Class.Reader

Methods

ask :: Eff es r

local :: (r -> r) -> Eff es a -> Eff es a

reader :: (r -> a) -> Eff es a

State s :> es => MonadState s (Eff es)

Defined in Effectful.Class.State

Methods

get :: Eff es s

put :: s -> Eff es ()

state :: (s -> (a, s)) -> Eff es a

(Writer w :> es, Monoid w) => MonadWriter w (Eff es)

Defined in Effectful.Class.Writer

Methods

writer :: (a, w) -> Eff es a

tell :: w -> Eff es ()

listen :: Eff es a -> Eff es (a, w)

Monad (Eff es)

Defined in Effectful.Internal.Monad

Methods

(>>=) :: Eff es a -> (a -> Eff es b) -> Eff es b

(>>) :: Eff es a -> Eff es b -> Eff es b

return :: a -> Eff es a

Functor (Eff es)

Defined in Effectful.Internal.Monad

Methods

fmap :: (a -> b) -> Eff es a -> Eff es b

(<$) :: a -> Eff es b -> Eff es a

Applicative (Eff es)

Defined in Effectful.Internal.Monad

Methods

pure :: a -> Eff es a

(<*>) :: Eff es (a -> b) -> Eff es a -> Eff es b

liftA2 :: (a -> b -> c) -> Eff es a -> Eff es b -> Eff es c

(*>) :: Eff es a -> Eff es b -> Eff es b

(<*) :: Eff es a -> Eff es b -> Eff es a

IOE :> es => MonadIO (Eff es)

Defined in Effectful.Internal.Monad

Methods

liftIO :: IO a -> Eff es a

MonadThrow (Eff es)

Defined in Effectful.Internal.Monad

Methods

throwM :: Exception e => e -> Eff es a

MonadCatch (Eff es)

Defined in Effectful.Internal.Monad

Methods

catch :: Exception e => Eff es a -> (e -> Eff es a) -> Eff es a

MonadMask (Eff es)

Defined in Effectful.Internal.Monad

Methods

mask :: ((forall a. Eff es a -> Eff es a) -> Eff es b) -> Eff es b

uninterruptibleMask :: ((forall a. Eff es a -> Eff es a) -> Eff es b) -> Eff es b

generalBracket :: Eff es a -> (a -> ExitCase b -> Eff es c) -> (a -> Eff es b) -> Eff es (b, c)

(IOE :> es, Resource :> es) => MonadResource (Eff es)

Defined in Effectful.Resource

Methods

liftResourceT :: ResourceT IO a -> Eff es a

IOE :> es => MonadUnliftIO (Eff es)

Defined in Effectful.Internal.Monad

Methods

withRunInIO :: ((forall a. Eff es a -> IO a) -> IO b) -> Eff es b

type StM (Eff es) a

Defined in Effectful.Internal.Monad

type StM (Eff es) a = a

runEff :: Eff '[] a -> IO a

type Effect = Type

class (e :: Effect) :> (es :: [Effect])

Instances

e :> es => e :> (x ': es)

Defined in Effectful.Internal.Has

Methods

ixOf :: Int

e :> (e ': es)

Defined in Effectful.Internal.Has

Methods

ixOf :: Int

The IO effect

data IOE

runIOE :: Eff '[IOE] a -> Eff '[] a

Execution of IO in effect handlers

impureEff :: (Env es -> IO a) -> Eff es a

impureEff_ :: IO a -> Eff es a

Helpers for defining new effects

Running

runEffect :: e -> Eff (e ': es) a -> Eff es (a, e)

evalEffect :: e -> Eff (e ': es) a -> Eff es a

execEffect :: e -> Eff (e ': es) a -> Eff es e

Retrieval and modification

getEffect :: e :> es => Eff es e

putEffect :: e :> es => e -> Eff es ()

stateEffect :: e :> es => (e -> (a, e)) -> Eff es a

localEffect :: e :> es => (e -> e) -> Eff es a -> Eff es a

listenEffect :: (e :> es, Monoid e) => Eff es a -> Eff es (a, e)

readerEffectM :: e :> es => (e -> Eff es a) -> Eff es a

stateEffectM :: e :> es => (e -> Eff es (a, e)) -> Eff es a