class

ExhaustivenessChecker::Match

Inherits Reference < Object

TODO: Write description...

Constructors

new(tree : ExhaustivenessChecker::Failure | ExhaustivenessChecker::Guard | ExhaustivenessChecker::List | ExhaustivenessChecker::Success | ExhaustivenessChecker::Switch, diagnostics : ExhaustivenessChecker::Diagnostics, variant_name_lookup : String, Int32 -> Array(String) | String)

Instance methods

add_missing_patterns(node : Decision, terms : Array(Term), missing : Set(String))

diagnostics

list_pattern_string(term : Term, terms : Array(Term), mapping : Hash(Int32, Int32)) : String

missing_patterns

pattern_string(term : Term, terms : Array(Term), mapping : Hash(Int32, Int32)) : String

tree

variant_name_lookup