Language.Symantic.Compiling.Grammar

Class Gram_Term_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_Mod g) => Gram_Term_Name g where

Methods

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_NameTeKey :: Reg rl g String

g_ModNameTeOp :: CF g (Mod NameTe)

g_NameTeOp :: CF g NameTe

g_NameTeOpOk :: Terminal g Char

g_NameTeKeySym :: Reg rl g String

Instances

Gram_Term_Name EBNF

Methods

g_ModNameTe :: CF EBNF (Mod NameTe)

g_NameTe :: CF EBNF NameTe

g_ModNameTeId :: CF EBNF (Mod NameTe)

g_NameTeId :: CF EBNF NameTe

g_NameTeIdTail :: Terminal EBNF Char

g_NameTeKey :: Reg rl EBNF String

g_ModNameTeOp :: CF EBNF (Mod NameTe)

g_NameTeOp :: CF EBNF NameTe

g_NameTeOpOk :: Terminal EBNF Char

g_NameTeKeySym :: Reg rl EBNF String

Gram_Term_Name RuleEBNF

Methods

g_ModNameTe :: CF RuleEBNF (Mod NameTe)

g_NameTe :: CF RuleEBNF NameTe

g_ModNameTeId :: CF RuleEBNF (Mod NameTe)

g_NameTeId :: CF RuleEBNF NameTe

g_NameTeIdTail :: Terminal RuleEBNF Char

g_NameTeKey :: Reg rl RuleEBNF String

g_ModNameTeOp :: CF RuleEBNF (Mod NameTe)

g_NameTeOp :: CF RuleEBNF NameTe

g_NameTeOpOk :: Terminal RuleEBNF Char

g_NameTeKeySym :: Reg rl RuleEBNF String

Gram_Term_Name g => Gram_Term_Name (CF g)

Methods

g_ModNameTe :: CF (CF g) (Mod NameTe)

g_NameTe :: CF (CF g) NameTe

g_ModNameTeId :: CF (CF g) (Mod NameTe)

g_NameTeId :: CF (CF g) NameTe

g_NameTeIdTail :: Terminal (CF g) Char

g_NameTeKey :: Reg rl (CF g) String

g_ModNameTeOp :: CF (CF g) (Mod NameTe)

g_NameTeOp :: CF (CF g) NameTe

g_NameTeOpOk :: Terminal (CF g) Char

g_NameTeKeySym :: Reg rl (CF g) String

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_Term_Name g, Gram_Type src g) => Gram_Term_Type src g where

Methods

g_term_abst_decl :: CF g (NameTe, AST_Type src)

Instances

(Gram_Source src RuleEBNF, Constable (* -> * -> *) (->), Constable (* -> * -> *) (,), Constable (* -> *) []) => Gram_Term_Type src RuleEBNF

Methods

g_term_abst_decl :: CF RuleEBNF (NameTe, AST_Type src)

(Gram_Source src EBNF, Constable (* -> * -> *) (->), Constable (* -> * -> *) (,), Constable (* -> *) []) => Gram_Term_Type src EBNF

Methods

g_term_abst_decl :: CF EBNF (NameTe, AST_Type src)

Gram_Term_Type src g => Gram_Term_Type src (CF g)

Methods

g_term_abst_decl :: CF (CF g) (NameTe, AST_Type src)

Type Error_Term_Gram

data Error_Term_Gram

Constructors

Error_Term_Gram_Fixity Error_Fixity

Error_Term_Gram_Term_incomplete

Error_Term_Gram_Type_applied_to_nothing

Error_Term_Gram_not_applicable

Error_Term_Gram_application

Error_Term_Gram_application_mismatch

Error_Term_Gram_Module Error_Module

Instances

Eq Error_Term_Gram

Methods

(==) :: Error_Term_Gram -> Error_Term_Gram -> Bool

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

Show Error_Term_Gram

Methods

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_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_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

Methods

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)

Instances

(Gram_Term_Atoms src ss RuleEBNF, Gram_Source src RuleEBNF, Constable (* -> * -> *) (->), Constable (* -> * -> *) (,), Constable (* -> *) []) => Gram_Term src ss RuleEBNF

Methods

g_term :: CF RuleEBNF (AST_Term src ss)

g_term_operators :: CF RuleEBNF (AST_Term src ss)

g_term_atom :: CF RuleEBNF (AST_Term src ss)

g_term_group :: CF RuleEBNF (AST_Term src ss)

g_term_abst :: CF RuleEBNF (AST_Term src ss)

g_term_abst_args_body :: CF RuleEBNF [(NameTe, AST_Type src)] -> CF RuleEBNF (AST_Term src ss) -> CF RuleEBNF ([(NameTe, AST_Type src)], AST_Term src ss)

g_term_let :: CF RuleEBNF (AST_Term src ss)

(Gram_Term_Atoms src ss EBNF, Gram_Source src EBNF, Constable (* -> * -> *) (->), Constable (* -> * -> *) (,), Constable (* -> *) []) => Gram_Term src ss EBNF

Methods

g_term :: CF EBNF (AST_Term src ss)

g_term_operators :: CF EBNF (AST_Term src ss)

g_term_atom :: CF EBNF (AST_Term src ss)

g_term_group :: CF EBNF (AST_Term src ss)

g_term_abst :: CF EBNF (AST_Term src ss)

g_term_abst_args_body :: CF EBNF [(NameTe, AST_Type src)] -> CF EBNF (AST_Term src ss) -> CF EBNF ([(NameTe, AST_Type src)], AST_Term src ss)

g_term_let :: CF EBNF (AST_Term src ss)

(Gram_Term src ss g, Gram_Term_Atoms src ss (CF g)) => Gram_Term src ss (CF g)

Methods

g_term :: CF (CF g) (AST_Term src ss)

g_term_operators :: CF (CF g) (AST_Term src ss)

g_term_atom :: CF (CF g) (AST_Term src ss)

g_term_group :: CF (CF g) (AST_Term src ss)

g_term_abst :: CF (CF g) (AST_Term src ss)

g_term_abst_args_body :: CF (CF g) [(NameTe, AST_Type src)] -> CF (CF g) (AST_Term src ss) -> CF (CF g) ([(NameTe, AST_Type src)], AST_Term src ss)

g_term_let :: CF (CF g) (AST_Term src ss)

Class Gram_Term_Atoms

type Gram_Term_Atoms src ss g = Gram_Term_AtomsR src ss ss g

Class Gram_Term_AtomsR

class Gram_Term_AtomsR src ss rs g where

Minimal complete definition

g_term_atomsR

Methods

g_term_atomsR :: [CF g (AST_Term src ss)]

Instances

Gram_Term_AtomsR src ss ([] *) g

Methods

g_term_atomsR :: [CF g (AST_Term src ss)]

(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

Methods

g_term_atomsR :: [CF g (AST_Term src ss)]

Class Gram_Term_AtomsFor

class Gram_Term_AtomsFor src ss g t where

Methods

g_term_atomsFor :: [CF g (AST_Term src ss)]

gram_term :: forall g. Gram_Term () '[Proxy (->), Proxy Integer] g => [CF g ()]