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.

  1. module Agda.Syntax.Internal.Pattern

    No documentation available.

  2. class PatternLike a b

    Agda Agda.Syntax.Internal.Pattern

    Generic pattern traversal. Pre-applies a pattern modification, recurses, and post-applies another one.

  3. class PatternVarModalities p

    Agda Agda.Syntax.Internal.Pattern

    No documentation available.

  4. PostfixNotation :: NotationKind

    Agda Agda.Syntax.Notation

    Ex: bla_blub_.

  5. PrefixNotation :: NotationKind

    Agda Agda.Syntax.Notation

    Ex: _bla_blub.

  6. module Agda.Syntax.Parser

    No documentation available.

  7. newtype PM a

    Agda Agda.Syntax.Parser

    A monad for handling parse errors and warnings.

  8. PM :: ExceptT ParseError (StateT [ParseWarning] IO) a -> PM a

    Agda Agda.Syntax.Parser

    No documentation available.

  9. data ParseError

    Agda Agda.Syntax.Parser

    Parse errors: what you get if parsing fails.

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

    Agda Agda.Syntax.Parser

    Errors that arise at a specific position in the file

Page 1129 of many | Previous | Next