class ExhaustivenessChecker::Match
- ExhaustivenessChecker::Match
- Reference
- Object
Overview
TODO Write description...
Defined in:
exhaustiveness_checker.crConstructors
Instance Method Summary
- #add_missing_patterns(node : Decision, terms : Array(Term), missing : Set(String))
- #diagnostics : Diagnostics
- #list_pattern_string(term : Term, terms : Array(Term), mapping : Hash(Int32, Int32)) : String
- #missing_patterns : Array(String)
- #pattern_string(term : Term, terms : Array(Term), mapping : Hash(Int32, Int32)) : String
- #tree : Decision
- #variant_name_lookup : Proc(String, Int32, String | Nil)
Constructor Detail
def self.new(tree : ExhaustivenessChecker::Failure | ExhaustivenessChecker::Guard | ExhaustivenessChecker::List | ExhaustivenessChecker::Success | ExhaustivenessChecker::Switch, diagnostics : ExhaustivenessChecker::Diagnostics, variant_name_lookup : String, Int32 -> Nil | String)
#