Data.Effect.Provider

This module provides the Provider effect, like Effectful.Provider in the effectful package.

Documentation

data Provider' (ctx :: Type -> Type) i (b :: Type -> Type) (f :: Type -> Type) a where

Constructors

Provide :: forall i (f :: Type -> Type) (b :: Type -> Type) a1 (ctx :: Type -> Type). i -> ((forall x. f x -> b x) -> b a1) -> Provider' ctx i b f (ctx a1)

Instances

() => HFunctor (Provider' ctx i b)

Defined in Data.Effect.Provider

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> Provider' ctx i b f :-> Provider' ctx i b g

provide :: forall i b a ctx f. SendHOE (Provider' ctx i b) f => i -> ((forall x. f x -> b x) -> b a) -> f (ctx a)

provide' :: forall {k} (tag :: k) i b a ctx f. SendHOE (TagH (Provider' ctx i b) tag) f => i -> ((forall x. f x -> b x) -> b a) -> f (ctx a)

provide'' :: forall {k} (key :: k) i b a ctx f. SendHOEBy key (Provider' ctx i b) f => i -> ((forall x. f x -> b x) -> b a) -> f (ctx a)

data ProviderKey (ctx :: k) (i :: k1)

type Provider (ctx :: Type -> Type) i (b :: Type -> Type) = ProviderKey ctx i ##> Provider' ctx i b

type Provider_ i (b :: Type -> Type) = ProviderKey Identity i ##> Provider' Identity i b

(.!) :: forall i f a b. (SendHOEBy (ProviderKey Identity i) (Provider' Identity i b) f, Functor f) => i -> ((f ~> b) -> b a) -> f a infix 2

(..!) :: forall ctx i f a b. SendHOEBy (ProviderKey ctx i) (Provider' ctx i b) f => i -> ((f ~> b) -> b a) -> f (ctx a) infix 2