Complex
Overview
The following complex types have been identified.
All complex types can be composed from Any other types even from themselves by using those and the operators.
Complex
T,U, ...; are placeholders for any types, those MUST be specifically declared on usage
| Annotation | Type | Description | chapter |
|---|---|---|---|
[T] | List | List of elements with type T each | List |
{N::T} | AttrSet | AttrSet where member N references value of type T | AttrSet |
T->U | Lambda | A function that takes a single argument of type T and returns a value of type U | lambda |
More details how to use complex types in the corresponding chapters