Class | Description |
---|---|
MD |
Annotations for the frege compiler.
|
RT |
Utility functions for frege code.
|
Exception | Description |
---|---|
RT.GuardFailed |
Exception thrown when a guard on a pattern binding fails.
|
RT.NoMatch |
Exception thrown when all matches of a case or lambda fail.
|
RT.Undefined |
Exception thrown when the undefined value is evaluated.
|
Annotation Type | Description |
---|---|
MD.Context | |
MD.Expr | |
MD.FregePackage |
General information for a frege package.
|
MD.LambdaClasses |
Information on lambda classes for top level or data/instance member functions
already generated in this package.
|
MD.Operator |
Information from the infix* definitions.
|
MD.QName |
The equivalent to QName.
|
MD.Rho | |
MD.Sigma | |
MD.SymA | |
MD.SymC | |
MD.SymD | |
MD.SymI | |
MD.SymL | |
MD.SymT | |
MD.SymV | |
MD.Tau |
The equivalent for a Tau.
|