Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. forM :: forall s t (k :: Type -> Type -> Type) m a b l . (Traversable s t k l, Monoidal m k l, Function l, Object k b, Object k (t b), ObjectPair k b (t b), Object l a, Object l (s a), ObjectPair l (m b) (m (t b)), TraversalObject k t b) => s a -> l a (m b) -> m (t b)

    constrained-categories Control.Monad.Constrained

    Flipped version of traverse / mapM.

  2. forM_ :: forall t k (l :: Type -> Type -> Type) f a b uk ul . (Foldable t k l, Monoidal f l l, Monoidal f k k, Function l, Arrow k (->), Arrow l (->), ul ~ UnitObject l, uk ~ UnitObject k, uk ~ ul, ObjectPair l ul ul, ObjectPair l (f ul) (f ul), ObjectPair l (f ul) (t a), ObjectPair l ul (t a), ObjectPair l (t a) ul, ObjectPair l (f ul) a, ObjectPair k b (f b), ObjectPair k b ul, ObjectPair k uk uk, ObjectPair k (f uk) a, ObjectPair k (f uk) (f uk)) => t a -> k a (f b) -> f uk

    constrained-categories Control.Monad.Constrained

    No documentation available.

  3. forever :: (Monad m k, Function k, Arrow k (->), Object k a, Object k b, Object k (m a), Object k (m (m a)), ObjectPoint k (m b), Object k (m (m b))) => k (m a) (m b)

    constrained-categories Control.Monad.Constrained

    No documentation available.

  4. forM_ :: forall t k (l :: Type -> Type -> Type) f a b uk ul . (Foldable t k l, Monoidal f l l, Monoidal f k k, Function l, Arrow k (->), Arrow l (->), ul ~ UnitObject l, uk ~ UnitObject k, uk ~ ul, ObjectPair l ul ul, ObjectPair l (f ul) (f ul), ObjectPair l (f ul) (t a), ObjectPair l ul (t a), ObjectPair l (t a) ul, ObjectPair l (f ul) a, ObjectPair k b (f b), ObjectPair k b ul, ObjectPair k uk uk, ObjectPair k (f uk) a, ObjectPair k (f uk) (f uk)) => t a -> k a (f b) -> f uk

    constrained-categories Data.Foldable.Constrained

    No documentation available.

  5. forM :: forall s t (k :: Type -> Type -> Type) m a b l . (Traversable s t k l, Monoidal m k l, Function l, Object k b, Object k (t b), ObjectPair k b (t b), Object l a, Object l (s a), ObjectPair l (m b) (m (t b)), TraversalObject k t b) => s a -> l a (m b) -> m (t b)

    constrained-categories Data.Traversable.Constrained

    Flipped version of traverse / mapM.

  6. forAll :: Stream Bool -> Prop Universal

    copilot-language Copilot.Language

    Universal quantification of boolean streams over time.

  7. forAll :: Stream Bool -> Prop Universal

    copilot-language Copilot.Language.Spec

    Universal quantification of boolean streams over time.

  8. forestCursorWidget :: ([CTree b] -> TreeCursor a b -> [CTree b] -> Widget n) -> ForestCursor a b -> Widget n

    cursor-brick Cursor.Brick.Forest

    No documentation available.

  9. forestCursorWidgetM :: ([CTree b] -> TreeCursor a b -> [CTree b] -> m (Widget n)) -> ForestCursor a b -> m (Widget n)

    cursor-brick Cursor.Brick.Forest

    No documentation available.

  10. forest :: AlphaColour Double

    diagrams-contrib Diagrams.Color.XKCD

    No documentation available.

Page 205 of many | Previous | Next