The lila Reference Manual

3.1.1 lila/lila.asd

Source

lila.asd.

Parent Component

lila (system).

ASDF Systems

lila.

---

3.1.2 lila/src/lila.lisp

Source

lila.asd.

Parent Component

lila (system).

Packages

lila.

Public Interface

lila-version (symbol macro).

---

3.1.3 lila/src/util.lisp

Dependency

src/lila.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *missing* (special variable).
• caps! (function).
• char-digit (function).
• clock (macro).
• derive-class (macro).
• dohash (macro).
• find-function (function).
• pair? (function).
• split (function).
• symf (function).
• whitespace? (function).

---

3.1.4 lila/src/pos.lisp

Dependency

src/util.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

print-object (method).

Internals

• *pos* (special variable).
• clone-pos (function).
• col (reader method).
• (setf col) (writer method).
• file (reader method).
• new-pos (function).
• pos (class).
• row (reader method).
• (setf row) (writer method).

---

3.1.5 lila/src/error.lisp

Dependency

src/pos.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

print-object (method).

Internals

• esys (function).
• esys (condition).
• msg (reader method).
• pos (reader method).

---

3.1.6 lila/src/id.lisp

Dependency

src/error.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• get-type-id (function).
• let-id (function).
• lisp-id (function).
• make-id (function).

---

3.1.7 lila/src/type.lisp

Dependency

src/id.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

• initialize-instance (method).
• print-object (method).
• print-object (method).

Internals

• _ (special variable).
• _ (class).
• any-type (special variable).
• any-type (class).
• any?-type (class).
• define-type (macro).
• get-type (method).
• get-type (method).
• id (reader method).
• is-a (function).
• let-type (function).
• lila-type (class).
• meta-type (special variable).
• meta-type (class).
• meta?-type (class).
• none-type (special variable).
• none-type (class).
• opt-type (reader method).
• opt? (reader method).

---

3.1.8 lila/src/arg.lisp

Dependency

src/type.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• get-arg-id (function).
• get-arg-type (function).

---

3.1.9 lila/src/macro.lisp

Dependency

src/arg.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

print-object (method).

Internals

• expand (method).
• get-type (method).
• id (reader method).
• imp (reader method).
• let-macro (macro).
• macro (class).
• macro-type (special variable).
• macro-type (class).
• macro?-type (class).

---

3.1.10 lila/src/fun.lisp

Dependency

src/macro.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

print-object (method).

Internals

• *this-fun* (special variable).
• call (method).
• dump-val (method).
• fun (class).
• fun-type (special variable).
• fun-type (class).
• fun?-type (class).
• get-type (method).
• id (reader method).
• let-fun (macro).
• nargs (reader method).

---

3.1.11 lila/src/undef.lisp

Dependency

src/fun.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• get-type (method).
• lila-type (reader method).
• make-undef (function).
• undef (class).
• undef-type (special variable).
• undef-type (class).
• undef? (method).
• undef? (method).
• undef?-type (class).

---

3.1.12 lila/src/sym.lisp

Dependency

src/undef.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• compare-vals (method).
• emit-val (method).
• get-type (method).
• sym-type (special variable).
• sym-type (class).
• sym?-type (class).

---

3.1.13 lila/src/env.lisp

Dependency

src/sym.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *env* (special variable).
• clone-env (function).
• do-env (macro).
• get-val (function).
• let-val (function).
• make-env (function).
• with-env (macro).

---

3.1.14 lila/src/plugin.lisp

Dependency

src/env.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

link (function).

---

3.1.15 lila/src/val.lisp

Dependency

src/plugin.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• emit-body (function).
• emit-val (method).
• emit-vals (function).
• equal-vals (method).
• get-form (function).

---

3.1.16 lila/src/bool.lisp

Dependency

src/val.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

• print-object (method).
• print-object (method).

Internals

• bool (class).
• bool-type (special variable).
• bool-type (class).
• bool?-type (class).
• false (special variable).
• false (class).
• false-type (special variable).
• false-type (class).
• false?-type (class).
• get-type (method).
• get-type (method).
• make-bool (function).
• to-bool (method).
• to-bool (method).
• true (special variable).
• true (class).
• true-type (special variable).
• true-type (class).
• true?-type (class).

---

3.1.17 lila/src/dot.lisp

Dependency

src/bool.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

print-object (method).

Internals

