class ExhaustivenessChecker::Match

Overview

TODO Write description...

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail


[View source]

Instance Method Detail

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

[View source]
def diagnostics : Diagnostics #

[View source]
def list_pattern_string(term : Term, terms : Array(Term), mapping : Hash(Int32, Int32)) : String #

[View source]
def missing_patterns : Array(String) #

[View source]
def pattern_string(term : Term, terms : Array(Term), mapping : Hash(Int32, Int32)) : String #

[View source]
def tree : Decision #

[View source]
def variant_name_lookup : Proc(String, Int32, String | Nil) #

[View source]