Crate fungi_lang

Modules

ast	Syntax: abstract (via Rust datatypes) and concrete (via Rust macros).
bitype	Bidirectional type system.
eval	Evaluation semantics.
stdlib	Fungi standard library.
vis	Visualization of ASTs, typings, evaluation, etc.

Macros

fgi_bundle
fgi_ceffect	Parser for Computations with effects
fgi_ctype	Parser for computation types
fgi_effect	Parser for Effects
fgi_exp	Parser for expressions
fgi_index	Parser for Index Terms
fgi_kind	Parser for Kinds
fgi_name	Parser for Name Literals
fgi_nametm	Parser for Name Terms
fgi_prop	Parser for Propositions
fgi_sort	Parser for Sorts
fgi_tcons	Parser for TypeConstructors
fgi_val	Parser for values
fgi_vtype	Parser for value types
parse_fgi_arrow	this macro is a helper for fgi_ctype, not for external use
parse_fgi_earrow	this macro is a helper for fgi_ceffect, not for external use
parse_fgi_eff	this macro is a helper for fgi_effect, not for external use
parse_fgi_name_bin	this macro is a helper for fgi_nametm, not for external use
parse_fgi_prod	this macro is a helper for fgi_vtype, not for external use
parse_fgi_split	this macro is a helper for fgi_exp, not for external use
parse_fgi_sum	this macro is a helper for fgi_vtype, not for external use
parse_fgi_tuple	this macro is a helper for fgi_ceffect, not for external use
split_arrow	run a macro on a list of lists after splitting the input
split_comma	run a macro on a list of lists after splitting the input
split_cross	run a macro on a list of lists after splitting the input
split_plus	run a macro on a list of lists after splitting the input
split_semi	run a macro on a list of lists after splitting the input