Copyright	(c) 2023-2025 Sayo contributors
License	MPL-2.0 (see the file LICENSE)
Maintainer	ymdfield@outlook.jp
Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Effect.Provider

Description

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

Synopsis

data Scope t i b :: Effect where
- Scope :: forall s t i a f b. i s -> ((forall x. f x -> b s x) -> b s a) -> Scope t i b f (t s a)
scope'_ :: forall {k :: Type} (s :: k) (t :: k -> Type -> Type) (i :: k -> Type) (a :: Type) (b :: k -> Type -> Type) f es ff c. (Free c ff, f ~ Eff ff es, In (Scope t i b) es) => i s -> ((forall (x :: Type). f x -> b s x) -> b s a) -> f (t s a)
scope'' :: forall tag {k :: Type} (s :: k) (t :: k -> Type -> Type) (i :: k -> Type) (a :: Type) (b :: k -> Type -> Type) f es ff c. (Free c ff, f ~ Eff ff es, (:>) (Tagged tag (Scope t i b)) es) => i s -> ((forall (x :: Type). f x -> b s x) -> b s a) -> f (t s a)
scope' :: forall key {k :: Type} (s :: k) (t :: k -> Type -> Type) (i :: k -> Type) (a :: Type) (b :: k -> Type -> Type) f es ff c. (Free c ff, f ~ Eff ff es, Has key (Scope t i b) es) => i s -> ((forall (x :: Type). f x -> b s x) -> b s a) -> f (t s a)
scope :: forall {k :: Type} (s :: k) (t :: k -> Type -> Type) (i :: k -> Type) (a :: Type) (b :: k -> Type -> Type) f es ff c. (Free c ff, f ~ Eff ff es, (:>) (Scope t i b) es) => i s -> ((forall (x :: Type). f x -> b s x) -> b s a) -> f (t s a)
data ScopeLabel (t :: k -> Type -> Type) (i :: k -> Type)
newtype Const1 f x (a :: Type) = Const1 {
- getConst1 :: f a
}
type Scoped ff t i es r = Scope t i (ScopeC ff t i es r)
newtype ScopeC ff t i fs r s a = ScopeC {
- unScopeC :: Eff ff (Each fs s ++ (Scoped ff t i fs r ': r)) a
}
type Scoped_ ff t i es r = Scope t i (Const1 (ScopeC_ ff t i es r))
newtype ScopeC_ ff t i es r a = ScopeC_ {
- unScopeC_ :: Eff ff (es ++ (Scoped_ ff t i es r ': r)) a
}
type Provider ff t i e es = Scoped_ ff (Const1 t) (Const i :: () -> Type) e es
runScoped :: forall t i a es r ff c. (KnownLength es, Free c ff) => (forall s x. i s -> Eff ff (Each es s ++ (Scoped ff t i es r ': r)) x -> Eff ff (Scoped ff t i es r ': r) (t s x)) -> Eff ff (Scoped ff t i es r ': r) a -> Eff ff r a
scoped :: forall t i s a es' es r ff c. (Scoped ff t i es r :> es', Free c ff) => i s -> ((Eff ff es' ~> Eff ff (Each es s ++ (Scoped ff t i es r ': r))) -> Eff ff (Each es s ++ (Scoped ff t i es r ': r)) a) -> Eff ff es' (t s a)
runScoped_ :: forall t i a es r ff c. (KnownLength es, Free c ff) => (forall p x. i p -> Eff ff (es ++ (Scoped_ ff t i es r ': r)) x -> Eff ff (Scoped_ ff t i es r ': r) (t p x)) -> Eff ff (Scoped_ ff t i es r ': r) a -> Eff ff r a
scoped_ :: forall t i s a es' es r ff c. (Scoped_ ff t i es r :> es', Free c ff) => i s -> ((Eff ff es' ~> Eff ff (es ++ (Scoped_ ff t i es r ': r))) -> Eff ff (es ++ (Scoped_ ff t i es r ': r)) a) -> Eff ff es' (t s a)
runProvider :: forall t i a es r ff c. (forall es'. Functor (Eff ff es'), KnownLength es, Free c ff) => (forall x. i -> Eff ff (es ++ (Provider ff t i es r ': r)) x -> Eff ff (Provider ff t i es r ': r) (t x)) -> Eff ff (Provider ff t i es r ': r) a -> Eff ff r a
provide :: forall t i a es' es r ff c. (Provider ff t i es r :> es', forall es''. Functor (Eff ff es''), Free c ff) => i -> ((Eff ff es' ~> Eff ff (es ++ (Provider ff t i es r ': r))) -> Eff ff (es ++ (Provider ff t i es r ': r)) a) -> Eff ff es' (t a)
runProvider_ :: forall i a es r ff c. (forall es'. Functor (Eff ff es'), KnownLength es, Free c ff) => (forall x. i -> Eff ff (es ++ (Provider ff Identity i es r ': r)) x -> Eff ff (Provider ff Identity i es r ': r) x) -> Eff ff (Provider ff Identity i es r ': r) a -> Eff ff r a
provide_ :: forall i a es' es r ff c. (Provider ff Identity i es r :> es', forall es''. Functor (Eff ff es''), Free c ff) => i -> ((Eff ff es' ~> Eff ff (es ++ (Provider ff Identity i es r ': r))) -> Eff ff (es ++ (Provider ff Identity i es r ': r)) a) -> Eff ff es' a
runProvider__ :: forall a es r ff c. (forall es'. Functor (Eff ff es'), KnownLength es, Free c ff) => (forall x. Eff ff (es ++ (Provider ff Identity () es r ': r)) x -> Eff ff (Provider ff Identity () es r ': r) x) -> Eff ff (Provider ff Identity () es r ': r) a -> Eff ff r a
provide__ :: forall a es' es r ff c. (Provider ff Identity () es r :> es', forall es''. Functor (Eff ff es''), Free c ff) => ((Eff ff es' ~> Eff ff (es ++ (Provider ff Identity () es r ': r))) -> Eff ff (es ++ (Provider ff Identity () es r ': r)) a) -> Eff ff es' a

Documentation

data Scope t i b :: Effect where Source #

An effect to introduce a new local scope that provides effect context b s.

Constructors

Scope :: forall s t i a f b. i s -> ((forall x. f x -> b s x) -> b s a) -> Scope t i b f (t s a)