Module fungi_lang::ast [−] [src]

Target language AST --- aka, typed adapton AST defs

Enums

CEffect	Computation effects
CType	Computation types
Effect	Effects
Exp	Expressions (aka, computation terms)
IdxTm	Index terms
Kind	Kinds (classify types)
Name	Name Literals
NameTm	Name Terms
PrimApp	Expressions (aka, computation terms)
Prop	Propositions about name and index terms
Sort	Sorts (classify name and index terms)
Type	Value types
TypeCons	Type constructors
Val	Value terms