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 PolarityModality

   Agda	Agda.Syntax.Common

   No documentation available.

2. PolarityModality :: ModalPolarity -> ModalPolarity -> ModalPolarity -> PolarityModality

   Agda	Agda.Syntax.Common

   No documentation available.

3. data PositionInName

   Agda	Agda.Syntax.Common

   The position of a name part or underscore in a name.

4. Positive :: ModalPolarity

   Agda	Agda.Syntax.Common

   argument will only be used in positive position.

5. data PositivityCheck

   Agda	Agda.Syntax.Common

   Positivity check? (Default = True).

6. type PrecedenceLevel = Double

   Agda	Agda.Syntax.Common

   Precedence levels for operators.

7. PrefixDef :: IsInfix

   Agda	Agda.Syntax.Common

   No documentation available.

8. PrivateAccess :: KwRange -> Origin -> Access

   Agda	Agda.Syntax.Common

   Store the Origin of the private block that lead to this qualifier. This is needed for more faithful printing of declarations. KwRange is the range of the private keyword.

9. newtype ProblemId

   Agda	Agda.Syntax.Common

   A "problem" consists of a set of constraints and the same constraint can be part of multiple problems.

10. ProblemId :: Nat -> ProblemId

    Agda	Agda.Syntax.Common

    No documentation available.

Page 1119 of many | Previous | Next