Monad for parsing
Modulehaskell-src-1.0.4.1Haskell98
Language.Haskell.ParseMonad
Monads for the Haskell parser and lexer.
- 5 types
- 20 values
- Packagehaskell-src-1.0.4.1
- Exports25
- LanguageHaskell98
- LicenceBSD-3-Clause
- SourceParseMonad.hs
Parsing
11 declarationsThe 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.1 · Language.Haskell.ParseMonadFunctor ParseResultDefined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadApplicative ParseResultDefined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadShow a => Show (ParseResult a)Defined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadMonoid m => Semigroup (ParseResult m)Defined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadMonoid m => Monoid (ParseResult m)Defined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonad
Instances3Eq, Ord, Show
Eq LexContextDefined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadOrd LexContextDefined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadShow LexContextDefined in haskell-src-1.0.4.1 · 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
14 declarationsInstances4Monad, Functor, MonadFail, Applicative
Monad (Lex r)Defined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadFunctor (Lex r)Defined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadMonadFail (Lex r)Defined in haskell-src-1.0.4.1 · Language.Haskell.ParseMonadApplicative (Lex r)Defined in haskell-src-1.0.4.1 · 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.