Built-in type constructors

Unison has the following built-in type constructors.

  • (->)is the constructor of function types. A typeX -> Yis the type of functions fromXtoY.
  • Tupleis the constructor of tuple types. Seetuple typesfor details on tuples.
  • Listis the constructor of list types. A typeList Tis the type of arbitrary-length sequences of values of typeT.The type[T]is an alias forList T.
  • base.Requestis the constructor of requests for abilities. A typeRequest A Tis the type of values received by ability handlers for the abilityAwhere current continuation requires a value of typeT.