class Myst::TypeCheck::PatternMatcher

Defined in:

typecheck/pattern_matcher.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(env : Environment) #

[View source]

Instance Method Detail

def env : Environment #

[View source]
def env=(env : Environment) #

[View source]
def match(node : NilLiteral, type : Type) #

[View source]
def match(node : BooleanLiteral, type : Type) #

[View source]
def match(node : IntegerLiteral, type : Type) #

[View source]
def match(node : FloatLiteral, type : Type) #

[View source]
def match(node : StringLiteral, type : Type) #

[View source]
def match(node : InterpolatedStringLiteral, type : Type) #

[View source]
def match(node : SymbolLiteral, type : Type) #

[View source]
def match(node : ListLiteral, type : Type) #

[View source]
def match(node : MapLiteral, type : Type) #

[View source]
def match(node : Splat, type : Type) #

[View source]
def match(node : Const, type : Type) #

[View source]
def match(node : StaticAssignable, type : Type) #

[View source]
def match(node : IVar, type : Type) #

[View source]
def match(node : Node, type : Type) #

[View source]