• dot (class).
• dot-type (special variable).
• dot-type (class).
• dot?-type (class).
• emit-val (method).
• get-type (method).
• left (reader method).
• make-dot (function).
• right (reader method).
• to-bool (method).

---

3.1.18 lila/src/expr.lisp

Dependency

src/dot.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Public Interface

print-object (method).

Internals

• emit-val (method).
• expr (class).
• expr-type (special variable).
• expr-type (class).
• expr?-type (class).
• get-type (method).
• make-expr (function).
• vals (reader method).

---

3.1.19 lila/src/int.lisp

Dependency

src/expr.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• compare-vals (method).
• get-type (method).
• int-type (special variable).
• int-type (class).
• int?-type (class).
• num-type (special variable).
• num-type (class).
• num?-type (class).
• to-bool (method).

---

3.1.20 lila/src/list.lisp

Dependency

src/int.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *empty-list* (special variable).
• dump-val (method).
• dump-val (method).
• emit-val (method).
• emit-val (method).
• empty-list (class).
• equal-vals (method).
• get-type (method).
• get-type (method).
• list-type (special variable).
• list-type (class).
• list?-type (class).
• make-lila-list (function).
• pair-type (special variable).
• pair-type (class).
• pair?-type (class).
• to-bool (method).
• to-list (function).

---

3.1.21 lila/src/str.lisp

Dependency

src/list.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• dump-val (method).
• equal-vals (method).
• get-type (method).
• str-type (special variable).
• str-type (class).
• str?-type (class).

---

3.1.22 lila/src/sum.lisp

Dependency

src/str.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• emit-val (method).
• get-type (method).
• make-sum (function).
• make-sum-type (macro).
• members (reader method).
• sum (class).
• sum-type (special variable).
• sum-type (class).
• sum?-type (class).

---

3.1.23 lila/src/read.lisp

Dependency

src/sum.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *val-pos* (special variable).
• read-expr (function).
• read-id (function).
• read-list (function).
• read-num (function).
• read-sum (function).
• read-val (function).
• read-vals (function).
• separator? (function).
• skip-whitespace (function).

---

3.1.24 lila/src/compile.lisp

Dependency

src/read.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *debug* (special variable).
• *speed* (special variable).
• lila-compile (function).

---

3.1.25 lila/src/io.lisp

Dependency

src/compile.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *args* (symbol macro).
• *stdin* (symbol macro).
• *stdout* (symbol macro).
• dump-val (method).
• lila-load (function).
• print-val (method).

---

3.1.26 lila/src/repl.lisp

Dependency

src/io.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

repl (function).

---

3.1.27 lila/src/libs/abc.lisp

Dependency

src/repl.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• *let-fun-id* (special variable).
• init-abc (function).
• with-lila (macro).

---

3.1.28 lila/src/libs/io.lisp

Dependency

src/libs/abc.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

• dump-val (method).
• get-type (method).
• get-type (method).
• init-io (function).
• init-io-vars (function).
• io-type (special variable).
• io-type (class).
• io?-type (class).
• str-io-type (special variable).
• str-io-type (class).
• strio?-type (class).

---

3.1.29 lila/src/libs/math.lisp

Dependency

src/libs/io.lisp (file).

Source

lila.asd.

Parent Component

lila (system).

Internals

init-math (function).

---

5.1.1 Symbol macros

Symbol Macro: lila-version ¶

Package

lila.

Source

src/lila.lisp.

---

5.1.2 Standalone methods

Method: initialize-instance :after ((obj lila-type) &key) ¶

Source

src/type.lisp.

Method: print-object ((p pos) out) ¶

Source

src/pos.lisp.

Method: print-object ((v lila-type) out) ¶

Source

src/type.lisp.

Method: print-object ((f fun) out) ¶

Source

src/fun.lisp.

Method: print-object ((– false) out) ¶

Source

src/bool.lisp.

Method: print-object ((– _) out) ¶

Source

src/type.lisp.

Method: print-object ((e expr) out) ¶

Source

src/expr.lisp.

Method: print-object ((– true) out) ¶

Source

src/bool.lisp.

Method: print-object ((m macro) out) ¶

Source

src/macro.lisp.

Method: print-object ((e esys) out) ¶

Source

src/error.lisp.

Method: print-object ((d dot) out) ¶

Source

src/dot.lisp.

---

5.2.1 Special variables

Special Variable: *debug* ¶

Package

lila.

