abstract struct Savi::Compiler::Infer::Analysis

• Savi::Compiler::Infer::Analysis
• Struct
• Value
• Object

Direct Known Subclasses

• Savi::Compiler::Infer::FuncAnalysis
• Savi::Compiler::Infer::TypeAliasAnalysis
• Savi::Compiler::Infer::TypeAnalysis

Defined in:

savi/compiler/infer.cr

Constructors

• .new

Instance Method Summary

• #[](info : Info)
• #[]?(info : Info)
• #type_param_bound_cap_sets : Array(Array(Cap))
• #type_param_bound_cap_sets? : Array(Array(Cap)) | Nil
• #type_param_bound_spans : Array(Span)
• #type_param_bound_spans? : Array(Span) | Nil
• #type_param_default_spans : Array(Span | Nil)
• #type_param_default_spans? : Array(Span | Nil) | Nil
• #type_params : Array(TypeParam)
• #type_params? : Array(TypeParam) | Nil
• #type_partial_reification_sets : Hash(Array(Cap), Int32)
• #type_partial_reification_sets? : Hash(Array(Cap), Int32) | Nil
• #type_partial_reifications : Array(MetaType)
• #type_partial_reifications? : Array(MetaType) | Nil

Constructor Detail

Instance Method Detail