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.

Exact lookup

1. arrow :: SDoc

   ghc-lib-parser	GHC.Utils.Outputable

   No documentation available.

2. arrow :: forall a b c d e . (Arrow a, Show (a d e), Show (a c d), Show (a b c), Arbitrary (a d e), Arbitrary (a c d), Arbitrary (a b c), Arbitrary c, Arbitrary d, Arbitrary e, CoArbitrary b, CoArbitrary c, CoArbitrary d, EqProp (a b e), EqProp (a b d), EqProp (a (b, d) c), EqProp (a (b, d) (c, d)), EqProp (a (b, e) (d, e)), EqProp (a (b, d) (c, e))) => a b (c, d, e) -> TestBatch

   checkers	Test.QuickCheck.Classes

   No documentation available.

3. arrow :: Doc

   Agda	Agda.Syntax.Concrete.Glyph

   No documentation available.

4. arrow :: DefCfg -> String

   BNFC	BNFC.Backend.Haskell.CFtoAbstract

   No documentation available.

5. arrow :: String

   BNFC	BNFC.Backend.Latex

   No documentation available.

6. arrow :: Point -> Point -> Picture

   learn-physics	Physics.Learn

   An arrow

7. arrow :: Point -> Point -> Picture

   learn-physics	Physics.Learn.Visual.GlossTools

   An arrow

8. arrow :: (IsPath b, IsPath a) => a -> b -> Path

   funcmp	FMP.Picture

   No documentation available.

9. arrow :: Head -> Location -> Location -> Line () -> Annote ()

   plot	Graphics.Rendering.Plot.Figure

   add an arrow

10. class Arrow a => ArrowApply (a :: Type -> Type -> Type)

    base	Control.Arrow

    Some arrows allow application of arrow inputs to other inputs. Instances should satisfy the following laws:

    • first (arr (\x -> arr (\y ->
      (x,y)))) >>> app = id

    • first (arr (g >>>)) >>>
      app = second g >>> app

    • first (arr (>>> h)) >>>
      app = app >>> h

    Such arrows are equivalent to monads (see ArrowMonad).

Page 5 of many | Previous | Next