Module fungi_lang::bitype
[−]
[src]
Bidirectional type system.
Fungi: bidirectional type system
Structs
TypeInfo |
Enums
Dir | |
ExpTD | |
IdxTmTD | |
NameTmTD | |
PrimAppTD | |
TCtxt | |
TypeError | |
ValTD |
Traits
HasType |
Functions
check_exp | |
check_idxtm | |
check_nmtm | |
check_val | |
normal_type |
Normalize types (expand definitions and reduce applications). |
synth_exp | |
synth_idxtm | |
synth_nmtm | |
synth_val | |
unroll_type |
Unroll a |
Type Definitions
TCtxtRec |