Source

src/compile.lisp.

Special Variable: *empty-list* ¶

Package

lila.

Source

src/list.lisp.

Special Variable: *env* ¶

Package

lila.

Source

src/env.lisp.

Special Variable: *let-fun-id* ¶

Package

lila.

Source

src/libs/abc.lisp.

Special Variable: *missing* ¶

Package

lila.

Source

src/util.lisp.

Special Variable: *pos* ¶

Package

lila.

Source

src/pos.lisp.

Special Variable: *speed* ¶

Package

lila.

Source

src/compile.lisp.

Special Variable: *this-fun* ¶

Package

lila.

Source

src/fun.lisp.

Special Variable: *val-pos* ¶

Package

lila.

Source

src/read.lisp.

Special Variable: _ ¶

Package

lila.

Source

src/type.lisp.

Special Variable: any-type ¶

Package

lila.

Source

src/type.lisp.

Special Variable: bool-type ¶

Package

lila.

Source

src/bool.lisp.

Special Variable: dot-type ¶

Package

lila.

Source

src/dot.lisp.

Special Variable: expr-type ¶

Package

lila.

Source

src/expr.lisp.

Special Variable: false ¶

Package

lila.

Source

src/bool.lisp.

Special Variable: false-type ¶

Package

lila.

Source

src/bool.lisp.

Special Variable: fun-type ¶

Package

lila.

Source

src/fun.lisp.

Special Variable: int-type ¶

Package

lila.

Source

src/int.lisp.

Special Variable: io-type ¶

Package

lila.

Source

src/libs/io.lisp.

Special Variable: list-type ¶

Package

lila.

Source

src/list.lisp.

Special Variable: macro-type ¶

Package

lila.

Source

src/macro.lisp.

Special Variable: meta-type ¶

Package

lila.

Source

src/type.lisp.

Special Variable: none-type ¶

Package

lila.

Source

src/type.lisp.

Special Variable: num-type ¶

Package

lila.

Source

src/int.lisp.

Special Variable: pair-type ¶

Package

lila.

Source

src/list.lisp.

Special Variable: str-io-type ¶

Package

lila.

Source

src/libs/io.lisp.

Special Variable: str-type ¶

Package

lila.

Source

src/str.lisp.

Special Variable: sum-type ¶

Package

lila.

Source

src/sum.lisp.

Special Variable: sym-type ¶

Package

lila.

Source

src/sym.lisp.

Special Variable: true ¶

Package

lila.

Source

src/bool.lisp.

Special Variable: true-type ¶

Package

lila.

Source

src/bool.lisp.

Special Variable: undef-type ¶

Package

lila.

Source

src/undef.lisp.

---

5.2.2 Symbol macros

Symbol Macro: *args* ¶

Package

lila.

Source

src/io.lisp.

Symbol Macro: *stdin* ¶

Package

lila.

Source

src/io.lisp.

Symbol Macro: *stdout* ¶

Package

lila.

Source

src/io.lisp.

---

5.2.3 Macros

Macro: clock (reps &body body) ¶

Package

lila.

Source

src/util.lisp.

Macro: define-type (id (&rest parents)) ¶

Package

lila.

Source

src/type.lisp.

Macro: derive-class (child parent) ¶

Package

lila.

Source

src/util.lisp.

Macro: do-env ((k v) &body body) ¶

Package

lila.

Source

src/env.lisp.

Macro: dohash ((key val tbl) &body body) ¶

Package

lila.

Source

src/util.lisp.

Macro: let-fun (id (&rest args) &body body) ¶

Package

lila.

Source

src/fun.lisp.

Macro: let-macro (id (&rest args) &body body) ¶

Package

lila.

Source

src/macro.lisp.

Macro: make-sum-type (&rest members) ¶

Package

lila.

Source

src/sum.lisp.

Macro: with-env ((&optional env) &body body) ¶

Package

lila.

Source

src/env.lisp.

Macro: with-lila (&body body) ¶

Package

lila.

Source

src/libs/abc.lisp.

---

5.2.4 Ordinary functions

Function: caps! (s) ¶

Package

lila.

Source

src/util.lisp.

Function: char-digit (c) ¶

Package

lila.

Source

src/util.lisp.

Function: clone-env () ¶

Package

lila.

Source

src/env.lisp.

Function: clone-pos (&optional pos) ¶

Package

lila.

Source

src/pos.lisp.

