module Control.Eff.Reader.Strict( Reader (..)
, ask
, local
, reader
, runReader
) where
import Data.Typeable
import Control.Eff
newtype Reader e v = Reader (e -> v)
deriving (Typeable, Functor)
ask :: (Typeable e, Member (Reader e) r) => Eff r e
ask = send . inj $ Reader id
local :: (Typeable e, Member (Reader e) r)
=> (e -> e)
-> Eff r a
-> Eff r a
local f m = do
e <- f `fmap` ask
let loop = freeMap
return
(\u -> interpose u loop (\(Reader k) -> loop (k e)))
loop m
reader :: (Typeable e, Member (Reader e) r) => (e -> a) -> Eff r a
reader f = f `fmap` ask
runReader :: Typeable e => Eff (Reader e :> r) w -> e -> Eff r w
runReader m !e = loop m where
loop = freeMap
return
(\u -> handleRelay u loop (\(Reader k) -> loop (k e)))