type, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Variables, Types, Constructors
Construct and answer a variable type from the specified read and write types.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | readType | type | The read type of the variable type. | |
2 | writeType | type | The write type of the variable type. | |
Returns | (read ⊤/write ⊥)'s type | The requested variable type. |