Generic

Reflection over levitated descriptions and datatype macro outputs. Datatype consumers should use this layer instead of raw _dtypeMeta. Generic algebraic ornament helpers check algebra descriptors against generic.desc.shape; the supported fragment is ret/arg/rec/plus. Ornament validation exposes total structured diagnostics for expected surface errors; semantic ornament maps remain pure over validated inputs.

Source files

This module is built from multiple files; functions surface via the module aggregator. The contributing source files are:

• datatype.nix
• derive.nix
• desc.nix
• ornaments.nix
• path.nix
• value.nix