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

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. PrincipalArgTypeMetas :: Args -> Type -> PrincipalArgTypeMetas

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. PrivateRecordField :: TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. data ProblemConstraint

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. newtype ProjLams

   Agda	Agda.TypeChecking.Monad.Base

   Abstractions to build projection function (dropping parameters).

6. ProjLams :: [Arg ArgName] -> ProjLams

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. data Projection

   Agda	Agda.TypeChecking.Monad.Base

   Additional information for projection Functions.

8. Projection :: Maybe QName -> QName -> Arg QName -> Int -> ProjLams -> Projection

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. ProjectionIsIrrelevant :: QName -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. data ProjectionLikenessMissing

    Agda	Agda.TypeChecking.Monad.Base

    Indicates the reason behind a function having not been marked projection-like.

Page 1143 of many | Previous | Next