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 ParseSections

   Agda	Agda.Syntax.Concrete.Operators.Parser

   Should sections be parsed?

2. ParseSections :: ParseSections

   Agda	Agda.Syntax.Concrete.Operators.Parser

   No documentation available.

3. Post :: NK 'PostfixNotation

   Agda	Agda.Syntax.Concrete.Operators.Parser

   No documentation available.

4. Pre :: NK 'PrefixNotation

   Agda	Agda.Syntax.Concrete.Operators.Parser

   No documentation available.

5. type Parser tok a = Parser MemoKey tok MaybePlaceholder tok a

   Agda	Agda.Syntax.Concrete.Operators.Parser.Monad

   The parser monad.

6. PostLeftsK :: PrecedenceKey -> MemoKey

   Agda	Agda.Syntax.Concrete.Operators.Parser.Monad

   No documentation available.

7. PreRightsK :: PrecedenceKey -> MemoKey

   Agda	Agda.Syntax.Concrete.Operators.Parser.Monad

   No documentation available.

8. type PrecedenceKey = Either PrecedenceLevel PrecedenceLevel

   Agda	Agda.Syntax.Concrete.Operators.Parser.Monad

   No documentation available.

9. module Agda.Syntax.Concrete.Pattern

   Tools for patterns in concrete syntax.

10. module Agda.Syntax.Concrete.Pretty

    Pretty printer for the concrete syntax.

Page 1124 of many | Previous | Next