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. Partial :: Level

   Agda	Agda.Interaction.Highlighting.Generate

   Highlighting without disambiguation of overloaded constructors.

2. module Agda.Interaction.Highlighting.Precise

   Types used for precise syntax highlighting.

3. newtype PositionMap

   Agda	Agda.Interaction.Highlighting.Precise

   Syntax highlighting information, represented by maps from positions to Aspects. The first position in the file has number 1.

4. PositionMap :: IntMap Aspects -> PositionMap

   Agda	Agda.Interaction.Highlighting.Precise

   No documentation available.

5. PositivityProblem :: OtherAspect

   Agda	Agda.Interaction.Highlighting.Precise

   No documentation available.

6. Postulate :: NameKind

   Agda	Agda.Interaction.Highlighting.Precise

   No documentation available.

7. Pragma :: Aspect

   Agda	Agda.Interaction.Highlighting.Precise

   Text occurring in pragmas that does not have a more specific aspect.

8. Primitive :: NameKind

   Agda	Agda.Interaction.Highlighting.Precise

   Primitive.

9. PrimitiveType :: Aspect

   Agda	Agda.Interaction.Highlighting.Precise

   Things like Set and Prop.

10. data ProjectConfig

    Agda	Agda.Interaction.Library

    A file can either belong to a project located at a given root containing an .agda-lib file, or be part of the default project.

Page 1100 of many | Previous | Next