cadenza
/
cadenza.semantics
/
Type
/
IO
IO
data
class
IO
:
Type
Constructors
<init>
IO
(
result
:
Type
)
Properties
result
val
result
:
Type
Functions
validate
fun
validate
(
t
:
Any
?
)
:
Nothing