Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. ProjectionReductions :: AllowedReduction

   Agda	Agda.TypeChecking.Monad.Base

   (Projection and) projection-like functions may be reduced.

2. data Polarity

   Agda	Agda.TypeChecking.Monad.Base.Types

   Polarity for equality and subtype checking.

3. type PrimitiveLibDir = AbsolutePath

   Agda	Agda.TypeChecking.Monad.Base.Types

   No documentation available.

4. module Agda.TypeChecking.Monad.Pure

   A typeclass collecting all pure typechecking operations | (i.e. ones that do not modify the typechecking state, throw or | catch errors, or do IO other than debug printing).

5. class (HasBuiltins m, HasConstInfo m, MonadAddContext m, MonadDebug m, MonadReduce m, MonadTCEnv m, ReadTCState m) => PureTCM (m :: Type -> Type)

   Agda	Agda.TypeChecking.Monad.Pure

   No documentation available.

6. data ProjectedVar

   Agda	Agda.TypeChecking.Monad.SizedTypes

   A de Bruijn index under some projections.

7. ProjectedVar :: Int -> [(ProjOrigin, QName)] -> ProjectedVar

   Agda	Agda.TypeChecking.Monad.SizedTypes

   No documentation available.

8. module Agda.TypeChecking.Polarity

   Computing the polarity (variance) of function arguments, for the sake of subtyping.

9. module Agda.TypeChecking.Positivity

   Check that a datatype is strictly positive.

10. type PragmaPolarities = List1 Ranged Occurrence

    Agda	Agda.TypeChecking.Positivity.Occurrence

    List of polarities stemming from POLARITY pragma.

Page 1144 of many | Previous | Next