Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. pattern (:::) :: SExpr a -> SExpr a -> SExpr a

    s-cargot Data.SCargot.Repr.Basic

    A shorter infix alias for SCons 

    >>> A "pachy" ::: A "derm"
SCons (SAtom "pachy") (SAtom "derm")

  2. pattern (:::) :: RichSExpr a -> RichSExpr a -> RichSExpr a

    s-cargot Data.SCargot.Repr.Rich

    A shorter infix alias to grab the head and tail of an RSList. 

    >>> A "one" ::: L [A "two", A "three"]
RSList [RSAtom "one",RSAtom "two",RSAtom "three"]

  3. pattern (:::) :: WellFormedSExpr a -> WellFormedSExpr a -> WellFormedSExpr a

    s-cargot Data.SCargot.Repr.WellFormed

    A shorter infix alias to grab the head and tail of a WFSList. This pattern is unidirectional, because it cannot be guaranteed that it is used to construct well-formed s-expressions; use the function "cons" instead. 

    >>> let sum (x ::: xs) = x + sum xs; sum Nil = 0

  4. data a :+ b

    test-fun Test.Fun

    Heterogeneous products as nested pairs. These products must be terminated by (). 

    a :+ b :+ c :+ ()  -- the product of a, b, c

  5. (:+) :: a -> b -> (:+) a b

    test-fun Test.Fun

    No documentation available.

  6. data a :-> r

    test-fun Test.Fun

    Testable representation of functions (a -> r). This representation supports random generation, shrinking, and printing, for property testing with QuickCheck or Hedgehog. Higher-order functions can be represented.

  7. data a :+ b

    test-fun Test.Fun.Internal.Generic

    Heterogeneous products as nested pairs. These products must be terminated by (). 

    a :+ b :+ c :+ ()  -- the product of a, b, c

  8. (:+) :: a -> b -> (:+) a b

    test-fun Test.Fun.Internal.Generic

    No documentation available.

  9. (:.) :: (Var, Expr) -> Ctx -> Ctx

    test-fun Test.Fun.Internal.Pretty

    No documentation available.

  10. data a :-> r

    test-fun Test.Fun.Internal.Types

    Testable representation of functions (a -> r). This representation supports random generation, shrinking, and printing, for property testing with QuickCheck or Hedgehog. Higher-order functions can be represented.

Page 46 of many | Previous | Next