Generic: a schema parameterized over a type. You declare it with params (named type parameters, each with a default). You use a parameter with var, a type-variable reference such as { "var": "B" }. You instantiate the generic with args: { "type": X, "args": { "B": … } }. The parameter passes through references and falls back to its default when unbound. The worked example is Change<Block> (change), instantiated as example/myapp-change. The schema language has the details.

See also

Do you like what you are reading? Subscribe to receive updates.

Unsubscribe anytime

Connections0

Connections show where other documents or comments link to this document.

Related documents

Loading connections…