Builder<'T, 'Ctor> Type
Builder state for the Pipeline DSL. The builder keeps the constructor's remaining type in `'Ctor` so each appended field proves, at compile time, that one more argument has been supplied before `build` can close over the final record value.
Record fields
| Record Field |
Description
|
Full Usage:
App
Field type: obj[] -> int -> 'Ctor
|
We evaluate the curried constructor from left to right against decoded field values stored in the compiler's `obj[]` buffer. This keeps the public DSL typed while still fitting the existing record compiler.
|
|
|
CodecMapper