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

   heftia	Control.Monad.Hefty

   No documentation available.

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

   heftia	Control.Monad.Hefty

   No documentation available.

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

   heftia	Control.Monad.Hefty

   No documentation available.

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

   heftia	Control.Monad.Hefty

   No documentation available.

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

   heftia	Control.Monad.Hefty

   No documentation available.

6. transform :: forall (e :: Effect) (e' :: Effect) (es :: [Effect]) a (ff :: (Type -> Type) -> Type -> Type) (c :: (Type -> Type) -> Constraint) . (KnownOrder e, KnownOrder e', Free c ff) => (e (Eff ff (e' ': es)) ~> e' (Eff ff (e' ': es))) -> Eff ff (e ': es) a -> Eff ff (e' ': es) a

   heftia	Control.Monad.Hefty

   No documentation available.

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

   heftia	Control.Monad.Hefty

   No documentation available.

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

   heftia	Control.Monad.Hefty.Interpret

   No documentation available.

9. interposeForBy :: forall (e :: Effect) (es :: [Effect]) ans a . (KnownOrder e, FOEs es) => Membership e es -> (a -> Eff es ans) -> AlgHandler e (Eff es) (Eff es) ans -> Eff es a -> Eff es ans

   heftia	Control.Monad.Hefty.Interpret

   No documentation available.

10. interposeForWith :: forall (e :: Effect) (es :: [Effect]) a . (KnownOrder e, FOEs es) => Membership e es -> AlgHandler e (Eff es) (Eff es) a -> Eff es a -> Eff es a

    heftia	Control.Monad.Hefty.Interpret

    Reinterprets (hooks) the effect e in the list using the provided algebraic handler.

Page 1479 of many | Previous | Next