Sdf2HaskellContentsIndex
Sdf
Contents
Generated by DrIFT : Look, but Don't Touch. *
Synopsis
data Grammar
= Sdf_aliases Aliases
| Sdf_restrictions Restrictions
| Sdf_sorts_ Symbols
| Sdf_priorities Priorities
| Sdf_imp_section ImpSection
| Sdf_lexical_syntax Productions
| Sdf_context_free_syntax Productions
| Sdf_variables Productions
| Sdf_lexical_variables Productions
| Sdf_empty_grammar
| Sdf_conc_grammars Grammar Grammar
| Sdf_syntax Productions
| Sdf_lexical_priorities Priorities
| Sdf_context_free_priorities Priorities
| Sdf_lexical_restrictions Restrictions
| Sdf_context_free_restrictions Restrictions
data Alias = Sdf_alias Symbol Symbol
data Aliases = Sdf_list [Alias]
data Lookahead
= Sdf_char_class CharClass
| Sdf_seq CharClass Lookaheads
data Lookaheads
= Sdf_single Lookahead
| Sdf_alt Lookaheads Lookaheads
| Sdf_list1 [Lookahead]
data Restriction = Sdf_follow Symbols Lookaheads
data Restrictions = Sdf_list2 [Restriction]
data Attribute
= Sdf_reject
| Sdf_prefer
| Sdf_avoid
| Sdf_cons1 ATerm'
| Sdf_constructor
| Sdf_memo
| Sdf_traverse
| Sdf_bracket
| Sdf_atr Associativity
| Sdf_id ModuleName
data OptExp
= Sdf_present IntCon
| Sdf_absent
data RealCon = Sdf_real_con IntCon NatCon OptExp
data AFun = Sdf_Literal Literal
data ATerm' = Sdf_fun AFun
data Symbol
= Sdf_label Literal Symbol
| Sdf_lit Literal
| Sdf_sort Sort
| Sdf_char_class1 CharClass
| Sdf_empty1
| Sdf_seq1 Symbol [Symbol]
| Sdf_opt Symbol
| Sdf_iter Symbol
| Sdf_iter_star Symbol
| Sdf_iter_sep Symbol Symbol
| Sdf_iter_star_sep Symbol Symbol
| Sdf_iter_n Symbol NatCon
| Sdf_iter_sep_n Symbol Symbol NatCon
| Sdf_set Symbol
| Sdf_pair Symbol Symbol
| Sdf_func Symbols Symbol
| Sdf_alt1 Symbol Symbol
| Sdf_perm Symbols
| Sdf_cf Symbol
| Sdf_lex Symbol
| Sdf_varsym Symbol
| Sdf_layout
| Sdf_start
| Sdf_file_start
data Literal
= Sdf_quoted QLiteral
| Sdf_uqlit UQLiteral
data Production
= Sdf_prod_fun Literal [Symbol] Symbol Attributes
| Sdf_prod Symbols Symbol Attributes
data Character
= Sdf_numeric NumChar
| Sdf_short ShortChar
| Sdf_top
| Sdf_eof
| Sdf_bot
| Sdf_label_start
data CharRange
= Sdf_Character Character
| Sdf_range Character Character
data CharRanges
= Sdf_CharRange CharRange
| Sdf_conc CharRanges CharRanges
data OptCharRanges
= Sdf_absent1
| Sdf_present1 CharRanges
data CharClass
= Sdf_simple_charclass OptCharRanges
| Sdf_comp CharClass
| Sdf_diff CharClass CharClass
| Sdf_isect CharClass CharClass
| Sdf_union CharClass CharClass
data Associativity
= Sdf_left
| Sdf_right
| Sdf_non_assoc
| Sdf_assoc
data Group
= Sdf_simple_group Production
| Sdf_prods_group Productions
| Sdf_assoc_group Associativity Productions
data Priority
= Sdf_chain [Group]
| Sdf_assoc1 Group Associativity Group
data Priorities = Sdf_comma [Priority]
data IntCon
= Sdf_natural NatCon
| Sdf_positive NatCon
| Sdf_negative NatCon
data Renamings = Sdf_renamings [Renaming]
data Renaming
= Sdf_symbol Symbol Symbol
| Sdf_production Production Production
data Definition = Sdf_list4 [Module]
data Module = Sdf_module_ ModuleName [ImpSection] Sections
data Section
= Sdf_exports_ Grammar
| Sdf_hiddens Grammar
data Sections = Sdf_list5 [Section]
data ModuleName
= Sdf_unparameterized ModuleId
| Sdf_parameterized ModuleId Symbols
data ImpSection = Sdf_imports_ Imports
data Imports = Sdf_list6 [Import]
data Import
= Sdf_module1 ModuleName
| Sdf_renamed_module ModuleName Renamings
data Symbols = Sdf_list7 [Symbol]
data Attributes
= Sdf_attrs [Attribute]
| Sdf_no_attrs
data Productions = Sdf_list8 [Production]
data SDF = Sdf_definition Definition
type AlphaNumericalEscChar = String
type DecimalEscChar = String
type EscChar = String
type L_Char = String
type QLiteral = String
type UQLiteral = String
type Sort = String
type NumChar = String
type ShortChar = String
type NatCon = String
type ModuleWord = String
type ModuleId = String
Documentation
data Grammar
Constructors
Sdf_aliases Aliases
Sdf_restrictions Restrictions
Sdf_sorts_ Symbols
Sdf_priorities Priorities
Sdf_imp_section ImpSection
Sdf_lexical_syntax Productions
Sdf_context_free_syntax Productions
Sdf_variables Productions
Sdf_lexical_variables Productions
Sdf_empty_grammar
Sdf_conc_grammars Grammar Grammar
Sdf_syntax Productions
Sdf_lexical_priorities Priorities
Sdf_context_free_priorities Priorities
Sdf_lexical_restrictions Restrictions
Sdf_context_free_restrictions Restrictions
Instances
Show Grammar
ATermConvertible Grammar
Term Grammar
Typeable Grammar
PP Grammar
data Alias
Constructors
Sdf_alias Symbol Symbol
Instances
Show Alias
ATermConvertible Alias
Term Alias
Typeable Alias
PP Alias
data Aliases
Constructors
Sdf_list [Alias]
Instances
Show Aliases
ATermConvertible Aliases
Term Aliases
Typeable Aliases
PP Aliases
data Lookahead
Constructors
Sdf_char_class CharClass
Sdf_seq CharClass Lookaheads
Instances
Show Lookahead
ATermConvertible Lookahead
Term Lookahead
Typeable Lookahead
PP Lookahead
data Lookaheads
Constructors
Sdf_single Lookahead
Sdf_alt Lookaheads Lookaheads
Sdf_list1 [Lookahead]
Instances
Show Lookaheads
ATermConvertible Lookaheads
Term Lookaheads
Typeable Lookaheads
PP Lookaheads
data Restriction
Constructors
Sdf_follow Symbols Lookaheads
Instances
Show Restriction
ATermConvertible Restriction
Term Restriction
Typeable Restriction
PP Restriction
data Restrictions
Constructors
Sdf_list2 [Restriction]
Instances
Show Restrictions
ATermConvertible Restrictions
Term Restrictions
Typeable Restrictions
PP Restrictions
data Attribute
Constructors
Sdf_reject
Sdf_prefer
Sdf_avoid
Sdf_cons1 ATerm'
Sdf_constructor
Sdf_memo
Sdf_traverse
Sdf_bracket
Sdf_atr Associativity
Sdf_id ModuleName
Instances
Show Attribute
ATermConvertible Attribute
Term Attribute
Typeable Attribute
PP Attribute
data OptExp
Constructors
Sdf_present IntCon
Sdf_absent
Instances
Show OptExp
ATermConvertible OptExp
Term OptExp
Typeable OptExp
PP OptExp
data RealCon
Constructors
Sdf_real_con IntCon NatCon OptExp
Instances
Show RealCon
ATermConvertible RealCon
Term RealCon
Typeable RealCon
PP RealCon
data AFun
Constructors
Sdf_Literal Literal
Instances
Show AFun
ATermConvertible AFun
Term AFun
Typeable AFun
PP AFun
data ATerm'
Constructors
Sdf_fun AFun
Instances
Show ATerm'
ATermConvertible ATerm'
Term ATerm'
Typeable ATerm'
PP ATerm'
data Symbol
Constructors
Sdf_label Literal Symbol
Sdf_lit Literal
Sdf_sort Sort
Sdf_char_class1 CharClass
Sdf_empty1
Sdf_seq1 Symbol [Symbol]
Sdf_opt Symbol
Sdf_iter Symbol
Sdf_iter_star Symbol
Sdf_iter_sep Symbol Symbol
Sdf_iter_star_sep Symbol Symbol
Sdf_iter_n Symbol NatCon
Sdf_iter_sep_n Symbol Symbol NatCon
Sdf_set Symbol
Sdf_pair Symbol Symbol
Sdf_func Symbols Symbol
Sdf_alt1 Symbol Symbol
Sdf_perm Symbols
Sdf_cf Symbol
Sdf_lex Symbol
Sdf_varsym Symbol
Sdf_layout
Sdf_start
Sdf_file_start
Instances
Show Symbol
ATermConvertible Symbol
Term Symbol
Typeable Symbol
PP Symbol
data Literal
Constructors
Sdf_quoted QLiteral
Sdf_uqlit UQLiteral
Instances
Show Literal
ATermConvertible Literal
Term Literal
Typeable Literal
PP Literal
data Production
Constructors
Sdf_prod_fun Literal [Symbol] Symbol Attributes
Sdf_prod Symbols Symbol Attributes
Instances
Show Production
ATermConvertible Production
Term Production
Typeable Production
PP Production
data Character
Constructors
Sdf_numeric NumChar
Sdf_short ShortChar
Sdf_top
Sdf_eof
Sdf_bot
Sdf_label_start
Instances
Show Character
ATermConvertible Character
Term Character
Typeable Character
PP Character
data CharRange
Constructors
Sdf_Character Character
Sdf_range Character Character
Instances
Show CharRange
ATermConvertible CharRange
Term CharRange
Typeable CharRange
PP CharRange
data CharRanges
Constructors
Sdf_CharRange CharRange
Sdf_conc CharRanges CharRanges
Instances
Show CharRanges
ATermConvertible CharRanges
Term CharRanges
Typeable CharRanges
PP CharRanges
data OptCharRanges
Constructors
Sdf_absent1
Sdf_present1 CharRanges
Instances
Show OptCharRanges
ATermConvertible OptCharRanges
Term OptCharRanges
Typeable OptCharRanges
PP OptCharRanges
data CharClass
Constructors
Sdf_simple_charclass OptCharRanges
Sdf_comp CharClass
Sdf_diff CharClass CharClass
Sdf_isect CharClass CharClass
Sdf_union CharClass CharClass
Instances
Show CharClass
ATermConvertible CharClass
Term CharClass
Typeable CharClass
PP CharClass
data Associativity
Constructors
Sdf_left
Sdf_right
Sdf_non_assoc
Sdf_assoc
Instances
Show Associativity
ATermConvertible Associativity
Term Associativity
Typeable Associativity
PP Associativity
data Group
Constructors
Sdf_simple_group Production
Sdf_prods_group Productions
Sdf_assoc_group Associativity Productions
Instances
Show Group
ATermConvertible Group
Term Group
Typeable Group
PP Group
data Priority
Constructors
Sdf_chain [Group]
Sdf_assoc1 Group Associativity Group
Instances
Show Priority
ATermConvertible Priority
Term Priority
Typeable Priority
PP Priority
data Priorities
Constructors
Sdf_comma [Priority]
Instances
Show Priorities
ATermConvertible Priorities
Term Priorities
Typeable Priorities
PP Priorities
data IntCon
Constructors
Sdf_natural NatCon
Sdf_positive NatCon
Sdf_negative NatCon
Instances
Show IntCon
ATermConvertible IntCon
Term IntCon
Typeable IntCon
PP IntCon
data Renamings
Constructors
Sdf_renamings [Renaming]
Instances
Show Renamings
ATermConvertible Renamings
Term Renamings
Typeable Renamings
PP Renamings
data Renaming
Constructors
Sdf_symbol Symbol Symbol
Sdf_production Production Production
Instances
Show Renaming
ATermConvertible Renaming
Term Renaming
Typeable Renaming
PP Renaming
data Definition
Constructors
Sdf_list4 [Module]
Instances
Show Definition
ATermConvertible Definition
Term Definition
Typeable Definition
PP Definition
data Module
Constructors
Sdf_module_ ModuleName [ImpSection] Sections
Instances
Show Module
ATermConvertible Module
Term Module
Typeable Module
PP Module
data Section
Constructors
Sdf_exports_ Grammar
Sdf_hiddens Grammar
Instances
Show Section
ATermConvertible Section
Term Section
Typeable Section
PP Section
data Sections
Constructors
Sdf_list5 [Section]
Instances
Show Sections
ATermConvertible Sections
Term Sections
Typeable Sections
PP Sections
data ModuleName
Constructors
Sdf_unparameterized ModuleId
Sdf_parameterized ModuleId Symbols
Instances
Show ModuleName
ATermConvertible ModuleName
Term ModuleName
Typeable ModuleName
PP ModuleName
data ImpSection
Constructors
Sdf_imports_ Imports
Instances
Show ImpSection
ATermConvertible ImpSection
Term ImpSection
Typeable ImpSection
PP ImpSection
data Imports
Constructors
Sdf_list6 [Import]
Instances
Show Imports
ATermConvertible Imports
Term Imports
Typeable Imports
PP Imports
data Import
Constructors
Sdf_module1 ModuleName
Sdf_renamed_module ModuleName Renamings
Instances
Show Import
ATermConvertible Import
Term Import
Typeable Import
PP Import
data Symbols
Constructors
Sdf_list7 [Symbol]
Instances
Show Symbols
ATermConvertible Symbols
Term Symbols
Typeable Symbols
PP Symbols
data Attributes
Constructors
Sdf_attrs [Attribute]
Sdf_no_attrs
Instances
Show Attributes
ATermConvertible Attributes
Term Attributes
Typeable Attributes
PP Attributes
data Productions
Constructors
Sdf_list8 [Production]
Instances
Show Productions
ATermConvertible Productions
Term Productions
Typeable Productions
PP Productions
data SDF
Constructors
Sdf_definition Definition
Instances
Show SDF
ATermConvertible SDF
Term SDF
Typeable SDF
PP SDF
type AlphaNumericalEscChar = String
type DecimalEscChar = String
type EscChar = String
type L_Char = String
type QLiteral = String
type UQLiteral = String
type Sort = String
type NumChar = String
type ShortChar = String
type NatCon = String
type ModuleWord = String
type ModuleId = String
Generated by DrIFT : Look, but Don't Touch. *
Produced by Haddock version 0.6