Function: emit-body (in &key out reverse?) ¶

Package

lila.

Source

src/val.lisp.

Function: emit-vals (in &key out reverse?) ¶

Package

lila.

Source

src/val.lisp.

Function: esys (pos spec &rest args) ¶

Package

lila.

Source

src/error.lisp.

Function: find-function (id &optional pkg) ¶

Package

lila.

Source

src/util.lisp.

Function: get-arg-id (a) ¶

Package

lila.

Source

src/arg.lisp.

Function: get-arg-type (a) ¶

Package

lila.

Source

src/arg.lisp.

Function: get-form (in) ¶

Package

lila.

Source

src/val.lisp.

Function: get-type-id (s) ¶

Package

lila.

Source

src/id.lisp.

Function: get-val (id &key default env pos) ¶

Package

lila.

Source

src/env.lisp.

Function: init-abc () ¶

Package

lila.

Source

src/libs/abc.lisp.

Function: init-io () ¶

Package

lila.

Source

src/libs/io.lisp.

Function: init-io-vars () ¶

Package

lila.

Source

src/libs/io.lisp.

Function: init-math () ¶

Package

lila.

Source

src/libs/math.lisp.

Function: is-a (child parent) ¶

Package

lila.

Source

src/type.lisp.

Function: let-id (def) ¶

Package

lila.

Source

src/id.lisp.

Function: let-type (typ) ¶

Package

lila.

Source

src/type.lisp.

Function: let-val (id val &key force? pos) ¶

Package

lila.

Source

src/env.lisp.

Function: lila-compile (vals) ¶

Package

lila.

Source

src/compile.lisp.

Function: lila-load (filename) ¶

Package

lila.

Source

src/io.lisp.

Function: link (plugin-id &key pos) ¶

Package

lila.

Source

src/plugin.lisp.

Function: lisp-id (id) ¶

Package

lila.

Source

src/id.lisp.

Function: make-bool (v) ¶

Package

lila.

Source

src/bool.lisp.

Function: make-dot (left right) ¶

Package

lila.

Source

src/dot.lisp.

Function: make-env () ¶

Package

lila.

Source

src/env.lisp.

Function: make-expr (&rest args) ¶

Package

lila.

Source

src/expr.lisp.

Function: make-id (id) ¶

Package

lila.

Source

src/id.lisp.

Function: make-lila-list (in) ¶

Package

lila.

Source

src/list.lisp.

Function: make-sum (members) ¶

Package

lila.

Source

src/sum.lisp.

Function: make-undef (&rest args) ¶

Package

lila.

Source

src/undef.lisp.

Function: new-pos (&rest args) ¶

Package

lila.

Source

src/pos.lisp.

Function: pair? (v) ¶

Package

lila.

Source

src/util.lisp.

Function: read-expr (in) ¶

Package

lila.

Source

src/read.lisp.

Function: read-id (in) ¶

Package

lila.

Source

src/read.lisp.

Function: read-list (in) ¶

Package

lila.

Source

src/read.lisp.

Function: read-num (in) ¶

Package

lila.

Source

src/read.lisp.

Function: read-sum (in first) ¶

Package

lila.

Source

src/read.lisp.

Function: read-val (in) ¶

Package

lila.

Source

src/read.lisp.

Function: read-vals (in &key out) ¶

Package

lila.

Source

src/read.lisp.

Function: repl () ¶

Package

lila.

Source

src/repl.lisp.

Function: separator? (c) ¶

Package

lila.

Source

src/read.lisp.

Function: skip-whitespace (in) ¶

Package

lila.

Source

src/read.lisp.

Function: split (in i) ¶

Package

lila.

Source

src/util.lisp.

Function: symf (spec &rest args) ¶

Package

lila.

Source

src/util.lisp.

Function: to-list (in) ¶

Package

lila.

Source

src/list.lisp.

Function: whitespace? (c) ¶

Package

lila.

Source

src/util.lisp.

---

5.2.5 Generic functions

Generic Function: call (f args &key pos) ¶

Package

lila.

Methods

Method: call ((f fun) args &key pos) ¶

Source

src/fun.lisp.

Generic Reader: col (object) ¶

Package

lila.

Methods

Reader Method: col ((pos pos)) ¶

automatically generated reader method

Source

src/pos.lisp.

Target Slot

col.

Generic Writer: (setf col) (object) ¶

Package

lila.

