Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. srpHoist :: (forall x . () => f x -> g x) -> SourceRepositoryPackage f -> SourceRepositoryPackage g

   cabal-install	Distribution.Client.Types.SourceRepo

   No documentation available.

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

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

   No documentation available.

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

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

   Monad transformers for which monads can be hoisted.

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

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

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

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

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

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

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

Page 17 of many | Previous | Next