Safe Haskell	Safe-Inferred
Language	GHC2021

Data.BAByNF.ABNF.Model

Documentation

newtype Rulelist Source #

Constructors

Rulelist [Rule]

Instances

Instances details

PrettyPrint Rulelist Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Rulelist -> String Source #
Show Rulelist Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Rulelist -> ShowS # show :: Rulelist -> String # showList :: [Rulelist] -> ShowS #
Eq Rulelist Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Rulelist -> Rulelist -> Bool # (/=) :: Rulelist -> Rulelist -> Bool #

data DefinedAs Source #

Constructors

BasicDefinition
IncrementalAlternative

Instances

Instances details

PrettyPrint DefinedAs Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: DefinedAs -> String Source #
Show DefinedAs Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> DefinedAs -> ShowS # show :: DefinedAs -> String # showList :: [DefinedAs] -> ShowS #
Eq DefinedAs Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: DefinedAs -> DefinedAs -> Bool # (/=) :: DefinedAs -> DefinedAs -> Bool #

data Rule Source #

Constructors

Rule Rulename DefinedAs Elements

Instances

Instances details

PrettyPrint Rule Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Rule -> String Source #
Show Rule Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #
Eq Rule Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Rule -> Rule -> Bool # (/=) :: Rule -> Rule -> Bool #

newtype Rulename Source #

Constructors

Rulename ByteString

Instances

Instances details

PrettyPrint Rulename Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Rulename -> String Source #
ToParseable Rulename Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Rulename -> Parseable Rulename Source #
Ref Rulename Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods eq :: Rulename -> Rulename -> Bool Source # display :: Rulename -> String Source #
Show Rulename Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Rulename -> ShowS # show :: Rulename -> String # showList :: [Rulename] -> ShowS #
Eq Rulename Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Rulename -> Rulename -> Bool # (/=) :: Rulename -> Rulename -> Bool #

newtype Elements Source #

Constructors

Elements Alternation

Instances

Instances details

PrettyPrint Elements Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Elements -> String Source #
Show Elements Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Elements -> ShowS # show :: Elements -> String # showList :: [Elements] -> ShowS #
Eq Elements Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Elements -> Elements -> Bool # (/=) :: Elements -> Elements -> Bool #

newtype Alternation Source #

Constructors

Alternation [Concatenation]

Instances

Instances details

PrettyPrint Alternation Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Alternation -> String Source #
ToParseable Alternation Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Alternation -> Parseable Rulename Source #
Show Alternation Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Alternation -> ShowS # show :: Alternation -> String # showList :: [Alternation] -> ShowS #
Eq Alternation Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Alternation -> Alternation -> Bool # (/=) :: Alternation -> Alternation -> Bool #

newtype Concatenation Source #

Constructors

Concatenation [Repetition]

Instances

Instances details

PrettyPrint Concatenation Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Concatenation -> String Source #
ToParseable Concatenation Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Concatenation -> Parseable Rulename Source #
Show Concatenation Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Concatenation -> ShowS # show :: Concatenation -> String # showList :: [Concatenation] -> ShowS #
Eq Concatenation Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Concatenation -> Concatenation -> Bool # (/=) :: Concatenation -> Concatenation -> Bool #

data Repetition Source #

Constructors

Repetition Repeat Element

Instances

Instances details

PrettyPrint Repetition Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Repetition -> String Source #
ToParseable Repetition Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Repetition -> Parseable Rulename Source #
Show Repetition Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Repetition -> ShowS # show :: Repetition -> String # showList :: [Repetition] -> ShowS #
Eq Repetition Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Repetition -> Repetition -> Bool # (/=) :: Repetition -> Repetition -> Bool #

data Repeat Source #

Constructors

NoRepeat
FixedRepeat Integer
RangedRepeat Bound Bound

Instances

Instances details

PrettyPrint Repeat Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Repeat -> String Source #
Show Repeat Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Repeat -> ShowS # show :: Repeat -> String # showList :: [Repeat] -> ShowS #
Eq Repeat Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Repeat -> Repeat -> Bool # (/=) :: Repeat -> Repeat -> Bool #

data Bound Source #

Constructors

UnBound
FixedBound Integer

Instances

Instances details

Show Bound Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Bound -> ShowS # show :: Bound -> String # showList :: [Bound] -> ShowS #
Eq Bound Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Bound -> Bound -> Bool # (/=) :: Bound -> Bound -> Bool #

data Element Source #

Constructors

RulenameElement Rulename
GroupElement Group
OptionElement Option
CharValElement CharVal
NumValElement NumVal
ProseValElement ProseVal

Instances

Instances details

PrettyPrint Element Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Element -> String Source #
ToParseable Element Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Element -> Parseable Rulename Source #
Show Element Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Element -> ShowS # show :: Element -> String # showList :: [Element] -> ShowS #
Eq Element Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Element -> Element -> Bool # (/=) :: Element -> Element -> Bool #

newtype Group Source #

Constructors

Group Alternation

Instances

Instances details

PrettyPrint Group Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Group -> String Source #
ToParseable Group Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Group -> Parseable Rulename Source #
Show Group Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Group -> ShowS # show :: Group -> String # showList :: [Group] -> ShowS #
Eq Group Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Group -> Group -> Bool # (/=) :: Group -> Group -> Bool #

newtype Option Source #

Constructors

Option Alternation

Instances

Instances details

