class ExhaustivenessChecker::Type

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(name : String, parameters : Array(ExhaustivenessChecker::Type | ExhaustivenessChecker::TypeVariable) = [] of Checkable) #

[View source]

Instance Method Detail

def name : String #

[View source]
def parameters : Array(Checkable) #

[View source]