Hydra.Grammar

A common API for BNF-based grammars

Documentation

newtype Constant

Constructors

Constant

Fields

• unConstant :: String

Instances

Read Constant

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Constant

readList :: ReadS [Constant]

readPrec :: ReadPrec Constant

readListPrec :: ReadPrec [Constant]

Show Constant

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Constant -> ShowS

show :: Constant -> String

showList :: [Constant] -> ShowS

Eq Constant

Defined in Hydra.Grammar

Methods

(==) :: Constant -> Constant -> Bool

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

Ord Constant

Defined in Hydra.Grammar

Methods

compare :: Constant -> Constant -> Ordering

(<) :: Constant -> Constant -> Bool

(<=) :: Constant -> Constant -> Bool

(>) :: Constant -> Constant -> Bool

(>=) :: Constant -> Constant -> Bool

max :: Constant -> Constant -> Constant

min :: Constant -> Constant -> Constant

_Constant :: Name

newtype Grammar

Constructors

Grammar

Fields

• unGrammar :: [Production]

Instances

Read Grammar

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Grammar

readList :: ReadS [Grammar]

readPrec :: ReadPrec Grammar

readListPrec :: ReadPrec [Grammar]

Show Grammar

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Grammar -> ShowS

show :: Grammar -> String

showList :: [Grammar] -> ShowS

Eq Grammar

Defined in Hydra.Grammar

Methods

(==) :: Grammar -> Grammar -> Bool

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

Ord Grammar

Defined in Hydra.Grammar

Methods

compare :: Grammar -> Grammar -> Ordering

(<) :: Grammar -> Grammar -> Bool

(<=) :: Grammar -> Grammar -> Bool

(>) :: Grammar -> Grammar -> Bool

(>=) :: Grammar -> Grammar -> Bool

max :: Grammar -> Grammar -> Grammar

min :: Grammar -> Grammar -> Grammar

_Grammar :: Name

newtype Label

Constructors

Label

Fields

• unLabel :: String

Instances

Read Label

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Label

readList :: ReadS [Label]

readPrec :: ReadPrec Label

readListPrec :: ReadPrec [Label]

Show Label

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

Eq Label

Defined in Hydra.Grammar

Methods

(==) :: Label -> Label -> Bool

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

Ord Label

Defined in Hydra.Grammar

Methods

compare :: Label -> Label -> Ordering

(<) :: Label -> Label -> Bool

(<=) :: Label -> Label -> Bool

(>) :: Label -> Label -> Bool

(>=) :: Label -> Label -> Bool

max :: Label -> Label -> Label

min :: Label -> Label -> Label

_Label :: Name

data LabeledPattern

Constructors

LabeledPattern

Fields

• labeledPatternLabel :: Label
• labeledPatternPattern :: Pattern

Instances

Read LabeledPattern

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS LabeledPattern

readList :: ReadS [LabeledPattern]

readPrec :: ReadPrec LabeledPattern

readListPrec :: ReadPrec [LabeledPattern]

Show LabeledPattern

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> LabeledPattern -> ShowS

show :: LabeledPattern -> String

showList :: [LabeledPattern] -> ShowS

Eq LabeledPattern

Defined in Hydra.Grammar

Methods

(==) :: LabeledPattern -> LabeledPattern -> Bool

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

Ord LabeledPattern

Defined in Hydra.Grammar

Methods

compare :: LabeledPattern -> LabeledPattern -> Ordering

(<) :: LabeledPattern -> LabeledPattern -> Bool

(<=) :: LabeledPattern -> LabeledPattern -> Bool

(>) :: LabeledPattern -> LabeledPattern -> Bool

(>=) :: LabeledPattern -> LabeledPattern -> Bool

max :: LabeledPattern -> LabeledPattern -> LabeledPattern

min :: LabeledPattern -> LabeledPattern -> LabeledPattern

_LabeledPattern :: Name

_LabeledPattern_label :: FieldName

_LabeledPattern_pattern :: FieldName

data Pattern

Constructors

PatternNil

PatternIgnored Pattern

PatternLabeled LabeledPattern

PatternConstant Constant

PatternRegex Regex

PatternNonterminal Symbol

PatternSequence [Pattern]

PatternAlternatives [Pattern]

PatternOption Pattern

