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. (:->) :: k -> v -> MapEntry k v

    prettyprinter-combinators Prettyprinter.Combinators

    No documentation available.

  2. data (a :: k) :~: (b :: k)

    prim-uniq Data.Unique.Tag

    Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

  3. data a :-> r

    quickcheck-higherorder Test.QuickCheck.HigherOrder

    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.

  4. (:=:) :: a -> a -> Equation a

    quickcheck-higherorder Test.QuickCheck.HigherOrder

    No documentation available.

  5. (:==>) :: a -> b -> Implication a b

    quickcheck-higherorder Test.QuickCheck.HigherOrder

    No documentation available.

  6. (:=:) :: a -> a -> Equation a

    quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable

    No documentation available.

  7. (:==>) :: a -> b -> Implication a b

    quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable

    No documentation available.

  8. type family (x :: [k]) :++ (y :: [k]) :: [k]

    registry Data.Registry.Solver

    Extracted from the typelevel-sets project and adapted for the Registry datatype This union deduplicates elements only if they appear in contiguously What we really want is typelevel sets but they are too slow for now https://github.com/dorchard/type-level-sets/issues/17

  9. type (out :: [Type]) :- a = Contains a out

    registry Data.Registry.Solver

    Shorthand type alias when many such constraints need to be added to a type signature

  10. pattern (:+) :: Disjoint l r => Rec l -> Rec r -> Rec (l .+ r)

    row-types Data.Row

    A pattern version of record union, for use in pattern matching.

Page 42 of many | Previous | Next