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.

  1. module Control.Effect.Transform

    No documentation available.

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

    data-effects-core Control.Effect.Transform

    No documentation available.

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

    data-effects-core Control.Effect.Transform

    No documentation available.

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

    data-effects-core Control.Effect.Transform

    No documentation available.

  5. data EffectForm

    data-effects-core Data.Effect

    No documentation available.

  6. SubFork :: forall (ref :: Type -> Type) (a :: Type -> Type) a1 . CC ref a (Either (ref a1) a1)

    data-effects-core Data.Effect

    No documentation available.

  7. prefixFor :: forall (es' :: [Effect]) (es :: [Effect]) (e :: Effect) . KnownLength es' => Membership e es -> Membership e (es' ++ es)

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  8. splitFor :: forall (es :: [Effect]) (es' :: [Effect]) (e :: Effect) r . KnownLength es => (Membership e es -> r) -> (Membership e es' -> r) -> Membership e (es ++ es') -> r

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  9. suffixFor :: forall (es' :: [Effect]) (es :: [Effect]) (e :: Effect) . Membership e es -> Membership e (es ++ es')

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

  10. weakenExpsFor :: forall (es :: [Effect]) (e :: Effect) . WeakenExps es => Membership e (RemoveExps es) -> Membership e es

    data-effects-core Data.Effect.OpenUnion

    No documentation available.

Page 1333 of many | Previous | Next