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. PolarityPragma :: Range -> Name -> [Ranged Occurrence] -> Pragma

   Agda	Agda.Syntax.Concrete

   No documentation available.

2. Postulate :: KwRange -> [TypeSignatureOrInstanceBlock] -> Declaration

   Agda	Agda.Syntax.Concrete

   No documentation available.

3. Pragma :: Pragma -> Declaration

   Agda	Agda.Syntax.Concrete

   No documentation available.

4. data Pragma

   Agda	Agda.Syntax.Concrete

   No documentation available.

5. Primitive :: KwRange -> [TypeSignature] -> Declaration

   Agda	Agda.Syntax.Concrete

   No documentation available.

6. Private :: KwRange -> Origin -> [Declaration] -> Declaration

   Agda	Agda.Syntax.Concrete

   In Agda.Syntax.Concrete.Definitions we generate private blocks temporarily, which should be treated different that user-declared private blocks. Thus the Origin.

7. PolarityAttribute :: PolarityModality -> Attribute

   Agda	Agda.Syntax.Concrete.Attribute

   No documentation available.

8. PolarityPragmasButNotPostulates :: Set1 Name -> DeclarationWarning'

   Agda	Agda.Syntax.Concrete.Definitions

   No documentation available.

9. PragmaCompiled :: Range -> DeclarationWarning'

   Agda	Agda.Syntax.Concrete.Definitions

   COMPILE pragmas are not allowed in safe mode.

10. PragmaNoTerminationCheck :: Range -> DeclarationWarning'

    Agda	Agda.Syntax.Concrete.Definitions

    Pragma {-# NO_TERMINATION_CHECK #-} has been replaced by {-# TERMINATING #-} and {-# NON_TERMINATING #-}.

Page 1122 of many | Previous | Next