Data.Effect.Provider

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

Documentation

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

Constructors

Provide :: i -> (forall g. (c g, e g) => (forall x. f x -> g x) -> g a) -> Provider' c i ctx e f (ctx a)

Instances

() => HFunctor (Provider' c i ctx e)

Defined in Data.Effect.Provider

Methods

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

data ProviderKey

type Provider c i ctx e = (##>) ProviderKey (Provider' c i ctx e)

provide :: forall (i :: Type) (c :: (Type -> Type) -> Constraint) (e :: (Type -> Type) -> Constraint) (a :: Type) (ctx :: Type -> Type) f. SendSigBy ProviderKey (Provider' c i ctx e) f => i -> (forall (g :: Type -> Type). (c g, e g) => (forall (x :: Type). f x -> g x) -> g a) -> f (ctx a)

provide'' :: forall key (i :: Type) (c :: (Type -> Type) -> Constraint) (e :: (Type -> Type) -> Constraint) (a :: Type) (ctx :: Type -> Type) f. SendSigBy key (Provider' c i ctx e) f => i -> (forall (g :: Type -> Type). (c g, e g) => (forall (x :: Type). f x -> g x) -> g a) -> f (ctx a)

provide' :: forall tag (i :: Type) (c :: (Type -> Type) -> Constraint) (e :: (Type -> Type) -> Constraint) (a :: Type) (ctx :: Type -> Type) f. SendSig (TagH (Provider' c i ctx e) tag) f => i -> (forall (g :: Type -> Type). (c g, e g) => (forall (x :: Type). f x -> g x) -> g a) -> f (ctx a)

provide'_ :: forall (i :: Type) (c :: (Type -> Type) -> Constraint) (e :: (Type -> Type) -> Constraint) (a :: Type) (ctx :: Type -> Type) f. SendSig (Provider' c i ctx e) f => i -> (forall (g :: Type -> Type). (c g, e g) => (forall (x :: Type). f x -> g x) -> g a) -> f (ctx a)

type MonadProvider' = Provider' Monad

type ApplicativeProvider' = Provider' Applicative

type MonadProvider i ctx e = Provider Monad i ctx e

type ApplicativeProvider i ctx e = Provider Applicative i ctx e

mprovide :: forall e i ctx f a. SendSigBy ProviderKey (MonadProvider' i ctx e) f => i -> (forall g. (Monad g, e g) => (f ~> g) -> g a) -> f (ctx a)

aprovide :: forall e i ctx f a. SendSigBy ProviderKey (ApplicativeProvider' i ctx e) f => i -> (forall h. (Applicative h, e h) => (f ~> h) -> h a) -> f (ctx a)