Methods

Writer Method: (setf col) ((pos pos)) ¶

automatically generated writer method

Source

src/pos.lisp.

Target Slot

col.

Generic Function: compare-vals (x y) ¶

Package

lila.

Methods

Method: compare-vals ((x number) (y number)) ¶

Source

src/int.lisp.

Method: compare-vals ((x symbol) (y symbol)) ¶

Source

src/sym.lisp.

Generic Function: dump-val (f out) ¶

Package

lila.

Methods

Method: dump-val ((v stream) out) ¶

Source

src/libs/io.lisp.

Method: dump-val (v out) ¶

Source

src/io.lisp.

Method: dump-val ((v string) out) ¶

Source

src/str.lisp.

Method: dump-val ((– empty-list) out) ¶

Source

src/list.lisp.

Method: dump-val ((v list) out) ¶

Source

src/list.lisp.

Method: dump-val ((f generic-function) out) ¶

Source

src/fun.lisp.

Generic Function: emit-val (id &key in out pos) ¶

Package

lila.

Methods

Method: emit-val ((v sum) &key in out pos) ¶

Source

src/sum.lisp.

Method: emit-val ((– empty-list) &key in out pos) ¶

Source

src/list.lisp.

Method: emit-val ((v list) &key in out pos) ¶

Source

src/list.lisp.

Method: emit-val ((e expr) &key in out pos) ¶

Source

src/expr.lisp.

Method: emit-val ((d dot) &key in out pos) ¶

Source

src/dot.lisp.

Method: emit-val (val &key in out pos) ¶

Source

src/val.lisp.

Method: emit-val ((id symbol) &key in out pos) ¶

Source

src/sym.lisp.

Generic Function: equal-vals (x y) ¶

Package

lila.

Methods

Method: equal-vals ((x string) (y string)) ¶

Source

src/str.lisp.

Method: equal-vals ((x list) (y list)) ¶

Source

src/list.lisp.

Method: equal-vals (x y) ¶

Source

src/val.lisp.

Generic Function: expand (m in out &key pos) ¶

Package

lila.

Methods

Method: expand ((m macro) in out &key pos) ¶

Source

src/macro.lisp.

Generic Reader: file (object) ¶

Package

lila.

Methods

Reader Method: file ((pos pos)) ¶

automatically generated reader method

Source

src/pos.lisp.

Target Slot

file.

Generic Function: get-type (–) ¶

Package

lila.

Methods

Method: get-type ((– string-stream)) ¶

Source

src/libs/io.lisp.

Method: get-type ((– stream)) ¶

Source

src/libs/io.lisp.

Method: get-type ((– sum)) ¶

Source

src/sum.lisp.

Method: get-type ((– string)) ¶

Source

src/str.lisp.

Method: get-type ((– empty-list)) ¶

Source

src/list.lisp.

Method: get-type ((v list)) ¶

Source

src/list.lisp.

Method: get-type ((– integer)) ¶

Source

src/int.lisp.

Method: get-type ((– expr)) ¶

Source

src/expr.lisp.

Method: get-type ((– dot)) ¶

Source

src/dot.lisp.

Method: get-type ((– false)) ¶

Source

src/bool.lisp.

Method: get-type ((– true)) ¶

Source

src/bool.lisp.

Method: get-type ((s symbol)) ¶

Source

src/sym.lisp.

Method: get-type ((– undef)) ¶

Source

src/undef.lisp.

Method: get-type ((– fun)) ¶

Source

src/fun.lisp.

Method: get-type ((– macro)) ¶

Source

src/macro.lisp.

Method: get-type ((val lila-type)) ¶

Source

src/type.lisp.

Method: get-type ((– _)) ¶

Source

src/type.lisp.

Generic Reader: id (object) ¶

Package

lila.

Methods

Reader Method: id ((fun fun)) ¶

automatically generated reader method

Source

src/fun.lisp.

Target Slot

id.

Reader Method: id ((macro macro)) ¶

automatically generated reader method

Source

src/macro.lisp.

Target Slot

id.

Reader Method: id ((lila-type lila-type)) ¶

automatically generated reader method

Source

src/type.lisp.

Target Slot

id.

Generic Reader: imp (object) ¶

Package

lila.

Methods

Reader Method: imp ((macro macro)) ¶

automatically generated reader method

Source

src/macro.lisp.

Target Slot

imp.

Generic Reader: left (object) ¶

