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 IdentitySource

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.