Text.Imparse.AbstractSyntax

Documentation

type Import = String

type NonTerminal = String

type Constructor = String

type WhitespaceParse = Bool

data Parser a

Constructors

Parser a [Import] [Production a]

Instances

Annotated Parser

Eq a => Eq (Parser a)

Show (Parser a)

(ToHighlights a, ToMessages a) => ToReport (Parser a)

ToUxADT (Parser a)

data Production a

Constructors

Production a NonTerminal [Choices a]

Instances

Annotated Production

Eq a => Eq (Production a)

Show (Production a)

(ToHighlights a, ToMessages a) => ToReport (Production a)

ToUxADT (Production a)

data Choices a

Constructors

Choices a [Choice a]

Instances

Annotated Choices

Eq a => Eq (Choices a)

Show (Choices a)

(ToHighlights a, ToMessages a) => ToReport (Choices a)

ToUxADT (Choices a)

data Choice a

Constructors

Choice a (Maybe Constructor) Association [Element a]

Instances

Annotated Choice

Eq a => Eq (Choice a)

Show (Choice a)

(ToHighlights a, ToMessages a) => ToReport (Choice a)

ToUxADT (Choice a)

type Minimum = Integer

type Separator = String

type TerminalString = String

type RegularExpression = String

data Association

Constructors

AssocNone

AssocRight

AssocLeft

AssocFlat

Instances

Eq Association

Show Association

data Element a

Constructors

NonTerminal a NonTerminal

Many (Element a) (Maybe Separator)

May (Element a)

Indented WhitespaceParse (Element a)

Terminal Terminal

Error String

Instances

Annotated Element

Eq a => Eq (Element a)

Show (Element a)

(ToHighlights a, ToMessages a) => ToReport (Element a)

ToUxADT (Element a)

data Terminal

Constructors

Explicit String

StringLiteral

NaturalLiteral

DecimalLiteral

Identifier

Constructor

Flag

RegExp RegularExpression

Instances

Eq Terminal

Show Terminal

ToReport Terminal

ToUxADT Terminal

isData :: Element a -> Bool

terminals :: Parser a -> [Terminal]

productionNonTerminal :: Production a -> NonTerminal