class ExhaustivenessChecker::Case

Overview

TODO Write description...

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(constructor : ExhaustivenessChecker::CFloat | ExhaustivenessChecker::CInt | ExhaustivenessChecker::CString | ExhaustivenessChecker::CTuple | ExhaustivenessChecker::CVariant, arguments : Array(ExhaustivenessChecker::Variable), body : ExhaustivenessChecker::Failure | ExhaustivenessChecker::Guard | ExhaustivenessChecker::List | ExhaustivenessChecker::Success | ExhaustivenessChecker::Switch) #

[View source]

Instance Method Detail

def arguments : Array(Variable) #

[View source]
def body : Decision #

[View source]
def constructor : Constructor #

[View source]