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

2. class EqualSy a

   Agda	Agda.TypeChecking.Abstract

   No documentation available.

3. class EqualityUnview a

   Agda	Agda.TypeChecking.Monad.Builtin

   Revert the EqualityView. Postcondition: type is reduced.

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

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

   No documentation available.

5. data Equality

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

   No documentation available.

6. class Boolean BooleanOf a => EqB a

   Boolean	Data.Boolean

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

7. Equity :: BondType

   Hastructure	Liability

   Equity type tranche

8. EqAbove :: Threshold

   Hastructure	Types

   No documentation available.

9. EqBelow :: Threshold

   Hastructure	Types

   No documentation available.

10. EqToLeft :: SplitType

    Hastructure	Types

    No documentation available.

Page 36 of many | Previous | Next