eyg_interpreter - v1.3.0

eyg/interpreter/expression

Values

await

</> 
pub fn await(
  ret: Result(
    value.Value(a, #(List(#(state.Kontinue(a), a)), state.Env(a))),
    #(
      break.Reason(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
      a,
      state.Env(a),
      state.Stack(a),
    ),
  ),
) -> promise.Promise(
  Result(
    value.Value(a, #(List(#(state.Kontinue(a), a)), state.Env(a))),
    #(
      break.Reason(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
      a,
      state.Env(a),
      state.Stack(a),
    ),
  ),
)

call

</> 
pub fn call(
  f: value.Value(
    t,
    #(List(#(state.Kontinue(t), t)), state.Env(t)),
  ),
  args: List(
    #(
      value.Value(
        t,
        #(List(#(state.Kontinue(t), t)), state.Env(t)),
      ),
      t,
    ),
  ),
) -> Result(
  value.Value(t, #(List(#(state.Kontinue(t), t)), state.Env(t))),
  #(
    break.Reason(
      t,
      #(List(#(state.Kontinue(t), t)), state.Env(t)),
    ),
    t,
    state.Env(t),
    state.Stack(t),
  ),
)

call_field

</> 
pub fn call_field(
  record: value.Value(
    t,
    #(List(#(state.Kontinue(t), t)), state.Env(t)),
  ),
  field: String,
  meta: t,
  args: List(
    #(
      value.Value(
        t,
        #(List(#(state.Kontinue(t), t)), state.Env(t)),
      ),
      t,
    ),
  ),
) -> Result(
  value.Value(t, #(List(#(state.Kontinue(t), t)), state.Env(t))),
  #(
    break.Reason(
      t,
      #(List(#(state.Kontinue(t), t)), state.Env(t)),
    ),
    t,
    state.Env(t),
    state.Stack(t),
  ),
)

execute

</> 
pub fn execute(
  exp: #(tree.Expression(t), t),
  scope: List(
    #(
      String,
      value.Value(
        t,
        #(List(#(state.Kontinue(t), t)), state.Env(t)),
      ),
    ),
  ),
) -> Result(
  value.Value(t, #(List(#(state.Kontinue(t), t)), state.Env(t))),
  #(
    break.Reason(
      t,
      #(List(#(state.Kontinue(t), t)), state.Env(t)),
    ),
    t,
    state.Env(t),
    state.Stack(t),
  ),
)

loop

</> 
pub fn loop(
  next: state.Next(a),
) -> Result(
  value.Value(a, #(List(#(state.Kontinue(a), a)), state.Env(a))),
  #(
    break.Reason(
      a,
      #(List(#(state.Kontinue(a), a)), state.Env(a)),
    ),
    a,
    state.Env(a),
    state.Stack(a),
  ),
)

new_env

</> 
pub fn new_env(
  scope: List(
    #(
      String,
      value.Value(
        a,
        #(List(#(state.Kontinue(a), a)), state.Env(a)),
      ),
    ),
  ),
) -> state.Env(a)

resume

</> 
pub fn resume(
  value: value.Value(
    a,
    #(List(#(state.Kontinue(a), a)), state.Env(a)),
  ),
  env: state.Env(a),
  k: state.Stack(a),
) -> Result(
  value.Value(a, #(List(#(state.Kontinue(a), a)), state.Env(a))),
  #(
    break.Reason(
      a,
      #(List(#(state.Kontinue(a), a)), state.Env(a)),
    ),
    a,
    state.Env(a),
    state.Stack(a),
  ),
)
✨ Search Document