, Gram_Name g
, Gram_Type src g
) => Gram_Term_Type src g where
- g_term_abst_decl
- :: CF g (NameTe, AST_Type src)
+ g_term_abst_decl :: CF g (NameTe, AST_Type src)
g_term_abst_decl = rule "term_abst_decl" $
parens $ (,)
<$> g_term_name
g_infix :: CF g (Infix, AST_Term src ss -> AST_Term src ss -> AST_Term src ss)
g_postfix :: CF g (Unifix, AST_Term src ss -> AST_Term src ss)
g_prefix = g_catch $ g_source $ g_get_after $ op_prefix <$> g_prefix_op
- g_infix = g_catch $ g_source $ g_get_after $ op_infix <$> g_infix_op
+ g_infix = g_catch $ g_source $ g_get_after $ op_infix <$> g_infix_op
g_postfix = g_catch $ g_source $ g_get_after $ op_postfix <$> g_postfix_op
op_infix
:: Mod NameTe