abstract class Magiika::TypeNode

• Magiika::TypeNode
• Magiika::Node
• Reference
• Object

Overview

A Node that is a type. Each class is given a TypeMeta.

Included Modules

• Magiika::EvalType
• Magiika::SelfEvalType

Extended Modules

• Magiika::EvalType
• Magiika::HasTypeMeta
• Magiika::SelfEvalType

Direct Known Subclasses

• Magiika::InstTypeNode
• Magiika::Node::Bool
• Magiika::Node::Flt
• Magiika::Node::Fn
• Magiika::Node::Int
• Magiika::Node::List
• Magiika::Node::Meta
• Magiika::Node::Nil
• Magiika::Node::Str

Defined in:

Class Method Summary

• .eval_type(scope : Scope) : TypeMeta
• .type_base? : ::Bool
• .type_name : String

  A Node that is a type.

Instance Method Summary

• #eval_type(scope : Scope) : TypeMeta
• #type_meta : TypeMeta

Class Method Detail

Instance Method Detail