FunctionKind
Namespace: Fungible
Parent Module: Types
A description of a transform in terms of its types and needed wrappers
Record Fields
| Record Field | Description |
ExprWrapper
Signature: Expr -> FieldAction
|
|
InputKind
Signature: TypeKind
|
|
OutputKind
Signature: TypeKind
|
|
