Unison has the following built-in type constructors.
(->)is the constructor of function types. A type
X -> Yis the type of functions from
Tupleis the constructor of tuple types. Seetuple typesfor details on tuples.
Listis the constructor of list types. A type
List Tis the type of arbitrary-length sequences of values of type
[T]is an alias for
Requestis the constructor of requests for abilities. A type
Request A Tis the type of values received by ability handlers for the ability
Awhere current continuation requires a value of type