Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

  1. hoistDec :: forall (f :: Type -> Type) (g :: Type -> Type) . (f ~> g) -> Dec f ~> Dec g

    functor-combinators Data.Functor.Contravariant.Divisible.Free

    Map over the underlying context in a Dec.

  2. hoistDec1 :: forall (f :: Type -> Type) (g :: Type -> Type) . (f ~> g) -> Dec1 f ~> Dec1 g

    functor-combinators Data.Functor.Contravariant.Divisible.Free

    Map over the undering context in a Dec1.

  3. hoistDiv :: forall (f :: Type -> Type) (g :: Type -> Type) . (f ~> g) -> Div f ~> Div g

    functor-combinators Data.Functor.Contravariant.Divisible.Free

    Map over the undering context in a Div.

  4. hoistDiv1 :: forall (f :: Type -> Type) (g :: Type -> Type) . (f ~> g) -> Div1 f ~> Div1 g

    functor-combinators Data.Functor.Contravariant.Divisible.Free

    Map over the underlying context in a Div1.

  5. hoistTransform :: (forall x . () => m x -> n x) -> TransformT m a -> TransformT n a

    ghc-exactprint Language.Haskell.GHC.ExactPrint.Transform

    Change inner monad of TransformT.

  6. hoistContext :: forall (m :: Type -> Type) h t p . Monad m => (h -> t) -> (t -> h) -> GingerContext p m h -> GingerContext p m t

    ginger Text.Ginger.Run

    Hoist a context onto a different output type. hoistContext fwd rev context returns a context over a different output type, applying the fwd and rev projections to convert between the original and desired output types.

  7. hoistNewlines :: (h -> t) -> (t -> h) -> Newlines h -> Newlines t

    ginger Text.Ginger.Run

    Hoist a Newlines onto a different output type. You don't normally need to use this directly; see hoistRun and/or hoistContext.

  8. hoistRun :: forall (m :: Type -> Type) h t p a . Monad m => (h -> t) -> (t -> h) -> Run p m h a -> Run p m t a

    ginger Text.Ginger.Run

    Hoist a Run action onto a different output type. hoistRun fwd rev action hoists the action from Run p m h a to Run p m t a, applying fwd and rev to convert between the output types.

  9. hoistRunState :: forall (m :: Type -> Type) h t p . Monad m => (h -> t) -> (t -> h) -> RunState p m h -> RunState p m t

    ginger Text.Ginger.Run

    Hoist a RunState onto a different output type. You don't normally need to use this directly; see hoistRun and/or hoistContext.

  10. hoistContext :: forall (m :: Type -> Type) h t p . Monad m => (h -> t) -> (t -> h) -> GingerContext p m h -> GingerContext p m t

    ginger Text.Ginger.Run.Type

    Hoist a context onto a different output type. hoistContext fwd rev context returns a context over a different output type, applying the fwd and rev projections to convert between the original and desired output types.

Page 11 of many | Previous | Next