borer-derivation Derivation Basics Semi-Automatic Derivation Fully-Automatic Derivation Derivation via derives Array-Based Codecs Map-Based Codecs Default ADT Encoding Alternative “Flat” Encoding of ADTs Default Values Customized Member Keys CompactMapBasedCodecs Type IDs Derivation FAQ Custom Overrides Explicit Upcasts Recursive ADTs Edit this page 1.15.0