Hoogle Search

Within LTS Haskell 24.17 (ghc-9.10.3)

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

  1. data EqualTo (n :: Nat)

    refined Refined

    A Predicate ensuring that the value is equal to the specified type-level number n. 

    >>> isRight (refine @(EqualTo 5) @Int 5)
True

    >>> isLeft (refine @(EqualTo 6) @Int 5)
True

  2. EqualTo :: EqualTo (n :: Nat)

    refined Refined

    No documentation available.

  3. module Test.TypeSpec.Internal.Equality

    Type Equality

  4. type family EqExtra (a :: ak) (b :: bk) :: Bool

    type-spec Test.TypeSpec.Internal.Equality

    Operator 'Data.Equality.(==)' expects both arguments to have the same kind.

  5. module ELynx.Tools.Equality

    Creation date: Thu Feb 14 13:27:05 2019. Equality tests.

  6. module Proof.Equational

    No documentation available.

  7. class Preorder eq => Equality (eq :: k -> k -> Type)

    equational-reasoning Proof.Equational

    No documentation available.

  8. EqStablePtrOp :: PrimOp

    ghc-lib-parser GHC.Builtin.PrimOps

    No documentation available.

  9. data EqSpec

    ghc-lib-parser GHC.Core.DataCon

    An EqSpec is a tyvar/type pair representing an equality made in rejigging a GADT constructor

  10. EqPred :: EqRel -> Type -> Type -> Pred

    ghc-lib-parser GHC.Core.Predicate

    A type equality predicate, (t1 ~#N t2) or (t1 ~#R t2)

Page 24 of many | Previous | Next