Control.Monad.Freer.Internal

Effect Monad

data Eff effs a

type Arr effs a b

type Arrs effs a b

Open Union

Fast Type-aligned Queue

Sending Arbitrary Effect

send

Handling Effects

run

runM

Building Effect Handlers

handleRelay

handleRelayS

interpose

Low-level Functions for Building Effect Handlers

qApp

qComp

Nondeterminism Effect

data NonDet a