Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. CmpSorts :: Comparison -> b -> b -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

2. DataSort :: QName -> b -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

3. JustSort :: b -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

4. _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)?

5. _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)?

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

   Agda	Agda.Interaction.Options

   No documentation available.

7. optImportSorts :: PragmaOptions -> Bool

   Agda	Agda.Interaction.Options

   optImportSorts requires optLoadPrimitives.

8. InvalidTypeSort_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

9. NotLeqSort_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

10. ShouldBeASort_ :: ErrorName

    Agda	Agda.Interaction.Options.Errors

    No documentation available.

Page 165 of many | Previous | Next