Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. runProvider :: forall input (e :: Effect) (es :: [(Type -> Type) -> Type -> Type]) f a . HasCallStack => (forall r . HasCallStack => input -> Eff (e ': es) r -> Eff es (f r)) -> Eff (Provider e input f ': es) a -> Eff es a

   effectful-core	Effectful.Provider

   Run the Provider effect with a given effect handler.

2. runProvider_ :: forall input (e :: Effect) (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => (forall r . HasCallStack => input -> Eff (e ': es) r -> Eff es r) -> Eff (Provider_ e input ': es) a -> Eff es a

   effectful-core	Effectful.Provider

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

3. data ProviderList (providedEs :: [Effect]) input (f :: Type -> Type) (a :: Type -> Type) b

   effectful-core	Effectful.Provider.List

   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_.

4. type ProviderList_ (providedEs :: [Effect]) input = ProviderList providedEs input Identity

   effectful-core	Effectful.Provider.List

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

5. provideList :: forall (providedEs :: [Effect]) f (es :: [Effect]) a . (HasCallStack, ProviderList providedEs () f :> es) => Eff (providedEs ++ es) a -> Eff es (f a)

   effectful-core	Effectful.Provider.List

   Run the handler.

6. provideListWith :: forall (providedEs :: [Effect]) input f (es :: [Effect]) a . (HasCallStack, ProviderList providedEs input f :> es) => input -> Eff (providedEs ++ es) a -> Eff es (f a)

   effectful-core	Effectful.Provider.List

   Run the handler with a given input.

7. provideListWith_ :: forall (providedEs :: [Effect]) input (es :: [Effect]) a . (HasCallStack, ProviderList_ providedEs input :> es) => input -> Eff (providedEs ++ es) a -> Eff es a

   effectful-core	Effectful.Provider.List

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

8. provideList_ :: forall (providedEs :: [Effect]) (es :: [Effect]) a . (HasCallStack, ProviderList_ providedEs () :> es) => Eff (providedEs ++ es) a -> Eff es a

   effectful-core	Effectful.Provider.List

   Run the handler with unchanged return type.

9. runProviderList :: forall (providedEs :: [Effect]) input (es :: [(Type -> Type) -> Type -> Type]) f a . (HasCallStack, KnownEffects providedEs) => (forall r . HasCallStack => input -> Eff (providedEs ++ es) r -> Eff es (f r)) -> Eff (ProviderList providedEs input f ': es) a -> Eff es a

   effectful-core	Effectful.Provider.List

   Run the ProviderList effect with a given handler.

10. runProviderList_ :: forall (providedEs :: [Effect]) input (es :: [(Type -> Type) -> Type -> Type]) a . (HasCallStack, KnownEffects providedEs) => (forall r . HasCallStack => input -> Eff (providedEs ++ es) r -> Eff es r) -> Eff (ProviderList_ providedEs input ': es) a -> Eff es a

    effectful-core	Effectful.Provider.List

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

Page 1288 of many | Previous | Next