Safe Haskell	None

Text.Imparse.AbstractSyntax

Description

Imparse Cross-platform and -language parser generator.

Text/Imparse/AbstractSyntax.hs

Data structure for Imparse parser definitions.

Synopsis

Documentation

type Import = String Source

Parser data structure.

type NonTerminal = String Source

type Constructor = String Source

type WhitespaceParse = Bool Source

data Parser a Source

Constructors

Parser a [Import] [Production a]

Instances

Annotate Parser	Static analysis annotation setting and retrieval.
Eq a => Eq (Parser a)
Show (Parser a)	Functions for converting a parser into an ASCII string.
(ToHighlights a, ToMessages a) => ToReport (Parser a)	Functions for converting a parser abstract syntax instance into a rich report.
ToUxADT (Parser a)	Functions for converting a parser into a UXADT instance string.

data Production a Source

Constructors

Production a NonTerminal [Choices a]

Instances

Annotate Production
Eq a => Eq (Production a)
Show (Production a)
(ToHighlights a, ToMessages a) => ToReport (Production a)
ToUxADT (Production a)

data Choices a Source

Constructors

Choices a [Choice a]

Instances

Annotate Choices
Eq a => Eq (Choices a)
Show (Choices a)
(ToHighlights a, ToMessages a) => ToReport (Choices a)
ToUxADT (Choices a)

data Choice a Source

Constructors

Choice a (Maybe Constructor) Association [Element a]

Instances

Annotate Choice
Eq a => Eq (Choice a)
Show (Choice a)
(ToHighlights a, ToMessages a) => ToReport (Choice a)
ToUxADT (Choice a)

type Minimum = Integer Source

type Separator = String Source

type TerminalString = String Source

type RegularExpression = String Source

data Association Source

Constructors

AssocNone
AssocRight
AssocLeft
AssocFlat

Instances

Eq Association
Show Association

data Element a Source

Constructors

NonTerminal a NonTerminal
Many (Element a) (Maybe Separator)
May (Element a)
Indented WhitespaceParse (Element a)
Terminal Terminal
Error String

Instances

Annotate Element
Eq a => Eq (Element a)
Show (Element a)
(ToHighlights a, ToMessages a) => ToReport (Element a)
ToUxADT (Element a)

data Terminal Source

Constructors

Explicit String
StringLiteral
NaturalLiteral
DecimalLiteral
Identifier
Constructor
Flag
RegExp RegularExpression

Instances

Eq Terminal
Show Terminal
ToReport Terminal
ToUxADT Terminal

isOp :: String -> Bool Source

Functions for inspecting parser instances.

isData :: Element a -> Bool Source

terminals :: Parser a -> [Terminal]Source

productionNonTerminal :: Production a -> NonTerminal Source