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. class EqF (f :: k -> Type)

    parameterized-utils Data.Parameterized.Classes

    EqF provides a method eqF for testing whether two parameterized types are equal. Unlike TestEquality, this only works when the type arguments are the same, and does not provide a proof that the types have the same type when they are equal. Thus this can be implemented over parameterized types that are unable to provide evidence that their type arguments are equal.

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

  3. EqualTo :: EqualTo (n :: Nat)

    refined Refined

    No documentation available.

  4. module Test.TypeSpec.Internal.Equality

    Type Equality

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

  6. module ELynx.Tools.Equality

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

  7. module Proof.Equational

    No documentation available.

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

    equational-reasoning Proof.Equational

    No documentation available.

  9. EqStablePtrOp :: PrimOp

    ghc-lib-parser GHC.Builtin.PrimOps

    No documentation available.

  10. data EqSpec

    ghc-lib-parser GHC.Core.DataCon

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

Page 24 of many | Previous | Next