Constructs to express generic computations
Type | Description |
Function or value | Description |
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
iI x
Parameters:
'a
Returns: ^b -> 'd
Modifiers: inline |
|
Full Usage:
idiomatic a b
Parameters:
'a
b : ^b
Returns: 'c
Modifiers: inline |
|
|
|
|
|