Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. _optImportSorts :: PragmaOptions -> WithDefault 'True

   Agda	Agda.Interaction.Options

   Should every top-level module start with an implicit statement open import Agda.Primitive using (Set; Prop)?

2. _optImportSorts :: PragmaOptions -> WithDefault 'True

   Agda	Agda.Interaction.Options

   Should every top-level module start with an implicit statement open import Agda.Primitive using (Set; Prop)?

3. lensOptImportSorts :: Functor f => (WithDefault 'True -> f (WithDefault 'True)) -> PragmaOptions -> f PragmaOptions

   Agda	Agda.Interaction.Options

   No documentation available.

4. optImportSorts :: PragmaOptions -> Bool

   Agda	Agda.Interaction.Options

   optImportSorts requires optLoadPrimitives.

5. InvalidTypeSort_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

6. NotLeqSort_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

7. ShouldBeASort_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

8. UnequalSorts_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

9. CantGeneralizeOverSorts_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

10. TooManyArgumentsToSort_ :: WarningName

    Agda	Agda.Interaction.Options.Warnings

    No documentation available.

Page 165 of many | Previous | Next