Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. Equals :: Expr -> Expr -> Expr

   typst	Typst.Syntax

   No documentation available.

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

   typst	Typst.Syntax

   No documentation available.

3. EqualityDefinition :: DefineStyle

   what4	What4.Protocol.SMTWriter

   No documentation available.

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

   Agda	Agda.Syntax.Abstract

   No documentation available.

5. Equal :: Range -> Expr -> Expr -> Expr

   Agda	Agda.Syntax.Concrete

   ex: a = b, used internally in the parser

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

   Agda	Agda.Syntax.Concrete

   i = i1 i.e. cubical face lattice generator

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

   Agda	Agda.Syntax.Internal

   No documentation available.

8. data EqualityTypeData

   Agda	Agda.Syntax.Internal

   No documentation available.

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

   Agda	Agda.Syntax.Internal

   No documentation available.

10. data EqualityView

    Agda	Agda.Syntax.Internal

    View type as equality type.

Page 35 of many | Previous | Next