module Mint::TypeChecker::Comparer
Extended Modules
Defined in:
type_checker/comparer.cr
Instance Method Summary
-
#compare(node1, node2)
-
#compare_raw(node1, node2)
-
#fill(node, mapping : Hash(String, Checkable))
-
#fresh(node : Variable)
-
#fresh(node : Type, mapping = {} of Int32 => Variable)
-
#fresh(node : Record)
-
#matches_any?(node, targets)
-
#normalize(type : Type, mapping = {} of String => Variable)
-
#normalize(node : Record)
-
#normalize(node : Variable)
-
#occurs_in_type(node1, node2)
-
#occurs_in_type_array(node, parameters)
-
#prune(node : Variable)
-
#prune(node : Type)
-
#prune(node : Record)
-
#unify(node1, node2)
Instance Method Detail
def
compare(node1, node2)
#
def
compare_raw(node1, node2)
#
def
fresh(node :
Type, mapping = {}
of Int32 => Variable)
#
def
matches_any?(node, targets)
#
def
normalize(type :
Type, mapping = {}
of String => Variable)
#
def
occurs_in_type(node1, node2)
#
def
occurs_in_type_array(node, parameters)
#
def
unify(node1, node2)
#