class Magiika::TypeMeta

• Magiika::TypeMeta
• Reference
• Object

Overview

Typing-related metadata associated with a TypeNode.

Included Modules

• Magiika::EvalType

Defined in:

typing/type_meta.cr

Constructors

• .new(id : Typing::TypeID, name : String, reference : TypeNode.class | InstTypeNode, superclass : Class)

Instance Method Summary

• #eval_type(scope : Scope) : TypeMeta
• #fits_exact_type!(other : TypeMeta) : Nil
• #fits_exact_type?(other : TypeMeta) : Bool
• #fits_type!(other : TypeMeta) : Nil
• #fits_type?(other : TypeMeta) : Bool
• #id : Typing::TypeID
• #inherits_from_type!(other : TypeMeta) : Nil
• #inherits_from_type?(other : TypeMeta) : Bool
• #name : String
• #reference : TypeNode.class | InstTypeNode
• #reference_type(position : Position | Nil = nil, scope : Scope | Nil = nil) : Nil
• #superclass : TypeMeta
• #superclass? : TypeMeta | Nil
• #unreference_type : Bool
• #valid? : Bool

Constructor Detail

Instance Method Detail