Bluefin.Reader

Documentation

Reader is Bluefin's version of the Control.Monad.Trans.Reader monad. Passing around a Reader r e is equivalent to just passing around an r, and as such it is essentially redundant and we don't know of any reasons to use it in practice. It is included for completeness, however.

Handle

data Reader r (e :: Effects)

Handlers

runReader

Arguments

:: forall r (es :: Effects) a. r

͘

-> (forall (e :: Effects). Reader r e -> Eff (e :& es) a)

-> Eff es a

Effectful operations

ask :: forall (e :: Effects) (es :: Effects) r. e :> es => Reader r e -> Eff es r