Package

lila.

Methods

Reader Method: left ((dot dot)) ¶

automatically generated reader method

Source

src/dot.lisp.

Target Slot

left.

Generic Reader: lila-type (object) ¶

Package

lila.

Methods

Reader Method: lila-type ((undef undef)) ¶

automatically generated reader method

Source

src/undef.lisp.

Target Slot

lila-type.

Generic Reader: members (object) ¶

Package

lila.

Methods

Reader Method: members ((sum sum)) ¶

automatically generated reader method

Source

src/sum.lisp.

Target Slot

members.

Generic Reader: msg (condition) ¶

Package

lila.

Methods

Reader Method: msg ((condition esys)) ¶

Source

src/error.lisp.

Target Slot

msg.

Generic Reader: nargs (object) ¶

Package

lila.

Methods

Reader Method: nargs ((fun fun)) ¶

automatically generated reader method

Source

src/fun.lisp.

Target Slot

nargs.

Generic Reader: opt-type (object) ¶

Package

lila.

Methods

Reader Method: opt-type ((lila-type lila-type)) ¶

automatically generated reader method

Source

src/type.lisp.

Target Slot

opt-type.

Generic Reader: opt? (object) ¶

Package

lila.

Methods

Reader Method: opt? ((lila-type lila-type)) ¶

automatically generated reader method

Source

src/type.lisp.

Target Slot

opt?.

Generic Reader: pos (condition) ¶

Package

lila.

Methods

Reader Method: pos ((condition esys)) ¶

Source

src/error.lisp.

Target Slot

pos.

Generic Function: print-val (v out) ¶

Package

lila.

Methods

Method: print-val (v out) ¶

Source

src/io.lisp.

Generic Reader: right (object) ¶

Package

lila.

Methods

Reader Method: right ((dot dot)) ¶

automatically generated reader method

Source

src/dot.lisp.

Target Slot

right.

Generic Reader: row (object) ¶

Package

lila.

Methods

Reader Method: row ((pos pos)) ¶

automatically generated reader method

Source

src/pos.lisp.

Target Slot

row.

Generic Writer: (setf row) (object) ¶

Package

lila.

Methods

Writer Method: (setf row) ((pos pos)) ¶

automatically generated writer method

Source

src/pos.lisp.

Target Slot

row.

Generic Function: to-bool (–) ¶

Package

lila.

Methods

Method: to-bool ((– empty-list)) ¶

Source

src/list.lisp.

Method: to-bool ((v integer)) ¶

Source

src/int.lisp.

Method: to-bool ((– undef)) ¶

Source

src/dot.lisp.

Method: to-bool ((– false)) ¶

Source

src/bool.lisp.

Method: to-bool (–) ¶

Source

src/bool.lisp.

Generic Function: undef? (–) ¶

Package

lila.

Methods

Method: undef? ((– undef)) ¶

Source

src/undef.lisp.

Method: undef? (–) ¶

Source

src/undef.lisp.

Generic Reader: vals (object) ¶

Package

lila.

Methods

Reader Method: vals ((expr expr)) ¶

automatically generated reader method

Source

src/expr.lisp.

Target Slot

vals.

---

5.2.6 Conditions

Condition: esys ¶

Package

lila.

Source

src/error.lisp.

Direct superclasses

error.

Direct methods

• msg.
• pos.
• print-object.

Direct slots

Slot: pos ¶

Initargs

:pos

Readers

pos.

Writers

This slot is read-only.

Slot: msg ¶

Initargs

:msg

Readers

msg.

Writers

This slot is read-only.

---

5.2.7 Classes

Class: _ ¶

Package

lila.

Source

src/type.lisp.

Direct methods

• get-type.
• print-object.

Class: any-type ¶

Package

lila.

Source

src/type.lisp.

Direct superclasses

• any?-type.
• lila-type.

Direct subclasses

• bool-type.
• expr-type.
• fun-type.
• io-type.
• macro-type.
• meta-type.
• num-type.
• pair-type.
• str-type.
• sym-type.

Class: any?-type ¶

Package

lila.

Source

src/type.lisp.

Direct superclasses

lila-type.

Direct subclasses

• any-type.
• none-type.

Class: bool ¶

Package

lila.

Source

src/bool.lisp.

Direct subclasses

• false.
• true.

Class: bool-type ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

• any-type.
• bool?-type.

Direct subclasses

