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)