module Mint::TypeChecker::Comparer

Extended Modules

• Mint::TypeChecker::Comparer

Defined in:

type_checker/comparer.cr

Instance Method Summary

• #compare(node1, node2, *, expand : Bool = false)
• #compare_as_promises(node1, node2, *, first_only : Bool = false)
• #dbg(node : Checkable)
• #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, *, expand : Bool)

Instance Method Detail