Text.ABNF.ABNF.Types

These types are used by the parser and are loosely modeled after the ABNF privded in RFC 5234

Documentation

data Rule

A Rule represents a single entry in your ABNF. It could, for example, look like this:

CRLF = %x0D.0A

Constructors

Rule Text DefinedAs SumSpec

Instances

Eq Rule

Methods

(==) :: Rule -> Rule -> Bool

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

Show Rule

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

Pretty Rule

Methods

prettyShow :: Rule -> String

data SumSpec

Constructors

SumSpec [ProductSpec]

Instances

Eq SumSpec

Methods

(==) :: SumSpec -> SumSpec -> Bool

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

Show SumSpec

Methods

showsPrec :: Int -> SumSpec -> ShowS

show :: SumSpec -> String

showList :: [SumSpec] -> ShowS

Pretty SumSpec

Methods

prettyShow :: SumSpec -> String

data ProductSpec

Constructors

ProductSpec [Repetition]

Instances

Eq ProductSpec

Methods

(==) :: ProductSpec -> ProductSpec -> Bool

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

Show ProductSpec

Methods

showsPrec :: Int -> ProductSpec -> ShowS

show :: ProductSpec -> String

showList :: [ProductSpec] -> ShowS

Pretty ProductSpec

Methods

prettyShow :: ProductSpec -> String

data Repetition

Constructors

Repetition Repeat Element

Instances

Eq Repetition

Methods

(==) :: Repetition -> Repetition -> Bool

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

Show Repetition

Methods

showsPrec :: Int -> Repetition -> ShowS

show :: Repetition -> String

showList :: [Repetition] -> ShowS

Pretty Repetition

Methods

prettyShow :: Repetition -> String

data Repeat

Constructors

Repeat Int (Maybe Int)

Instances

Eq Repeat

Methods

(==) :: Repeat -> Repeat -> Bool

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

Show Repeat

Methods

showsPrec :: Int -> Repeat -> ShowS

show :: Repeat -> String

showList :: [Repeat] -> ShowS

Pretty Repeat

Methods

prettyShow :: Repeat -> String

data Element

Constructors

RuleElement' Text

RuleElement Rule

GroupElement Group

OptionElement Group

LiteralElement Literal

Instances

Eq Element

Methods

(==) :: Element -> Element -> Bool

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

Show Element

Methods

showsPrec :: Int -> Element -> ShowS

show :: Element -> String

showList :: [Element] -> ShowS

Pretty Element

Methods

prettyShow :: Element -> String

data Group

Constructors

Group SumSpec

Instances

Eq Group

Methods

(==) :: Group -> Group -> Bool

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

Show Group

Methods

showsPrec :: Int -> Group -> ShowS

show :: Group -> String

showList :: [Group] -> ShowS

Pretty Group

Methods

prettyShow :: Group -> String

data Literal

Constructors

CharLit Text

NumLit NumLit

Instances

Eq Literal

Methods

(==) :: Literal -> Literal -> Bool

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

Show Literal

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Pretty Literal

Methods

prettyShow :: Literal -> String

data NumLit

Constructors

IntLit [Int]

RangeLit Int Int

Instances

Eq NumLit

Methods

(==) :: NumLit -> NumLit -> Bool

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

Show NumLit

Methods

showsPrec :: Int -> NumLit -> ShowS

show :: NumLit -> String

showList :: [NumLit] -> ShowS

Pretty NumLit

Methods

prettyShow :: NumLit -> String

data DefinedAs

Constructors

Equals

Adds

Instances

Eq DefinedAs

Methods

(==) :: DefinedAs -> DefinedAs -> Bool

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

Show DefinedAs

Methods

showsPrec :: Int -> DefinedAs -> ShowS

show :: DefinedAs -> String

showList :: [DefinedAs] -> ShowS

Pretty DefinedAs

Methods

prettyShow :: DefinedAs -> String