Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. eqtSort :: EqualityView -> Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

2. eqtType :: EqualityView -> Arg Term

   Agda	Agda.Syntax.Internal

   No documentation available.

3. equalSy :: EqualSy a => a -> a -> Bool

   Agda	Agda.TypeChecking.Abstract

   No documentation available.

4. equalAtom :: MonadConversion m => CompareAs -> Term -> Term -> m ()

   Agda	Agda.TypeChecking.Conversion

   No documentation available.

5. equalLevel :: MonadConversion m => Level -> Level -> m ()

   Agda	Agda.TypeChecking.Conversion

   No documentation available.

6. equalSort :: MonadConversion m => Sort -> Sort -> m ()

   Agda	Agda.TypeChecking.Conversion

   Check that the first sort equal to the second.

7. equalTerm :: MonadConversion m => Type -> Term -> Term -> m ()

   Agda	Agda.TypeChecking.Conversion

   No documentation available.

8. equalTermOnFace :: MonadConversion m => Term -> Type -> Term -> Term -> m ()

   Agda	Agda.TypeChecking.Conversion

   equalTermOnFace φ A u v = _ , φ ⊢ u = v : A

9. equalType :: MonadConversion m => Type -> Type -> m ()

   Agda	Agda.TypeChecking.Conversion

   No documentation available.

10. eQuantity :: Lens' TCEnv Quantity

    Agda	Agda.TypeChecking.Monad.Base

    Note that this lens does not satisfy all lens laws: If hard compile-time mode is enabled, then quantities other than zero are replaced by __IMPOSSIBLE__.

Page 120 of many | Previous | Next