module Mint::TypeChecker::Comparer

Extended Modules

Defined in:

type_checker/comparer.cr

Instance Method Summary

Instance Method Detail

def compare(node1, node2) #

[View source]
def compare_raw(node1, node2) #

[View source]
def fill(node, mapping : Hash(String, Checkable)) #

[View source]
def fresh(node : Variable) #

[View source]
def fresh(node : Type, mapping = {} of Int32 => Variable) #

[View source]
def fresh(node : PartialRecord) #

[View source]
def fresh(node : Record) #

[View source]
def matches_any?(node, targets) #

[View source]
def normalize(type : Type, mapping = {} of String => Variable) #

[View source]
def normalize(node : Record) #

[View source]
def normalize(node : Variable) #

[View source]
def occurs_in_type(node1, node2) #

[View source]
def occurs_in_type_array(node, parameters) #

[View source]
def prune(node : Variable) #

[View source]
def prune(node : Type) #

[View source]
def prune(node : Record) #

[View source]
def unify(node1, node2) #

[View source]