| Interface | Description |
|---|---|
| Phantom.JavaFX |
Graphic with JavaFX
|
| Phantom.RealWorld |
the root of the phantom hierarchy, this is used for IO actions
|
| Phantom.STM |
Software transactional memory
|
| Phantom.XorY |
Subtypes to play with
|
| Phantom.XorZ | |
| Phantom.XXX | |
| Phantom.YYY | |
| Phantom.ZZZ | |
| Value |
All non-native Frege values, including
Lambdas, implement Value. |
| Class | Description |
|---|---|
| Array |
Mutable array of frege values.
|
| Array.Int |
Support for int arrays
|
| BlackHole |
Provides a uniq object that is useless and cannot be casted
to any other type, except
Object. |
| CompilerSupport | |
| Javac | |
| Meta |
Annotations for the class files produced by the frege compiler.
|
| Phantom |
Container for ST phantom types.
|
| Ref<A> |
Boxed references.
|
| Regex9 |
Helper functions for PreludeBase and PreludeRegex
|
| Runtime |
Miscellaneous functions and methods needed in frege.
|
| Exception | Description |
|---|---|
| GuardFailed |
Exception thrown when the guard of the last case alternative fails.
|
| NoMatch |
Exception thrown when all matches of a case or lambda fail.
|
| Undefined |
Exception thrown when the undefined value is evaluated.
|
| Annotation Type | Description |
|---|---|
| Meta.Context |
the equivalent to a Context
|
| Meta.Expr | |
| Meta.Field |
encoding for a field
|
| Meta.FregePackage |
General information for a frege package.
|
| Meta.FunctionPointers |
This annotation is on the IJ static nested class of a module.
|
| Meta.QName |
The equivalent to QName.
|
| Meta.Rho |
the equivalent to a Rho
|
| Meta.Sigma |
the equivalent to a Sigma
|
| Meta.SymA |
equivalent of a type definition
|
| Meta.SymC | |
| Meta.SymD |
equivalent for a SymD
|
| Meta.SymI | |
| Meta.SymL |
equivalent for a SymL
|
| Meta.SymT | |
| Meta.SymV |
equivalent for a SymV
|
| Meta.Tau |
The equivalent for a Tau or Kind.
|