Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. 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.

  2. 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

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

    test-fun Test.Fun.Internal.Generic

    No documentation available.

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

    test-fun Test.Fun.Internal.Pretty

    No documentation available.

  5. 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.

  6. data (a :: k1) :~~: (b :: k2)

    type-equality Data.Type.Equality.Hetero

    Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

  7. type family (a :: [k]) :++: (b :: [k]) :: [k]

    type-fun TypeFun.Data.List

    No documentation available.

  8. type family (a :: N) :*: (b :: N) :: N

    type-fun TypeFun.Data.Peano

    No documentation available.

  9. type family (a :: N) :+: (b :: N) :: N

    type-fun TypeFun.Data.Peano

    No documentation available.

  10. type family (a :: N) :-: (b :: N) :: N

    type-fun TypeFun.Data.Peano

    No documentation available.

Page 44 of many | Previous | Next