Control.Effect.Class.Provider

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

Documentation

class Provider c e i g (f :: Type -> Type) where

Methods

provide :: i -> (forall h. (c h, e h) => (f ~> h) -> h a) -> f (g a)

Instances

SendSig (ProviderS c e i g) f => Provider c e i g (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Provider

Methods

provide :: i -> (forall (h :: Type -> Type). (c h, e h) => (EffectsVia EffectDataHandler f ~> h) -> h a) -> EffectsVia EffectDataHandler f (g a)

data ProviderS (c :: (Type -> Type) -> Constraint) (e :: (Type -> Type) -> Constraint) (i :: Type) (g :: Type -> Type) f (a :: Type) where

Constructors

Provide :: forall c e i g f a. i -> (forall (h :: Type -> Type). (c h, e h) => (~>) f h -> h a) -> ProviderS c e i g f (g a)

Instances

HFunctor (ProviderS c e i g)

Defined in Control.Effect.Class.Provider

Methods

hfmap :: forall (f :: Type -> Type) (g0 :: Type -> Type). (f :-> g0) -> ProviderS c e i g f :-> ProviderS c e i g g0

type MonadProvider = Provider Monad

type ApplicativeProvider = Provider Applicative

mprovide :: MonadProvider e i g f => i -> (forall h. (Monad h, e h) => (f ~> h) -> h a) -> f (g a)

aprovide :: ApplicativeProvider e i g f => i -> (forall h. (Applicative h, e h) => (f ~> h) -> h a) -> f (g a)