PrettyPrint Option Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: Option -> String Source #
ToParseable Option Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: Option -> Parseable Rulename Source #
Show Option Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> Option -> ShowS # show :: Option -> String # showList :: [Option] -> ShowS #
Eq Option Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: Option -> Option -> Bool # (/=) :: Option -> Option -> Bool #

data CharVal Source #

Constructors

CaseInsensitiveCharVal CaseInsensitiveString
CaseSensitiveCharVal CaseSensitiveString

Instances

Instances details

PrettyPrint CharVal Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: CharVal -> String Source #
ToParseable CharVal Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: CharVal -> Parseable Rulename Source #
Show CharVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> CharVal -> ShowS # show :: CharVal -> String # showList :: [CharVal] -> ShowS #
Eq CharVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: CharVal -> CharVal -> Bool # (/=) :: CharVal -> CharVal -> Bool #

newtype CaseInsensitiveString Source #

Constructors

CaseInsensitiveString QuotedString

Instances

Instances details

PrettyPrint CaseInsensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: CaseInsensitiveString -> String Source #
ToParseable CaseInsensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: CaseInsensitiveString -> Parseable Rulename Source #
Show CaseInsensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> CaseInsensitiveString -> ShowS # show :: CaseInsensitiveString -> String # showList :: [CaseInsensitiveString] -> ShowS #
Eq CaseInsensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: CaseInsensitiveString -> CaseInsensitiveString -> Bool # (/=) :: CaseInsensitiveString -> CaseInsensitiveString -> Bool #

newtype CaseSensitiveString Source #

Constructors

CaseSensitiveString QuotedString

Instances

Instances details

PrettyPrint CaseSensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: CaseSensitiveString -> String Source #
ToParseable CaseSensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: CaseSensitiveString -> Parseable Rulename Source #
Show CaseSensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> CaseSensitiveString -> ShowS # show :: CaseSensitiveString -> String # showList :: [CaseSensitiveString] -> ShowS #
Eq CaseSensitiveString Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: CaseSensitiveString -> CaseSensitiveString -> Bool # (/=) :: CaseSensitiveString -> CaseSensitiveString -> Bool #

newtype QuotedString Source #

Constructors

QuotedString ByteString

Instances

Instances details

PrettyPrint QuotedString Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: QuotedString -> String Source #
Show QuotedString Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> QuotedString -> ShowS # show :: QuotedString -> String # showList :: [QuotedString] -> ShowS #
Eq QuotedString Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: QuotedString -> QuotedString -> Bool # (/=) :: QuotedString -> QuotedString -> Bool #

data NumVal Source #

Constructors

BinNumVal BinVal
DecNumVal DecVal
HexNumVal HexVal

Instances

Instances details

PrettyPrint NumVal Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: NumVal -> String Source #
ToParseable NumVal Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: NumVal -> Parseable Rulename Source #
Show NumVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> NumVal -> ShowS # show :: NumVal -> String # showList :: [NumVal] -> ShowS #
Eq NumVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: NumVal -> NumVal -> Bool # (/=) :: NumVal -> NumVal -> Bool #

data BinVal Source #

Constructors

SeqBinVal [Seq]
RangeBinVal Seq Seq

Instances

Instances details

PrettyPrint BinVal Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: BinVal -> String Source #
ToParseable BinVal Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: BinVal -> Parseable Rulename Source #
Show BinVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> BinVal -> ShowS # show :: BinVal -> String # showList :: [BinVal] -> ShowS #
Eq BinVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: BinVal -> BinVal -> Bool # (/=) :: BinVal -> BinVal -> Bool #

data DecVal Source #

Constructors

SeqDecVal [Seq]
RangeDecVal Seq Seq

Instances

Instances details

PrettyPrint DecVal Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: DecVal -> String Source #
ToParseable DecVal Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: DecVal -> Parseable Rulename Source #
Show DecVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> DecVal -> ShowS # show :: DecVal -> String # showList :: [DecVal] -> ShowS #
Eq DecVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: DecVal -> DecVal -> Bool # (/=) :: DecVal -> DecVal -> Bool #

data HexVal Source #

Constructors

SeqHexVal [Seq]
RangeHexVal Seq Seq

Instances

Instances details

PrettyPrint HexVal Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: HexVal -> String Source #
ToParseable HexVal Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: HexVal -> Parseable Rulename Source #
Show HexVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> HexVal -> ShowS # show :: HexVal -> String # showList :: [HexVal] -> ShowS #
Eq HexVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: HexVal -> HexVal -> Bool # (/=) :: HexVal -> HexVal -> Bool #

newtype ProseVal Source #

Constructors

ProseVal ByteString

Instances

Instances details

PrettyPrint ProseVal Source #
Instance details Defined in Data.BAByNF.ABNF.PrettyPrint Methods prettyPrint :: ProseVal -> String Source #
ToParseable ProseVal Source #
Instance details Defined in Data.BAByNF.ABNF.ToParseable Methods toParseable :: ProseVal -> Parseable Rulename Source #
Show ProseVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods showsPrec :: Int -> ProseVal -> ShowS # show :: ProseVal -> String # showList :: [ProseVal] -> ShowS #
Eq ProseVal Source #
Instance details Defined in Data.BAByNF.ABNF.Model Methods (==) :: ProseVal -> ProseVal -> Bool # (/=) :: ProseVal -> ProseVal -> Bool #