Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Other features

derive-deftly has many more features, that aren't yet explained in this tutorial. For example:

  • fvis, tvis, and approx_equal, more conditions for dealing with various cases by hand.

  • $tdeftype for defining a new data structure in terms of features of the input data structure, and $Xattrs for passing through attributes.

Full details are in the reference, which also has a brief example demonstrating each construct.