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 ParseWarning

   Agda	Agda.Syntax.Parser

   Warnings for parsing.

2. data Parser a

   Agda	Agda.Syntax.Parser

   Wrapped Parser type.

3. type PreviousInput = AlexInput

   Agda	Agda.Syntax.Parser.Alex

   No documentation available.

4. type Processor = PositionWithoutFile -> String -> [Layer]

   Agda	Agda.Syntax.Parser.Literate

   Type of a literate preprocessor: Invariants:

   f : Processor
   

   proposition> f pos s /= [] proposition> f pos s >>= layerContent == s

5. PState :: SrcFile -> PositionWithoutFile -> PositionWithoutFile -> String -> Char -> String -> LayoutContext -> LayoutStatus -> Keyword -> [LexState] -> ParseFlags -> [ParseWarning] -> Attributes -> ParseState

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

6. data ParseError

   Agda	Agda.Syntax.Parser.Monad

   Parse errors: what you get if parsing fails.

7. ParseError :: SrcFile -> PositionWithoutFile -> String -> String -> String -> ParseError

   Agda	Agda.Syntax.Parser.Monad

   Errors that arise at a specific position in the file

8. ParseFailed :: ParseError -> ParseResult a

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

9. data ParseFlags

   Agda	Agda.Syntax.Parser.Monad

   Parser flags.

10. ParseFlags :: Bool -> ParseFlags

    Agda	Agda.Syntax.Parser.Monad

    No documentation available.

Page 1130 of many | Previous | Next