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. subFork'_ :: forall ref a1 a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, a ~ Eff ff es, In (CC ref) es) => a (Either (ref a1) a1)

   data-effects	Data.Effect.CC

   No documentation available.

2. runForAsParallel :: forall (t :: Type -> Type) a (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Parallel :> es, Traversable t, Applicative (Eff ff es), Free c ff) => Eff ff (For t ': es) a -> Eff ff es a

   data-effects	Data.Effect.Concurrent.Parallel

   No documentation available.

3. handleLocalFor :: forall r (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Applicative (Eff ff es), Free c ff) => Membership (Ask r) es -> Local r ~~> Eff ff es

   data-effects	Data.Effect.Reader

   A handler for the Local effect.

4. SubShiftFork :: forall ans (ref :: Type -> Type) (a :: Type -> Type) a1 . Shift ans ref a (Either (ref a1) a1)

   data-effects	Data.Effect.Shift

   No documentation available.

5. subShiftFork :: forall ans ref a f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, f ~ Eff ff es, Shift ans ref :> es) => f (Either (ref a) a)

   data-effects	Data.Effect.Shift

   No documentation available.

6. subShiftFork'_ :: forall ans ref a f (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (Free c ff, f ~ Eff ff es, In (Shift ans ref) es) => f (Either (ref a) a)

   data-effects	Data.Effect.Shift

   No documentation available.

7. perform :: forall e (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) a (c :: (Type -> Type) -> Constraint) . (e :> es, Free c ff) => e (Eff ff es) a -> Eff ff es a

   data-effects-core	Control.Effect

   No documentation available.

8. sendFor :: forall e (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) a (c :: (Type -> Type) -> Constraint) . (KnownOrder e, Free c ff) => Membership e es -> e (Eff ff es) a -> Eff ff es a

   data-effects-core	Control.Effect

   No documentation available.

9. interposeFor :: forall (e :: Effect) (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) a (c :: (Type -> Type) -> Constraint) . (KnownOrder e, Free c ff) => Membership e es -> (e ~~> Eff ff es) -> Eff ff es a -> Eff ff es a

   data-effects-core	Control.Effect.Interpret

   No documentation available.

10. preinterposeFor :: forall (e :: Effect) (es :: [Effect]) (ff :: (Type -> Type) -> Type -> Type) a (c :: (Type -> Type) -> Constraint) . (KnownOrder e, Free c ff) => Membership e es -> (e ~~> Eff ff es) -> Eff ff es a -> Eff ff es a

    data-effects-core	Control.Effect.Interpret

    No documentation available.

Page 1332 of many | Previous | Next