Monad for parsing
Modulehaskell-src-1.0.4.2Haskell98
Language.Haskell.ParseMonad
Monads for the Haskell parser and lexer.
Synopsis
- newtype P
- data ParseResult
- value atSrcLoc
- data LexContext
- data ParseMode
- value defaultParseMode
- value runParserWithMode
- value runParser
- value getSrcLoc
- value pushCurrentContext
- value popContext
- newtype Lex
- value runL
- value getInput
- value discard
- value lexNewline
- value lexTab
- value lexWhile
- value alternative
- value checkBOL
- value setBOL
- value startToken
- value getOffside
- value pushContextL
- value popContextL
- Packagehaskell-src-1.0.4.2
- Exports25
- LanguageHaskell98
- LicenceBSD-3-Clause
- SourceParseMonad.hs
Parsing
The result of a parse.
Constructors
ParseOk aThe parse succeeded, yielding a value.
ParseFailed SrcLoc StringThe parse failed at the specified source location, with an error message.
Instances6Monad, Functor, Applicative, Show, Semigroup, Monoid
Monad ParseResultDefined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadFunctor ParseResultDefined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadApplicative ParseResultDefined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadShow a => Show (ParseResult a)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadMonoid m => Semigroup (ParseResult m)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadMonoid m => Monoid (ParseResult m)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonad
Instances3Eq, Ord, Show
Eq LexContextDefined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadOrd LexContextDefined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadShow LexContextDefined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonad
Static parameters governing a parse. More to come later, e.g. literate mode, language extensions.
Constructors
ParseModeparseFilename :: Stringoriginal name of the file being parsed
Default parameters for a parse, currently just a marker for an unknown filename.
Lexing
Instances4Monad, Functor, MonadFail, Applicative
Monad (Lex r)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadFunctor (Lex r)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadMonadFail (Lex r)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonadApplicative (Lex r)Defined in haskell-src-1.0.4.2 · Language.Haskell.ParseMonad
Discard some input characters (these must not include tabs or newlines).
Discard the next character, which must be a newline.
Discard the next character, which must be a tab.