struct SimpleSub::CompactType::Analysis

• SimpleSub::CompactType::Analysis
• Struct
• Value
• Object

Defined in:

simple_sub/compact_type.cr

Constructors

• .new

Instance Method Summary

• #all_vars : Set(SimpleSub::Typer::TypeVariable)
• #all_vars=(all_vars : Set(SimpleSub::Typer::TypeVariable))
• #co_occurrences : Hash({Bool, SimpleSub::Typer::TypeVariable}, Set(SimpleSub::Typer::Type))
• #co_occurrences=(co_occurrences : Hash(Tuple(Bool, SimpleSub::Typer::TypeVariable), Set(SimpleSub::Typer::Type)))
• #initialize
• #orig_recursive_vars : Hash(SimpleSub::Typer::TypeVariable, SimpleSub::CompactType)

  TODO Rename this after understanding the relationship to the one below.

• #orig_recursive_vars=(orig_recursive_vars : Hash(SimpleSub::Typer::TypeVariable, SimpleSub::CompactType))

  TODO Rename this after understanding the relationship to the one below.

• #recursive_vars : Hash(SimpleSub::Typer::TypeVariable, -> SimpleSub::CompactType)

  TODO Make use of this after understanding how it relates to the above.

• #recursive_vars=(recursive_vars : Hash(SimpleSub::Typer::TypeVariable, -> SimpleSub::CompactType))

  TODO Make use of this after understanding how it relates to the above.

• #show_all_vars(io : IO)
• #show_co_occurrences(io : IO)

Constructor Detail

Instance Method Detail