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 EqualityView

   Agda	Agda.Syntax.Internal

   View type as equality type.

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

3. class EqualSy a

   Agda	Agda.TypeChecking.Abstract

   No documentation available.

4. class EqualityUnview a

   Agda	Agda.TypeChecking.Monad.Builtin

   Revert the EqualityView. Postcondition: type is reduced.

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

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

   No documentation available.

6. data Equality

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

   No documentation available.

7. class Boolean BooleanOf a => EqB a

   Boolean	Data.Boolean

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

8. Equity :: BondType

   Hastructure	Liability

   Equity type tranche

9. EqAbove :: Threshold

   Hastructure	Types

   No documentation available.

10. EqBelow :: Threshold

    Hastructure	Types

    No documentation available.

Page 36 of many | Previous | Next