Crate fungi_lang

Modules

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

Macros

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