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. WithSideEffects :: SideEffects

   effectful-core	Effectful.Internal.Env

   No documentation available.

2. eqThreadId :: ThreadId -> ThreadId -> Bool

   effectful-core	Effectful.Internal.Utils

   No documentation available.

3. weakThreadId :: ThreadId -> Int

   effectful-core	Effectful.Internal.Utils

   Get an id of a thread that doesn't prevent its garbage collection.

4. module Effectful.Provider

   Turn an effect handler into an effectful operation.

5. data Provider (e :: Effect) input (f :: Type -> Type) (a :: Type -> Type) b

   effectful-core	Effectful.Provider

   Provide a way to run a handler of e with a given input. Note: f can be used to alter the return type of the effect handler. If that's unnecessary, use Provider_.

6. type Provider_ (e :: Effect) input = Provider e input Identity

   effectful-core	Effectful.Provider

   A restricted variant of Provider with unchanged return type of the effect handler.

7. provide :: forall (e :: Effect) f (es :: [Effect]) a . (HasCallStack, Provider e () f :> es) => Eff (e ': es) a -> Eff es (f a)

   effectful-core	Effectful.Provider

   Run the effect handler.

8. provideWith :: forall (e :: Effect) input f (es :: [Effect]) a . (HasCallStack, Provider e input f :> es) => input -> Eff (e ': es) a -> Eff es (f a)

   effectful-core	Effectful.Provider

   Run the effect handler with a given input.

9. provideWith_ :: forall (e :: Effect) input (es :: [Effect]) a . (HasCallStack, Provider_ e input :> es) => input -> Eff (e ': es) a -> Eff es a

   effectful-core	Effectful.Provider

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

10. provide_ :: forall (e :: Effect) (es :: [Effect]) a . (HasCallStack, Provider_ e () :> es) => Eff (e ': es) a -> Eff es a

    effectful-core	Effectful.Provider

    Run the effect handler with unchanged return type.

Page 1287 of many | Previous | Next