on 8a63c15 help sign in
effectful/src/Effectful.hs
34 lines 517 B history raw
1module Effectful
2 ( -- * The 'Eff' monad
3 Eff
4 , runEff
5 , Effect
6 , (:>)
8 -- * The IO effect
9 , IOE
10 , runIOE
12 -- * Execution of IO in effect handlers
13 , impureEff
14 , impureEff_
16 -- * Helpers for defining new effects
18 -- ** Running
19 , runEffect
20 , evalEffect
21 , execEffect
23 -- ** Retrieval and modification
24 , getEffect
25 , putEffect
26 , stateEffect
27 , localEffect
28 , listenEffect
29 , readerEffectM
30 , stateEffectM
31 ) where
33import Effectful.Internal.Has
34import Effectful.Internal.Monad