Product Builder

Build a product type

Includes:

• Struct
• Type definition
• Constructor function (for piping and defaults)
• Implicit defaults for simple values

Definition DSL

For convenveniece, several variants of the DSL are available.

Standard

defmodule Player do
  # =============== #
  # Data Definition #
  # =============== #

  defdata do
    n...

Structs to replicate standard ADTs from languages such as Haskell.

The types are bootstrapped through a few techniques, including "empty" structs. With this approach, we can still define protocol implementations for the data types, with separate behaviours for %Nothing{} and %Just{just: 1}, for example.

Some data types (such as lists) are built-in to Elixir, and are not represented here.

#...