PP.Grammars.Ebnf

AST for the EBNF language. Based on the grammar given in the ISO/IEC 14977:1996, page 10, part 8.2. Comments are valid in EBNF, but are not present in this AST.

AST

newtype Syntax

Start rule

Constructors

Syntax [SyntaxRule]

Instances

Eq Syntax

Methods

(==) :: Syntax -> Syntax -> Bool

(/=) :: Syntax -> Syntax -> Bool

Show Syntax

Methods

showsPrec :: Int -> Syntax -> ShowS

show :: Syntax -> String

showList :: [Syntax] -> ShowS

InputGrammar Syntax

Methods

parser :: Parsec String () Syntax

parseAst :: String -> To Syntax

stringify :: Syntax -> String

rules :: Syntax -> [Rule]

lexify :: Syntax -> Syntax

Inner ASTs

data SyntaxRule

Syntax rule

Constructors

SyntaxRule MetaIdentifier DefinitionsList

Defines the sequence of symbols represented by a MetaIdentifier

LexicalInner LexicalRule

Defines a lexical definition inside the EBNF grammar

Instances

Eq SyntaxRule

Methods

(==) :: SyntaxRule -> SyntaxRule -> Bool

(/=) :: SyntaxRule -> SyntaxRule -> Bool

Show SyntaxRule

Methods

showsPrec :: Int -> SyntaxRule -> ShowS

show :: SyntaxRule -> String

showList :: [SyntaxRule] -> ShowS

InputGrammar SyntaxRule

Methods

parser :: Parsec String () SyntaxRule

parseAst :: String -> To SyntaxRule

stringify :: SyntaxRule -> String

rules :: SyntaxRule -> [Rule]

lexify :: SyntaxRule -> SyntaxRule

newtype DefinitionsList

Separates alternative SingleDefinition

Constructors

DefinitionsList [SingleDefinition]

Instances

Eq DefinitionsList

Methods

(==) :: DefinitionsList -> DefinitionsList -> Bool

(/=) :: DefinitionsList -> DefinitionsList -> Bool

Show DefinitionsList

Methods

showsPrec :: Int -> DefinitionsList -> ShowS

show :: DefinitionsList -> String

showList :: [DefinitionsList] -> ShowS

InputGrammar DefinitionsList

Methods

parser :: Parsec String () DefinitionsList

parseAst :: String -> To DefinitionsList

stringify :: DefinitionsList -> String

rules :: DefinitionsList -> [Rule]

lexify :: DefinitionsList -> DefinitionsList

newtype SingleDefinition

Separates successive Term

Constructors

SingleDefinition [Term]

Instances

Eq SingleDefinition

Methods

(==) :: SingleDefinition -> SingleDefinition -> Bool

(/=) :: SingleDefinition -> SingleDefinition -> Bool

Show SingleDefinition

Methods

showsPrec :: Int -> SingleDefinition -> ShowS

show :: SingleDefinition -> String

showList :: [SingleDefinition] -> ShowS

InputGrammar SingleDefinition

Methods

parser :: Parsec String () SingleDefinition

parseAst :: String -> To SingleDefinition

stringify :: SingleDefinition -> String

rules :: SingleDefinition -> [Rule]

lexify :: SingleDefinition -> SingleDefinition

data Term

Represents any sequence of symbols that is defined by the Factor but not defined by the Exception

Constructors

Term Factor (Maybe Exception)

Instances

Eq Term

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

InputGrammar Term

Methods

parser :: Parsec String () Term

parseAst :: String -> To Term

stringify :: Term -> String

rules :: Term -> [Rule]

lexify :: Term -> Term

newtype Exception

A Factor may be used as an Exception if it could be replaced by a Factor containing no MetaIdentifier

Constructors

Exception Factor

Instances

Eq Exception

Methods

(==) :: Exception -> Exception -> Bool

(/=) :: Exception -> Exception -> Bool

Show Exception

Methods

showsPrec :: Int -> Exception -> ShowS

show :: Exception -> String

showList :: [Exception] -> ShowS

InputGrammar Exception

Methods

parser :: Parsec String () Exception

parseAst :: String -> To Exception

stringify :: Exception -> String

rules :: Exception -> [Rule]

lexify :: Exception -> Exception

data Factor

The Integer specifies the number of repetitions of the Primay

Constructors

Factor (Maybe Integer) Primary

Instances

Eq Factor

Methods

(==) :: Factor -> Factor -> Bool

(/=) :: Factor -> Factor -> Bool

Show Factor

Methods

showsPrec :: Int -> Factor -> ShowS

show :: Factor -> String

showList :: [Factor] -> ShowS

InputGrammar Factor

Methods

parser :: Parsec String () Factor

parseAst :: String -> To Factor

stringify :: Factor -> String

rules :: Factor -> [Rule]

lexify :: Factor -> Factor

data Primary

Primary

Constructors

OptionalSequence DefinitionsList

Encloses symbols which are optional

RepeatedSequence DefinitionsList

Encloses symbols which may be repeated any number of times

GroupedSequence DefinitionsList

Allows any DefinitionsList to be a Primary

PrimaryMetaIdentifier MetaIdentifier

A Primary can be a MetaIdentifier

TerminalString String

Represents the characters between the quote symbols ... or "..."

Empty

Empty Primary

Instances

Eq Primary

Methods

(==) :: Primary -> Primary -> Bool

(/=) :: Primary -> Primary -> Bool

Show Primary

Methods

showsPrec :: Int -> Primary -> ShowS

show :: Primary -> String

showList :: [Primary] -> ShowS

InputGrammar Primary

Methods

parser :: Parsec String () Primary

parseAst :: String -> To Primary

stringify :: Primary -> String

rules :: Primary -> [Rule]

lexify :: Primary -> Primary

newtype MetaIdentifier

A MetaIdentifier is the name of a syntactic element of the langage being defined

Constructors

MetaIdentifier String

Instances

Eq MetaIdentifier

Methods

(==) :: MetaIdentifier -> MetaIdentifier -> Bool

(/=) :: MetaIdentifier -> MetaIdentifier -> Bool

Show MetaIdentifier

Methods

showsPrec :: Int -> MetaIdentifier -> ShowS

show :: MetaIdentifier -> String

showList :: [MetaIdentifier] -> ShowS

InputGrammar MetaIdentifier

Methods

parser :: Parsec String () MetaIdentifier

parseAst :: String -> To MetaIdentifier

stringify :: MetaIdentifier -> String

rules :: MetaIdentifier -> [Rule]

lexify :: MetaIdentifier -> MetaIdentifier