Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class (Gram_Char 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_Mod g) => Gram_Term_Name g where
- g_ModNameTe :: CF g (Mod NameTe)
- g_NameTe :: CF g NameTe
- g_ModNameTeId :: CF g (Mod NameTe)
- g_NameTeId :: CF g NameTe
- g_NameTeIdTail :: Terminal g Char
- g_NameTeIdKey :: Reg rl g String
- g_ModNameTeOp :: CF g (Mod NameTe)
- g_NameTeOp :: CF g NameTe
- g_NameTeOpOk :: Terminal g Char
- g_NameTeOpKey :: Reg rl g String
- class (Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_AltApp g, Gram_App g, Gram_CF g, Gram_Comment g, Gram_Term_Name g, Gram_Type src g) => Gram_Term_Type src g where
- g_term_abst_decl :: CF g (NameTe, AST_Type src)
- data Error_Term_Gram
- class (Gram_Source src g, Gram_Error Error_Term_Gram g, Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_App g, Gram_AltApp g, Gram_CF g, Gram_Comment g, Gram_Type src g, Gram_Term_Name g, Gram_Term_Type src g, Gram_Term_Atoms src ss g, Gram_State (Imports NameTe, Modules src ss) g) => Gram_Term src ss g where
- g_term :: CF g (AST_Term src ss)
- g_term_operators :: CF g (AST_Term src ss)
- g_term_atom :: CF g (AST_Term src ss)
- g_term_group :: CF g (AST_Term src ss)
- g_term_abst :: CF g (AST_Term src ss)
- 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)
- g_term_let :: CF g (AST_Term src ss)
- type Gram_Term_Atoms src ss g = Gram_Term_AtomsR src ss ss g
- class Gram_Term_AtomsR src (ss :: [*]) (rs :: [*]) g where
- g_term_atomsR :: [CF g (AST_Term src ss)]
- class Gram_Term_AtomsFor src ss g t where
- g_term_atomsFor :: [CF g (AST_Term src ss)]
- gram_term :: forall g. Gram_Term () '[Proxy (->), Proxy Integer] g => [CF g ()]
Class Gram_Term_Name
class (Gram_Char 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_Mod g) => Gram_Term_Name g where Source #
Nothing
g_ModNameTe :: CF g (Mod NameTe) Source #
g_NameTe :: CF g NameTe Source #
g_ModNameTeId :: CF g (Mod NameTe) Source #
g_NameTeId :: CF g NameTe Source #
g_NameTeIdTail :: Terminal g Char Source #
g_NameTeIdKey :: Reg rl g String Source #
g_ModNameTeOp :: CF g (Mod NameTe) Source #
g_NameTeOp :: CF g NameTe Source #
g_NameTeOpOk :: Terminal g Char Source #
g_NameTeOpKey :: Reg rl g String Source #
Instances
Class Gram_Term_Type
class (Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_AltApp g, Gram_App g, Gram_CF g, Gram_Comment g, Gram_Term_Name g, Gram_Type src g) => Gram_Term_Type src g where Source #
Nothing
Instances
(Gram_Source src RuleEBNF, Constable ((->) :: Type -> Type -> Type), Constable (,), Constable []) => Gram_Term_Type src RuleEBNF Source # | |
Defined in Language.Symantic.Compiling.Grammar | |
(Gram_Source src EBNF, Constable ((->) :: Type -> Type -> Type), Constable (,), Constable []) => Gram_Term_Type src EBNF Source # | |
Defined in Language.Symantic.Compiling.Grammar | |
Gram_Term_Type src g => Gram_Term_Type src (CF g) Source # | |
Defined in Language.Symantic.Compiling.Grammar |
Type Error_Term_Gram
data Error_Term_Gram Source #
Instances
Eq Error_Term_Gram Source # | |
Defined in Language.Symantic.Compiling.Grammar (==) :: Error_Term_Gram -> Error_Term_Gram -> Bool # (/=) :: Error_Term_Gram -> Error_Term_Gram -> Bool # | |
Show Error_Term_Gram Source # | |
Defined in Language.Symantic.Compiling.Grammar showsPrec :: Int -> Error_Term_Gram -> ShowS # show :: Error_Term_Gram -> String # showList :: [Error_Term_Gram] -> ShowS # |
Class Gram_Term
class (Gram_Source src g, Gram_Error Error_Term_Gram g, Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_App g, Gram_AltApp g, Gram_CF g, Gram_Comment g, Gram_Type src g, Gram_Term_Name g, Gram_Term_Type src g, Gram_Term_Atoms src ss g, Gram_State (Imports NameTe, Modules src ss) g) => Gram_Term src ss g where Source #
Nothing
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 #
Instances
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 #
Instances
Gram_Term_AtomsR src ss ([] :: [Type]) g Source # | |
Defined in Language.Symantic.Compiling.Grammar g_term_atomsR :: [CF g (AST_Term src ss)] Source # | |
(Gram_Term_AtomsFor src ss g t, Gram_Term_AtomsR src ss rs g) => Gram_Term_AtomsR src ss (Proxy t ': rs) g Source # | |
Defined in Language.Symantic.Compiling.Grammar g_term_atomsR :: [CF g (AST_Term src ss)] Source # |
Class Gram_Term_AtomsFor
class Gram_Term_AtomsFor src ss g t where Source #
Nothing
g_term_atomsFor :: [CF g (AST_Term src ss)] Source #