Data.Effect.Reader

Documentation

data Ask r a where

Constructors

Ask :: forall r. Ask r r

data Local r (f :: Type -> Type) a where

Constructors

Local :: forall r (f :: Type -> Type) a. (r -> r) -> f a -> Local r f a

Instances

() => HFunctor (Local r)

Defined in Data.Effect.Reader

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Local r f :-> Local r g

type LAsk r = LiftFOE (Ask r)

pattern LAsk :: forall a r f. () => (a ~ r, ()) => LiftFOE (Ask r) f a

ask :: SendFOE (Ask r) f => f r

ask' :: forall {k} (tag :: k) r f. SendFOE (Tag (Ask r) tag) f => f r

ask'' :: forall {k} (key :: k) r f. SendFOEBy key (Ask r) f => f r

local :: forall r a f. SendHOE (Local r) f => (r -> r) -> f a -> f a

local' :: forall {k} (tag :: k) r a f. SendHOE (TagH (Local r) tag) f => (r -> r) -> f a -> f a

local'' :: forall {k} (key :: k) r a f. SendHOEBy key (Local r) f => (r -> r) -> f a -> f a

asks :: (Ask r <: f, Functor f) => (r -> a) -> f a