Expand description

Validation of patterns/matches.

Modules

  • As explained in super::usefulness, values and patterns are made from constructors applied to fields. This file defines a Constructor enum, a Fields struct, and various operations to manipulate them and convert them from/to patterns.
  • usefulness 🔒
    Match exhaustiveness and reachability algorithm

Structs

Functions