Data.Effect.Reader

Documentation

data Ask r (a :: Type) where

Constructors

Ask :: Ask r r

data Local r f (a :: Type) where

Constructors

Local :: (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 = LiftIns (Ask r)

local'' :: forall key (r :: Type) (a :: Type) f. SendSigBy key (Local r) f => (r -> r) -> f a -> f a

local' :: forall tag (r :: Type) (a :: Type) f. SendSig (TagH (Local r) tag) f => (r -> r) -> f a -> f a

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

pattern LAsk :: () => (a ~ r, ()) => LiftIns (Ask r) f a

ask'' :: forall key (r :: Type) f. SendInsBy key (Ask r) f => f r

ask' :: forall tag (r :: Type) f. SendIns (Tag (Ask r) tag) f => f r

ask :: forall (r :: Type) f. SendIns (Ask r) f => f r

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