Data.Extensible.Effect
data Instruction xs a
type Eff xs
liftEff
liftsEff
hoistEff
data Interpreter f g
handleEff
peelEff
type Rebinder xs r
rebindEff0
rebindEff1
peelEff1
rebindEff2
leaveEff
retractEff
data Action args a r
type family Function args r :: * where ...
runAction
(@!?)
peelAction
peelAction0
type ReaderEff
askEff
asksEff
localEff
runReaderEff
type State s
getEff
getsEff
putEff
modifyEff
stateEff
runStateEff
execStateEff
type WriterEff w
writerEff
tellEff
listenEff
passEff
runWriterEff
execWriterEff
type MaybeEff
runMaybeEff
type EitherEff
throwEff
catchEff
runEitherEff
data Identity a
tickEff
runIterEff