Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. class MonadIO m => MonadHoistIO (m :: Type -> Type)

   monadology	Control.Monad.Ology.General.Trans.Hoist

   No documentation available.

2. class (MonadTrans t, TransConstraint Monad t) => MonadTransHoist (t :: TransKind)

   monadology	Control.Monad.Ology.General.Trans.Hoist

   Monad transformers for which monads can be hoisted.

3. backHoist :: forall (t :: TransKind) (ma :: Type -> Type) (mb :: Type -> Type) . (MonadTransTunnel t, Monad ma, Monad mb) => (ma -/-> mb) -> t ma -/-> t mb

   monadology	Control.Monad.Ology.General.Trans.Tunnel

   No documentation available.

4. tunnelHoist :: forall (t :: TransKind) (m1 :: Type -> Type) (m2 :: Type -> Type) . (MonadTransTunnel t, Monad m1, Monad m2) => (m1 --> m2) -> t m1 --> t m2

   monadology	Control.Monad.Ology.General.Trans.Tunnel

   No documentation available.

5. wBackHoist :: forall (t :: TransKind) (ma :: Type -> Type) (mb :: Type -> Type) . (MonadTransTunnel t, Monad ma, Monad mb) => WBackraised ma mb -> WBackraised (t ma) (t mb)

   monadology	Control.Monad.Ology.General.Trans.Tunnel

   No documentation available.

6. monoHoist :: (MonadTransUnlift t, MonadTunnelIO ma, MonadIO mb) => (ma a -> mb b) -> t ma a -> t mb b

   monadology	Control.Monad.Ology.General.Trans.Unlift

   No documentation available.

7. stackBackHoist :: forall (tt :: [TransKind]) (ma :: Type -> Type) (mb :: Type -> Type) . (MonadTransStackUnlift tt, Monad ma, Monad mb) => (ma -/-> mb) -> ApplyStack tt ma -/-> ApplyStack tt mb

   monadology	Control.Monad.Ology.Specific.StackT

   No documentation available.

8. stackHoist :: forall (tt :: [TransKind]) (ma :: Type -> Type) (mb :: Type -> Type) . (MonadTransStackTunnel tt, Monad ma, Monad mb) => (ma --> mb) -> ApplyStack tt ma --> ApplyStack tt mb

   monadology	Control.Monad.Ology.Specific.StackT

   No documentation available.

9. class GHoistWorld (t :: Type -> Type -> Type -> Type) (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type)

   ecstasy	Data.Ecstasy.Internal.Deriving

   Utility class for implementing hoistStorage.

10. gHoistWorld :: GHoistWorld t m a b => a x -> b x

    ecstasy	Data.Ecstasy.Internal.Deriving

    No documentation available.

Page 17 of many | Previous | Next