parsec-3.1.3: Monadic parser combinators

Portability | portable
Stability | provisional
Maintainer | derek.a.elkins@gmail.com
Safe Haskell | Safe-Inferred

Text.ParserCombinators.Parsec.Language

Description

Parsec compatibility module

Synopsis

- haskellDef :: LanguageDef st
- haskell :: TokenParser st
- mondrianDef :: LanguageDef st
- mondrian :: TokenParser st
- emptyDef :: LanguageDef st
- haskellStyle :: LanguageDef st
- javaStyle :: LanguageDef st
- type LanguageDef st = GenLanguageDef String st Identity
- data GenLanguageDef s u m = LanguageDef {
  - commentStart :: String
  - commentEnd :: String
  - commentLine :: String
  - nestedComments :: Bool
  - identStart :: ParsecT s u m Char
  - identLetter :: ParsecT s u m Char
  - opStart :: ParsecT s u m Char
  - opLetter :: ParsecT s u m Char
  - reservedNames :: [String]
  - reservedOpNames :: [String]
  - caseSensitive :: Bool
  }

# Documentation

haskellDef :: LanguageDef stSource

The language definition for the Haskell language.

haskell :: TokenParser stSource

A lexer for the haskell language.

mondrianDef :: LanguageDef stSource

The language definition for the language Mondrian.

mondrian :: TokenParser stSource

A lexer for the mondrian language.

emptyDef :: LanguageDef stSource

haskellStyle :: LanguageDef stSource

This is a minimal token definition for Haskell style languages. It defines the style of comments, valid identifiers and case sensitivity. It does not define any reserved words or operators.

javaStyle :: LanguageDef stSource

This is a minimal token definition for Java style languages. It defines the style of comments, valid identifiers and case sensitivity. It does not define any reserved words or operators.

type LanguageDef st = GenLanguageDef String st Identity Source

data GenLanguageDef s u m Source

The `GenLanguageDef` type is a record that contains all parameterizable features of the `Token` module. The module `Language` contains some default definitions.

Constructors

LanguageDef |
Fields commentStart :: String Describes the start of a block comment. Use the empty string if the language doesn't support block comments. For example "/*". commentEnd :: String Describes the end of a block comment. Use the empty string if the language doesn't support block comments. For example "*/". commentLine :: String Describes the start of a line comment. Use the empty string if the language doesn't support line comments. For example "//". nestedComments :: Bool Set to `True` if the language supports nested block comments. identStart :: ParsecT s u m Char This parser should accept any start characters of identifiers. For example `letter <|> char "_"`. identLetter :: ParsecT s u m Char This parser should accept any legal tail characters of identifiers. For example `alphaNum <|> char "_"`. opStart :: ParsecT s u m Char This parser should accept any start characters of operators. For example `oneOf ":!#$%&*+./<=>?@\\^|-~"` opLetter :: ParsecT s u m Char This parser should accept any legal tail characters of operators. Note that this parser should even be defined if the language doesn't support user-defined operators, or otherwise the `reservedOp` parser won't work correctly. reservedNames :: [String] The list of reserved identifiers. reservedOpNames :: [String] The list of reserved operators. caseSensitive :: Bool Set to `True` if the language is case sensitive.