Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Grammar

Description

A common API for BNF-based grammars, specifying context-free languages

Synopsis

newtype Constant = Constant {
- unConstant :: String
}
_Constant :: Name
newtype Grammar = Grammar {
- unGrammar :: [Production]
}
_Grammar :: Name
newtype Label = Label {
- unLabel :: String
}
_Label :: Name
data LabeledPattern = LabeledPattern {
- labeledPatternLabel :: Label
- labeledPatternPattern :: Pattern
}
_LabeledPattern :: Name
_LabeledPattern_label :: FieldName
_LabeledPattern_pattern :: FieldName
data Pattern
- = PatternNil
- | PatternIgnored Pattern
- | PatternLabeled LabeledPattern
- | PatternConstant Constant
- | PatternRegex Regex
- | PatternNonterminal Symbol
- | PatternSequence [Pattern]
- | PatternAlternatives [Pattern]
- | PatternOption Pattern
- | PatternStar Pattern
- | PatternPlus 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 = Production {
- productionSymbol :: Symbol
- productionPattern :: Pattern
}
_Production :: Name
_Production_symbol :: FieldName
_Production_pattern :: FieldName
newtype Regex = Regex {
- unRegex :: String
}
_Regex :: Name
newtype Symbol = Symbol {
- unSymbol :: String
}
_Symbol :: Name

Documentation

newtype Constant Source #

A constant pattern

Constructors

Constant
Fields unConstant :: String A constant pattern

Instances

Instances details

Read Constant Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Constant # readList :: ReadS [Constant] # readPrec :: ReadPrec Constant # readListPrec :: ReadPrec [Constant] #
Show Constant Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Constant -> ShowS # show :: Constant -> String # showList :: [Constant] -> ShowS #
Eq Constant Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Constant -> Constant -> Bool # (/=) :: Constant -> Constant -> Bool #
Ord Constant Source #
Instance details 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 Source #

newtype Grammar Source #

An enhanced Backus-Naur form (BNF) grammar

Constructors

Grammar
Fields unGrammar :: [Production] An enhanced Backus-Naur form (BNF) grammar

Instances

Instances details

Read Grammar Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Grammar # readList :: ReadS [Grammar] # readPrec :: ReadPrec Grammar # readListPrec :: ReadPrec [Grammar] #
Show Grammar Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Grammar -> ShowS # show :: Grammar -> String # showList :: [Grammar] -> ShowS #
Eq Grammar Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Grammar -> Grammar -> Bool # (/=) :: Grammar -> Grammar -> Bool #
Ord Grammar Source #
Instance details 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 Source #

newtype Label Source #

A name for a pattern

Constructors

Label
Fields unLabel :: String A name for a pattern

Instances

Instances details

Read Label Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Label # readList :: ReadS [Label] # readPrec :: ReadPrec Label # readListPrec :: ReadPrec [Label] #
Show Label Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Eq Label Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details 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 Source #

data LabeledPattern Source #

A pattern together with a name (label)

Constructors

LabeledPattern
Fields labeledPatternLabel :: Label labeledPatternPattern :: Pattern

Instances

Instances details

Read LabeledPattern Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS LabeledPattern # readList :: ReadS [LabeledPattern] # readPrec :: ReadPrec LabeledPattern # readListPrec :: ReadPrec [LabeledPattern] #
Show LabeledPattern Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> LabeledPattern -> ShowS # show :: LabeledPattern -> String # showList :: [LabeledPattern] -> ShowS #
Eq LabeledPattern Source #
Instance details Defined in Hydra.Grammar Methods (==) :: LabeledPattern -> LabeledPattern -> Bool # (/=) :: LabeledPattern -> LabeledPattern -> Bool #
Ord LabeledPattern Source #
Instance details 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 Source #

_LabeledPattern_label :: FieldName Source #

_LabeledPattern_pattern :: FieldName Source #

data Pattern Source #

A pattern which matches valid expressions in the language

Instances

Instances details

IsString Pattern Source #
Instance details Defined in Hydra.Impl.Haskell.Dsl.Grammars Methods fromString :: String -> Pattern #
Read Pattern Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Pattern # readList :: ReadS [Pattern] # readPrec :: ReadPrec Pattern # readListPrec :: ReadPrec [Pattern] #
Show Pattern Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Pattern -> ShowS # show :: Pattern -> String # showList :: [Pattern] -> ShowS #
Eq Pattern Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Pattern -> Pattern -> Bool # (/=) :: Pattern -> Pattern -> Bool #
Ord Pattern Source #
Instance details 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 Source #

_Pattern_nil :: FieldName Source #

_Pattern_ignored :: FieldName Source #

_Pattern_labeled :: FieldName Source #

_Pattern_constant :: FieldName Source #

_Pattern_regex :: FieldName Source #

_Pattern_nonterminal :: FieldName Source #

_Pattern_sequence :: FieldName Source #

_Pattern_alternatives :: FieldName Source #

_Pattern_option :: FieldName Source #

_Pattern_star :: FieldName Source #

_Pattern_plus :: FieldName Source #

data Production Source #

A BNF production

Constructors

Production
Fields productionSymbol :: Symbol productionPattern :: Pattern

Instances

Instances details

Read Production Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Production # readList :: ReadS [Production] # readPrec :: ReadPrec Production # readListPrec :: ReadPrec [Production] #
Show Production Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Production -> ShowS # show :: Production -> String # showList :: [Production] -> ShowS #
Eq Production Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Production -> Production -> Bool # (/=) :: Production -> Production -> Bool #
Ord Production Source #
Instance details 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 Source #

_Production_symbol :: FieldName Source #

_Production_pattern :: FieldName Source #

newtype Regex Source #

A regular expression

Constructors

Regex
Fields unRegex :: String A regular expression

Instances

Instances details

Read Regex Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Regex # readList :: ReadS [Regex] # readPrec :: ReadPrec Regex # readListPrec :: ReadPrec [Regex] #
Show Regex Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Regex -> ShowS # show :: Regex -> String # showList :: [Regex] -> ShowS #
Eq Regex Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Regex -> Regex -> Bool # (/=) :: Regex -> Regex -> Bool #
Ord Regex Source #
Instance details 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 Source #

newtype Symbol Source #

A nonterminal symbol

Constructors

Symbol
Fields unSymbol :: String A nonterminal symbol

Instances

Instances details

Read Symbol Source #
Instance details Defined in Hydra.Grammar Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in Hydra.Grammar Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
Eq Symbol Source #
Instance details Defined in Hydra.Grammar Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details 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 Source #

PatternNil
PatternIgnored Pattern
PatternLabeled LabeledPattern
PatternConstant Constant
PatternRegex Regex
PatternNonterminal Symbol
PatternSequence [Pattern]
PatternAlternatives [Pattern]
PatternOption Pattern
PatternStar Pattern
PatternPlus Pattern