Control.Monad.Freer

Effect Monad

data Eff effs a

Effect Constraints

class Member eff effs

type family Members effs effs' :: Constraint where ...

class LastMember m effs

Sending Arbitrary Effects

Lifting Effect Stacks

Handling Effects

Running the Eff monad

Building Effect Handlers

Basic effect handlers

Derived effect handlers

Monadic effect handlers

Advanced effect handlers