class Yoda::Typing::Traces::Normal

Store evaluation result for each ast node.

Attributes

context[R]
type[R]

Public Class Methods

new(context, type) click to toggle source

@param context [Context] @param type [Model::Types::Base]

# File lib/yoda/typing/traces/normal.rb, line 10
def initialize(context, type)
  fail ArgumentError, type unless type.is_a?(Model::Types::Base)
  @context = context
  @type = type
end

Public Instance Methods

values() click to toggle source
# File lib/yoda/typing/traces/normal.rb, line 16
def values
  type.resolve(context.registry)
end