• false-type.
• true-type.

Class: bool?-type ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

lila-type.

Direct subclasses

• bool-type.
• none-type.

Class: dot ¶

Package

lila.

Source

src/dot.lisp.

Direct methods

• emit-val.
• get-type.
• left.
• print-object.
• right.

Direct slots

Slot: left ¶

Initargs

:left

Readers

left.

Writers

This slot is read-only.

Slot: right ¶

Initargs

:right

Readers

right.

Writers

This slot is read-only.

Class: dot-type ¶

Package

lila.

Source

src/dot.lisp.

Direct superclasses

• dot?-type.
• lila-type.

Class: dot?-type ¶

Package

lila.

Source

src/dot.lisp.

Direct superclasses

lila-type.

Direct subclasses

• dot-type.
• none-type.

Class: empty-list ¶

Package

lila.

Source

src/list.lisp.

Direct methods

• dump-val.
• emit-val.
• get-type.
• to-bool.

Class: expr ¶

Package

lila.

Source

src/expr.lisp.

Direct methods

• emit-val.
• get-type.
• print-object.
• vals.

Direct slots

Slot: vals ¶

Initargs

:vals

Readers

vals.

Writers

This slot is read-only.

Class: expr-type ¶

Package

lila.

Source

src/expr.lisp.

Direct superclasses

• any-type.
• expr?-type.

Class: expr?-type ¶

Package

lila.

Source

src/expr.lisp.

Direct superclasses

lila-type.

Direct subclasses

• expr-type.
• none-type.

Class: false ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

bool.

Direct methods

• get-type.
• print-object.
• to-bool.

Class: false-type ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

• bool-type.
• false?-type.

Class: false?-type ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

lila-type.

Direct subclasses

• false-type.
• none-type.

Class: fun ¶

Package

lila.

Source

src/fun.lisp.

Direct methods

• call.
• get-type.
• id.
• nargs.
• print-object.

Direct slots

Slot: id ¶

Initargs

:id

Readers

id.

Writers

This slot is read-only.

Slot: nargs ¶

Initargs

:nargs

Readers

nargs.

Writers

This slot is read-only.

Slot: imp ¶

Initargs

:imp

Class: fun-type ¶

Package

lila.

Source

src/fun.lisp.

Direct superclasses

• any-type.
• fun?-type.

Class: fun?-type ¶

Package

lila.

Source

src/fun.lisp.

Direct superclasses

lila-type.

Direct subclasses

• fun-type.
• none-type.

Class: int-type ¶

Package

lila.

Source

src/int.lisp.

Direct superclasses

• int?-type.
• num-type.

Class: int?-type ¶

Package

lila.

Source

src/int.lisp.

Direct superclasses

lila-type.

Direct subclasses

• int-type.
• none-type.

Class: io-type ¶

Package

lila.

Source

src/libs/io.lisp.

Direct superclasses

• any-type.
• io?-type.

Direct subclasses

str-io-type.

Class: io?-type ¶

Package

lila.

Source

src/libs/io.lisp.

Direct superclasses

lila-type.

Direct subclasses

• io-type.
• none-type.

Class: lila-type ¶

Package

lila.

Source

src/type.lisp.

Direct subclasses

• any-type.
• any?-type.
• bool?-type.
• dot-type.
• dot?-type.
• expr?-type.
• false?-type.
• fun?-type.
• int?-type.
• io?-type.
• list?-type.
• macro?-type.
• meta?-type.
• none-type.
• num?-type.
• pair?-type.
• str?-type.
• strio?-type.
• sum-type.
• sum?-type.
• sym?-type.
• true?-type.
• undef-type.
• undef?-type.

Direct methods

• get-type.
• id.
• initialize-instance.
• opt-type.
• opt?.
• print-object.

Direct slots

Slot: id ¶

Initargs

:id

Readers

id.

Writers

This slot is read-only.

Slot: opt? ¶

Initargs

:opt?

Readers

opt?.

Writers

This slot is read-only.

Slot: opt-type ¶

Readers

opt-type.

Writers

This slot is read-only.

Class: list-type ¶

Package

lila.

Source

src/list.lisp.

Direct superclasses

• list?-type.
• pair-type.

Class: list?-type ¶

Package

lila.

Source

src/list.lisp.

Direct superclasses

lila-type.

Direct subclasses

• list-type.
• none-type.

Class: macro ¶

Package

lila.

