Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Provider.List

Turn a handler of multiple effects into an effectful operation.

Effect

2 declarations

datadata ProviderList (providedEs :: [Effect]) input (f :: Type -> Type) (a :: Type -> Type) b where

Provide a way to run a handler of multiple providedEs with a given input.

Note: f can be used to alter the return type of the handler. If that's unnecessary, use ProviderList_.

ProvideListWith :: input -> Eff (providedEs ++ es) a1 -> ProviderList providedEs input f (Eff es) (f a1)
Run the effect handlers with a given input.

Instances1DispatchOf

type DispatchOf (ProviderList providedEs input f) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Provider.List

typetype ProviderList_ (providedEs :: [Effect]) input = ProviderList providedEs input Identity

A restricted variant of ProviderList with unchanged return type of the handler.

valuerunProviderList

:: (HasCallStack, KnownSubset providedEs (providedEs ++ es))
=> (forall r. HasCallStack => input -> Eff (providedEs ++ es) r -> Eff es (f r))
The handler.
-> Eff (ProviderList providedEs input f ': es) a
-> Eff es a

Run the ProviderList effect with a given handler.

valuerunProviderList_

:: (HasCallStack, KnownSubset providedEs (providedEs ++ es))
=> (forall r. HasCallStack => input -> Eff (providedEs ++ es) r -> Eff es r)
The handler.
-> Eff (ProviderList_ providedEs input ': es) a
-> Eff es a

Run the ProviderList effect with a given handler that doesn't change its return type.

valueprovideList

Run the handler.

valueprovideList_

Run the handler with unchanged return type.

valueprovideListWith

Run the handler with a given input.

valueprovideListWith_

Run the handler that doesn't change its return type with a given input.

2 declarations

familytype family (++) (xs :: [Effect]) (ys :: [Effect]) :: [Effect] where

Append two type-level lists together.

classclass Subset subEs es => KnownSubset (subEs :: [Effect]) (es :: [Effect])

Provide evidence that subEs is a known subset of es.

Instances2KnownSubset

KnownSubset '[] esDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect
(e :> es, KnownSubset subEs es) => KnownSubset (e ': subEs) esDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect