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. EqualityTypeData :: Range -> Sort -> QName -> Args -> Arg Term -> Arg Term -> Arg Term -> EqualityTypeData

   Agda	Agda.Syntax.Internal

   No documentation available.

2. data EqualityView

   Agda	Agda.Syntax.Internal

   View type as equality type.

3. EqualityViewType :: EqualityTypeData -> EqualityView

   Agda	Agda.Syntax.Internal

   A type of the form u ≡ v decomposed into its parts. Used as type for the rewrite expression.

4. class EqualSy a

   Agda	Agda.TypeChecking.Abstract

   No documentation available.

5. class EqualityUnview a

   Agda	Agda.TypeChecking.Monad.Builtin

   Revert the EqualityView. Postcondition: type is reduced.

6. Equal :: Dom Type -> Term -> Term -> Equality

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   No documentation available.

7. data Equality

   Agda	Agda.TypeChecking.Rules.LHS.Unify.Types

   No documentation available.

8. class Boolean BooleanOf a => EqB a

   Boolean	Data.Boolean

   Types with equality. Minimum definition: (==*).

9. Equity :: BondType

   Hastructure	Liability

   Equity type tranche

10. EqAbove :: Threshold

    Hastructure	Types

    No documentation available.

Page 36 of many | Previous | Next