Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. hoistNu :: (forall a . () => f a -> g a) -> Nu f -> Nu g

    data-fix Data.Fix

    Change base functor in Nu.

  2. hoistCell :: (forall x . () => m1 x -> m2 x) -> Cell m1 a b -> Cell m2 a b

    essence-of-live-coding LiveCoding.Cell

    Hoist a Cell along a monad morphism.

  3. hoistCellKleisli :: (Monad m1, Monad m2) => (forall s . () => (s -> a1 -> m1 (b1, s)) -> s -> a2 -> m2 (b2, s)) -> Cell m1 a1 b1 -> Cell m2 a2 b2

    essence-of-live-coding LiveCoding.Cell.Monad

    Apply a transformation of stateful Kleisli morphisms to a cell.

  4. hoistCellKleisli_ :: (Monad m1, Monad m2) => (forall s . () => (a1 -> m1 (b1, s)) -> a2 -> m2 (b2, s)) -> Cell m1 a1 b1 -> Cell m2 a2 b2

    essence-of-live-coding LiveCoding.Cell.Monad

    Apply a transformation of Kleisli morphisms to a cell.

  5. hoistCellOutput :: (Monad m1, Monad m2) => (forall s . () => m1 (b1, s) -> m2 (b2, s)) -> Cell m1 a b1 -> Cell m2 a b2

    essence-of-live-coding LiveCoding.Cell.Monad

    Apply a monad morphism that also transforms the output to a cell.

  6. hoistLiveProgram :: (forall a . () => m1 a -> m2 a) -> LiveProgram m1 -> LiveProgram m2

    essence-of-live-coding LiveCoding.LiveProgram

    No documentation available.

  7. hoistEff :: (Applicative m, Monad n) => (forall x . () => m x -> n x) -> Stream m a b -> Stream n a b

    ghc-lib-parser GHC.Data.Stream

    Hoist the underlying Stream effect Note this is not very efficience since, just like mapAccumL_, it also needs to traverse and rebuild the whole stream.

  8. hoistFlag :: (forall a . () => m a -> n a) -> Flag m -> Flag n

    ghc-lib-parser GHC.Driver.CmdLine

    No documentation available.

  9. hoistDsMessage :: Monad m => m (Messages DsMessage, a) -> m (Messages GhcMessage, a)

    ghc-lib-parser GHC.Driver.Errors.Types

    Abstracts away the frequent pattern where we are calling ioMsgMaybe on the result of 'IO (Messages DsMessage, a)'.

  10. hoistTcRnMessage :: Monad m => m (Messages TcRnMessage, a) -> m (Messages GhcMessage, a)

    ghc-lib-parser GHC.Driver.Errors.Types

    Abstracts away the frequent pattern where we are calling ioMsgMaybe on the result of 'IO (Messages TcRnMessage, a)'.

Page 8 of many | Previous | Next