PatternStar Pattern

PatternPlus Pattern

Instances

IsString Pattern

Defined in Hydra.Impl.Haskell.Dsl.Grammars

Methods

fromString :: String -> Pattern

Read Pattern

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Pattern

readList :: ReadS [Pattern]

readPrec :: ReadPrec Pattern

readListPrec :: ReadPrec [Pattern]

Show Pattern

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Pattern -> ShowS

show :: Pattern -> String

showList :: [Pattern] -> ShowS

Eq Pattern

Defined in Hydra.Grammar

Methods

(==) :: Pattern -> Pattern -> Bool

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

Ord Pattern

Defined in Hydra.Grammar

Methods

compare :: Pattern -> Pattern -> Ordering

(<) :: Pattern -> Pattern -> Bool

(<=) :: Pattern -> Pattern -> Bool

(>) :: Pattern -> Pattern -> Bool

(>=) :: Pattern -> Pattern -> Bool

max :: Pattern -> Pattern -> Pattern

min :: Pattern -> Pattern -> Pattern

_Pattern :: Name

_Pattern_nil :: FieldName

_Pattern_ignored :: FieldName

_Pattern_labeled :: FieldName

_Pattern_constant :: FieldName

_Pattern_regex :: FieldName

_Pattern_nonterminal :: FieldName

_Pattern_sequence :: FieldName

_Pattern_alternatives :: FieldName

_Pattern_option :: FieldName

_Pattern_star :: FieldName

_Pattern_plus :: FieldName

data Production

Constructors

Production

Fields

• productionSymbol :: Symbol
• productionPattern :: Pattern

Instances

Read Production

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Production

readList :: ReadS [Production]

readPrec :: ReadPrec Production

readListPrec :: ReadPrec [Production]

Show Production

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Production -> ShowS

show :: Production -> String

showList :: [Production] -> ShowS

Eq Production

Defined in Hydra.Grammar

Methods

(==) :: Production -> Production -> Bool

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

Ord Production

Defined in Hydra.Grammar

Methods

compare :: Production -> Production -> Ordering

(<) :: Production -> Production -> Bool

(<=) :: Production -> Production -> Bool

(>) :: Production -> Production -> Bool

(>=) :: Production -> Production -> Bool

max :: Production -> Production -> Production

min :: Production -> Production -> Production

_Production :: Name

_Production_symbol :: FieldName

_Production_pattern :: FieldName

newtype Regex

Constructors

Regex

Fields

• unRegex :: String

Instances

Read Regex

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Regex

readList :: ReadS [Regex]

readPrec :: ReadPrec Regex

readListPrec :: ReadPrec [Regex]

Show Regex

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Regex -> ShowS

show :: Regex -> String

showList :: [Regex] -> ShowS

Eq Regex

Defined in Hydra.Grammar

Methods

(==) :: Regex -> Regex -> Bool

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

Ord Regex

Defined in Hydra.Grammar

Methods

compare :: Regex -> Regex -> Ordering

(<) :: Regex -> Regex -> Bool

(<=) :: Regex -> Regex -> Bool

(>) :: Regex -> Regex -> Bool

(>=) :: Regex -> Regex -> Bool

max :: Regex -> Regex -> Regex

min :: Regex -> Regex -> Regex

_Regex :: Name

newtype Symbol

Constructors

Symbol

Fields

• unSymbol :: String

Instances

Read Symbol

Defined in Hydra.Grammar

Methods

readsPrec :: Int -> ReadS Symbol

readList :: ReadS [Symbol]

readPrec :: ReadPrec Symbol

readListPrec :: ReadPrec [Symbol]

Show Symbol

Defined in Hydra.Grammar

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Eq Symbol

Defined in Hydra.Grammar

Methods

(==) :: Symbol -> Symbol -> Bool

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

Ord Symbol

Defined in Hydra.Grammar

Methods

compare :: Symbol -> Symbol -> Ordering

(<) :: Symbol -> Symbol -> Bool

(<=) :: Symbol -> Symbol -> Bool

(>) :: Symbol -> Symbol -> Bool

(>=) :: Symbol -> Symbol -> Bool

max :: Symbol -> Symbol -> Symbol

min :: Symbol -> Symbol -> Symbol

_Symbol :: Name