PtcRunner.Lisp.CoreAST (PtcRunner v0.11.0)

Core, validated AST for PTC-Lisp.

This module defines the type specifications for the intermediate representation that the analyzer produces. The interpreter evaluates CoreAST to produce results.

Pipeline

source → Parser → RawAST → Analyze → CoreAST → Eval → result

Summary

Types

binding()

fn_params()

literal()

name()

pattern()

t()

Types

binding()

@type binding() :: {:binding, pattern(), t()}

fn_params()

@type fn_params() :: [pattern()] | {:variadic, [pattern()], pattern()}

literal()

@type literal() ::
  nil
  | boolean()
  | number()
  | {:string, String.t()}
  | {:keyword, name()}
  | {:symbol_ref, String.t()}
  | {:repl_discovery, atom(), [t()]}

name()

@type name() :: atom() | String.t()

pattern()

@type pattern() ::
  {:var, name()}
  | {:destructure, {:keys, [name()], keyword()}}
  | {:destructure, {:map, [name()], [{pattern(), term()}], keyword()}}
  | {:destructure, {:as, name(), pattern()}}
  | {:destructure, {:seq, [pattern()]}}
  | {:destructure, {:seq_rest, [pattern()], pattern()}}

t()

@type t() ::
  literal()
  | {:vector, [t()]}
  | {:map, [{t(), t()}]}
  | {:set, [t()]}
  | {:var, name()}
  | {:data, name()}
  | {:call, t(), [t()]}
  | {:let, [binding()], t()}
  | {:if, t(), t(), t()}
  | {:fn, fn_params(), t()}
  | {:fn, name(), fn_params(), t()}
  | {:do, [t()]}
  | {:and, [t()]}
  | {:or, [t()]}
  | {:return, t()}
  | {:fail, t()}
  | {:task, String.t(), t()}
  | {:task_dynamic, t(), t()}
  | {:step_done, t(), t()}
  | {:task_reset, t()}
  | {:tool_call, name(), [t()]}
  | {:def, name(), t(), map()}
  | {:defonce, name(), t(), map()}
  | {:loop, [binding()], t()}
  | {:recur, [t()]}