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)

Instances

Handle (Reader r)

Defined in Bluefin.Internal

Methods

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

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

Arguments

:: forall (e :: Effects) (es :: Effects) r. e :> es

=> Reader r e

͘

-> Eff es r