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. data HoistClock (m1 :: Type -> Type) (m2 :: Type -> Type) cl

   rhine	FRP.Rhine.Clock

   Applying a monad morphism yields a new clock.

2. HoistClock :: cl -> (forall a . () => m1 a -> m2 a) -> HoistClock (m1 :: Type -> Type) (m2 :: Type -> Type) cl

   rhine	FRP.Rhine.Clock

   No documentation available.

3. class ComonadHoist (t :: Type -> Type -> Type -> Type)

   comonad	Control.Comonad.Hoist.Class

   No documentation available.

4. cohoist :: (ComonadHoist t, Comonad w, Comonad v) => (forall x . () => w x -> v x) -> t w a -> t v a

   comonad	Control.Comonad.Hoist.Class

   Given any comonad-homomorphism from w to v this yields a comonad homomorphism from t w to t v.

5. unsafeHoist :: Functor m => (forall x . () => m x -> n x) -> Proxy a' a b' b m r -> Proxy a' a b' b n r

   pipes	Pipes.Internal

   unsafeHoist is like hoist, but faster. This is labeled as unsafe because you will break the monad transformer laws if you do not pass a monad morphism as the first argument. This function is safe if you pass a monad morphism as the first argument.

6. genericClientHoist :: forall routes m n . (HasClient m (ToServantApi routes), GenericServant routes (AsClientT n), Client n (ToServantApi routes) ~ ToServant routes (AsClientT n)) => (forall x . () => m x -> n x) -> routes (AsClientT n)

   servant-client-core	Servant.Client.Generic

   genericClient but with hoistClientMonad in between.

7. alternateHoisting :: (Monad n, Alternative n) => (forall a1 . () => m a1 -> n a1) -> ListT m a -> n a

   list-t	ListT

   Use a monad morphism to convert a ListT to a similar monad, such as '[]'. A more efficient alternative to alternate . hoist f.

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

   cabal-install-parsers	Cabal.SourceRepo

   No documentation available.

9. unhoistedClock :: HoistClock (m1 :: Type -> Type) (m2 :: Type -> Type) cl -> cl

   rhine	FRP.Rhine.Clock

   No documentation available.

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

    cabal-install	Distribution.Client.Types.SourceRepo

    No documentation available.

Page 16 of many | Previous | Next