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