Macro fungi_lang::fgi_ctype
source · macro_rules! fgi_ctype {
{ fromast $ast:expr } => { ... };
{ ($($c:tt)+) } => { ... };
{ F $($a:tt)+ } => { ... };
{ $($arrow:tt)+ } => { ... };
{ $($any:tt)* } => { ... };
}
Expand description
Parser for computation types
C,D ::=
fromast ast (inject ast nodes)
(C) (parens)
F A (lifted types)
A -> E (functions with effects)