total v0.1.0 Total

Basic exhaustiveness checking for Elixir applications.

Link to this section Summary

Functions

Define a union type consisting of tagged-tuples and/or atoms.

Link to this section Functions

Link to this macro

defunion(definition) (macro)

Define a union type consisting of tagged-tuples and/or atoms.

Total.defunion http_method() :: :get | :post | {:other, term()}