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.

Exact lookup

1. type family Equal (a :: k) (b :: k) :: Bool

   type-fun	TypeFun.Data.Eq

   No documentation available.

2. data Equality (n :: k) (m :: k)

   type-natural	Data.Type.Natural

   Since 1.1.0.0 (Type changed)

3. Equals :: Expr -> Expr -> Expr

   typst	Typst.Syntax

   No documentation available.

4. Equation :: Bool -> [Markup] -> Markup

   typst	Typst.Syntax

   No documentation available.

5. EqualityDefinition :: DefineStyle

   what4	What4.Protocol.SMTWriter

   No documentation available.

6. EqualP :: PatInfo -> List1 (e, e) -> Pattern' e

   Agda	Agda.Syntax.Abstract

   No documentation available.

7. Equal :: Range -> Expr -> Expr -> Expr

   Agda	Agda.Syntax.Concrete

   ex: a = b, used internally in the parser

8. EqualP :: Range -> List1 (Expr, Expr) -> Pattern

   Agda	Agda.Syntax.Concrete

   i = i1 i.e. cubical face lattice generator

9. pattern EqualityType :: Range -> Sort -> QName -> Args -> Arg Term -> Arg Term -> Arg Term -> EqualityView

   Agda	Agda.Syntax.Internal

   No documentation available.

10. data EqualityTypeData

    Agda	Agda.Syntax.Internal

    No documentation available.

Page 35 of many | Previous | Next