exhaustive-1.0.0: Compile time checks that a computation considers producing data through all possible constructors
Compile time checks that a computation considers producing data through all possible constructors
Modules
exhaustive-1.0.0: Compile time checks that a computation considers producing data through all possible constructors
Compile time checks that a computation considers producing data through all possible constructors
Modules