Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class (Gram_Terminal g, Gram_Rule g, Gram_Alt g, Gram_Try g, Gram_App g, Gram_AltApp g, Gram_RegL g, Gram_CF g, Gram_Comment g, Gram_Op g) => Gram_Name g where
- class (Gram_Terminal g, Gram_Rule g, Gram_Alt g, Gram_AltApp g, Gram_App g, Gram_CF g, Gram_Comment g, Gram_Name g, Gram_Type src g) => Gram_Term_Type src g where
- data Error_Term_Gram
- class (Gram_Source src g, Gram_Error Error_Term_Gram g, Gram_Terminal g, Gram_Rule g, Gram_Alt g, Gram_App g, Gram_AltApp g, Gram_CF g, Gram_Comment g, Gram_Type src g, Gram_Name g, Gram_Term_Type src g, Gram_Term_Atoms src ss g, Gram_State (Imports, Modules src ss) g) => Gram_Term src ss g where
- type Gram_Term_Atoms src ss g = Gram_Term_AtomsR src ss ss g
- class Gram_Term_AtomsR src ss rs g where
- class Gram_Term_AtomsFor src ss g t where
- gram_term :: forall g. Gram_Term () '[Proxy (->), Proxy Integer] g => [CF g ()]
Class Gram_Name
class (Gram_Terminal g, Gram_Rule g, Gram_Alt g, Gram_Try g, Gram_App g, Gram_AltApp g, Gram_RegL g, Gram_CF g, Gram_Comment g, Gram_Op g) => Gram_Name g where Source #
g_mod_path :: CF g PathMod Source #
g_mod_name :: CF g NameMod Source #
g_term_mod_name :: CF g (Mod NameTe) Source #
g_term_name :: CF g NameTe Source #
g_term_mod_idname :: CF g (Mod NameTe) Source #
g_term_idname :: CF g NameTe Source #
g_term_idname_tail :: Terminal g Char Source #
g_term_keywords :: Reg rl g String Source #
g_term_mod_opname :: CF g (Mod NameTe) Source #
g_term_opname :: CF g NameTe Source #
g_term_opname_ok :: Terminal g Char Source #
g_term_keysyms :: Reg rl g String Source #
Class Gram_Term_Type
class (Gram_Terminal g, Gram_Rule g, Gram_Alt g, Gram_AltApp g, Gram_App g, Gram_CF g, Gram_Comment g, Gram_Name g, Gram_Type src g) => Gram_Term_Type src g where Source #
Gram_Source src RuleEBNF => Gram_Term_Type src RuleEBNF Source # | |
Gram_Source src EBNF => Gram_Term_Type src EBNF Source # | |
Gram_Term_Type src g => Gram_Term_Type src (CF g) Source # | |
Type Error_Term_Gram
data Error_Term_Gram Source #
Class Gram_Term
class (Gram_Source src g, Gram_Error Error_Term_Gram g, Gram_Terminal g, Gram_Rule g, Gram_Alt g, Gram_App g, Gram_AltApp g, Gram_CF g, Gram_Comment g, Gram_Type src g, Gram_Name g, Gram_Term_Type src g, Gram_Term_Atoms src ss g, Gram_State (Imports, Modules src ss) g) => Gram_Term src ss g where Source #
g_term :: CF g (AST_Term src ss) Source #
g_term_operators :: CF g (AST_Term src ss) Source #
g_term_atom :: CF g (AST_Term src ss) Source #
g_term_group :: CF g (AST_Term src ss) Source #
g_term_abst :: CF g (AST_Term src ss) Source #
g_term_abst_args_body :: CF g [(NameTe, AST_Type src)] -> CF g (AST_Term src ss) -> CF g ([(NameTe, AST_Type src)], AST_Term src ss) Source #
g_term_let :: CF g (AST_Term src ss) Source #
(Gram_Term_Atoms src ss RuleEBNF, Gram_Source src RuleEBNF) => Gram_Term src ss RuleEBNF Source # | |
(Gram_Term_Atoms src ss EBNF, Gram_Source src EBNF) => Gram_Term src ss EBNF Source # | |
(Gram_Term src ss g, Gram_Term_Atoms src ss (CF g)) => Gram_Term src ss (CF g) Source # | |
Class Gram_Term_Atoms
type Gram_Term_Atoms src ss g = Gram_Term_AtomsR src ss ss g Source #
Class Gram_Term_AtomsR
class Gram_Term_AtomsR src ss rs g where Source #
g_term_atomsR :: [CF g (AST_Term src ss)] Source #
Gram_Term_AtomsR src ss ([] *) g Source # | |
(Gram_Term_AtomsFor k src ss g t, Gram_Term_AtomsR src ss rs g) => Gram_Term_AtomsR src ss ((:) * (Proxy k t) rs) g Source # | |
Class Gram_Term_AtomsFor
class Gram_Term_AtomsFor src ss g t where Source #
g_term_atomsFor :: [CF g (AST_Term src ss)] Source #