Source

src/macro.lisp.

Direct methods

• expand.
• get-type.
• id.
• imp.
• print-object.

Direct slots

Slot: id ¶

Initargs

:id

Readers

id.

Writers

This slot is read-only.

Slot: nargs ¶

Initargs

:nargs

Slot: imp ¶

Initargs

:imp

Readers

imp.

Writers

This slot is read-only.

Class: macro-type ¶

Package

lila.

Source

src/macro.lisp.

Direct superclasses

• any-type.
• macro?-type.

Class: macro?-type ¶

Package

lila.

Source

src/macro.lisp.

Direct superclasses

lila-type.

Direct subclasses

• macro-type.
• none-type.

Class: meta-type ¶

Package

lila.

Source

src/type.lisp.

Direct superclasses

• any-type.
• meta?-type.

Class: meta?-type ¶

Package

lila.

Source

src/type.lisp.

Direct superclasses

lila-type.

Direct subclasses

• meta-type.
• none-type.

Class: none-type ¶

Package

lila.

Source

src/type.lisp.

Direct superclasses

• any?-type.
• bool?-type.
• dot?-type.
• expr?-type.
• false?-type.
• fun?-type.
• int?-type.
• io?-type.
• lila-type.
• list?-type.
• macro?-type.
• meta?-type.
• num?-type.
• pair?-type.
• str?-type.
• strio?-type.
• sum?-type.
• sym?-type.
• true?-type.
• undef?-type.

Class: num-type ¶

Package

lila.

Source

src/int.lisp.

Direct superclasses

• any-type.
• num?-type.

Direct subclasses

int-type.

Class: num?-type ¶

Package

lila.

Source

src/int.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• num-type.

Class: pair-type ¶

Package

lila.

Source

src/list.lisp.

Direct superclasses

• any-type.
• pair?-type.

Direct subclasses

list-type.

Class: pair?-type ¶

Package

lila.

Source

src/list.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• pair-type.

Class: pos ¶

Package

lila.

Source

src/pos.lisp.

Direct methods

• (setf col).
• col.
• file.
• print-object.
• (setf row).
• row.

Direct slots

Slot: file ¶

Initargs

:file

Readers

file.

Writers

This slot is read-only.

Slot: row ¶

Initform

1

Initargs

:row

Readers

row.

Writers

(setf row).

Slot: col ¶

Initform

0

Initargs

:col

Readers

col.

Writers

(setf col).

Class: str-io-type ¶

Package

lila.

Source

src/libs/io.lisp.

Direct superclasses

• io-type.
• strio?-type.

Class: str-type ¶

Package

lila.

Source

src/str.lisp.

Direct superclasses

• any-type.
• str?-type.

Class: str?-type ¶

Package

lila.

Source

src/str.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• str-type.

Class: strio?-type ¶

Package

lila.

Source

src/libs/io.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• str-io-type.

Class: sum ¶

Package

lila.

Source

src/sum.lisp.

Direct methods

• emit-val.
• get-type.
• members.

Direct slots

Slot: members ¶

Initargs

:members

Readers

members.

Writers

This slot is read-only.

Class: sum-type ¶

Package

lila.

Source

src/sum.lisp.

Direct superclasses

• lila-type.
• sum?-type.

Class: sum?-type ¶

Package

lila.

Source

src/sum.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• sum-type.

Class: sym-type ¶

Package

lila.

Source

src/sym.lisp.

Direct superclasses

• any-type.
• sym?-type.

Class: sym?-type ¶

Package

lila.

Source

src/sym.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• sym-type.

Class: true ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

bool.

Direct methods

• get-type.
• print-object.

Class: true-type ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

• bool-type.
• true?-type.

Class: true?-type ¶

Package

lila.

Source

src/bool.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• true-type.

Class: undef ¶

Package

lila.

Source

src/undef.lisp.

Direct methods

• get-type.
• lila-type.
• to-bool.
• undef?.

Direct slots

Slot: lila-type ¶

Initform

lila::any-type

Initargs

:lila-type

Readers

lila-type.

Writers

This slot is read-only.

Class: undef-type ¶

Package

lila.

Source

src/undef.lisp.

Direct superclasses

• lila-type.
• undef?-type.

Class: undef?-type ¶

Package

lila.

Source

src/undef.lisp.

Direct superclasses

lila-type.

Direct subclasses

• none-type.
• undef-type.

---