Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

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

   type-natural	Data.Type.Natural

   Since 1.1.0.0 (Type changed)

2. Equals :: Expr -> Expr -> Expr

   typst	Typst.Syntax

   No documentation available.

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

   typst	Typst.Syntax

   No documentation available.

4. EqualityDefinition :: DefineStyle

   what4	What4.Protocol.SMTWriter

   No documentation available.

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

   Agda	Agda.Syntax.Abstract

   No documentation available.

6. Equal :: Range -> Expr -> Expr -> Expr

   Agda	Agda.Syntax.Concrete

   ex: a = b, used internally in the parser

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

   Agda	Agda.Syntax.Concrete

   i = i1 i.e. cubical face lattice generator

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

   Agda	Agda.Syntax.Internal

   No documentation available.

9. data EqualityTypeData

   Agda	Agda.Syntax.Internal

   No documentation available.

10. EqualityTypeData :: Range -> Sort -> QName -> Args -> Arg Term -> Arg Term -> Arg Term -> EqualityTypeData

    Agda	Agda.Syntax.Internal

    No documentation available.

Page 35 of many | Previous | Next