Data.Extensible.Effect

Base

data Instruction xs a

type Eff xs

liftEff

liftsEff

hoistEff

Step-wise handling

data Interpreter f g

handleEff

Peeling

peelEff

type Rebinder xs r

rebindEff0

rebindEff1

peelEff1

rebindEff2

leaveEff

retractEff

Anonymous actions

data Action args a r

type family Function args r :: * where ...

runAction

(@!?)

peelAction

peelAction0

transformers-compatible actions and handlers

Reader

type ReaderEff

askEff

asksEff

localEff

runReaderEff

State

type State s

getEff

getsEff

putEff

modifyEff

stateEff

runStateEff

execStateEff

Writer

type WriterEff w

writerEff

tellEff

listenEff

passEff

runWriterEff

execWriterEff

Maybe

type MaybeEff

runMaybeEff

Either

type EitherEff

throwEff

catchEff

runEitherEff

Iter

data Identity a

tickEff

runIterEff