The lila Reference Manual

Table of Contents

The lila Reference Manual

This is the lila Reference Manual, version 28, generated automatically by Declt version 3.0 "Montgomery Scott" on Mon Dec 02 10:38:26 2019 GMT+0.

1 Introduction

intro

lila is a cleaner, less nested and more declarative language based on Common Lisp.

fun fib(n:Int) {
  if {n.< 2} n {
    {fib; n.- 1}.+ {fib; n.- 2}
  }
}

setup

The following command sequence should take you from zero to REPL.

Note that SBCL and Quicklisp are required to build lila.

$ git clone https://github.com/codr7/lila.git
$ cd lila
$ ln -s "$(pwd)/lila.asd" ~/quicklisp/local-projects
$ mkdir dist
$ ./makedist
$ dist/lila
lila

Press Return on empty row to evaluate.

  * 6 7

42

status

The current implementation weighs in below 1 kloc and supports everything described in this document.

$ dist/lila -build dist/test test/suite.lila
$ dist/test

syntax

Functions and macros are generic with fixed arity. Bare names evaluate to calls and consume the same number of forms as specified arguments.

  * 6 7

42

Curlies allow grouping forms and controlling evaluation order.

  {* 6 {+ 3 4}}
  
42

In simple cases such as previous example, ; may be used to reduce nesting.

  {* 6; + 3 4}
  
42

Dot notation allows putting the called macro/function infix.

  21.neg.* 2
  
-42

identity/equality

is returns true when both arguments share the same identity.

  42.is 42

true

For reference types, such as lists; identity means address.

  (42).is (42)

false

equals may be used to compare values.

  (42).equals (42)

true

bindings

Values may be bound to names using var.

  {
    var foo 42
    foo
  }

42

Bound values may be changed using =, which is a regular macro. Assignments evaluate to the new value, 3 in the following example.

  {
    var foo 1
    + {foo.= 3} 5
  }
  
8

Changing non-existing bindings triggers compile time errors.

  foo.= 42

System error at row 1, col 0: Unknown id: foo

constants

Constant bindings are evaluated at compile time and inlined on reference.

  {
    const FOO 42
    FOO
  }

42

Changing constant bindings triggers compile time errors.

  {
    const FOO 1
    FOO.= 3
  }

System error at row 3, col 2: Can't rebind const: FOO

types

Meta

Meta is the type of all types, including itself.

  Meta.type-of

Meta

None

None represents missing values and has exactly one instance named _.

  _.type-of

None

Suffixing any type except None with ? evaluates to a sum type that matches the specified type and None.

  None.is-a Int

false

  None.is-a Int?

true

Bool

Booleans can be true or false.

All values have boolean representations; many are unconditionally true, 0 and empty lists being two notable exceptions.

  0.bool

false

  (1 2 3).bool

true

Logical operators are binary, short-circuiting and return the last evaluated argument.

  true.and 42

42

  42.or false

42

Pair

Pairs allow treating two values as one.

  {
    var foo 1:2
    foo
  }

1:2

Pairs are closely related to lists, zipping any value with the empty list evaluates to a single-element list.

42:()
  
(42)

Parts may be extracted using deconstructing bindings.

  {
    var foo {1:2}
    var a:b foo
    b:a
  }

2:1

Fun

Functions are generic with fixed arity.

Arguments have type Any by default, which doesn't allow missing values. Calling missing functions triggers compile time errors.

  {
    fun foo(x) {42}
    _.foo
  }

debugger invoked on a SB-PCL::NO-APPLICABLE-METHOD-ERROR

When allowing missing values is exactly what you want, specifying the argument type is all it takes.

  {
    fun foo(x:Any?) {42}
    _.foo
  }
  
42

By default, functions return the value of the last evaluated form. Return may be used to exit early with optional result.

  {
    fun foo() {1 return 2 3}
    foo
  }
  
2

sum types

Sum types match any member type.

  Int/Bool

Int/Bool

  Int.is-a Int/Bool
  
true

performance

Optimization level may be set by passing -speed on the command line. The accepted range is 0-9, with 9 being the fastest and 0 default.

$ dist/lila bench/pair.lila
72
$ dist/lila -speed 9 bench/pair.lila
4

license

MIT

support

Please consider donating if you would like to help the project evolve and improve.

2 Systems

The main system appears first, followed by any subsystem dependency.

2.1 lila

Maintainer

codr7

Author

codr7

License

MIT

Description

a cleaner language based on Common Lisp

Version

28

Source

lila.asd (file)

Components

• src/lila.lisp (file)
• src/util.lisp (file)
• src/pos.lisp (file)
• src/error.lisp (file)
• src/id.lisp (file)
• src/type.lisp (file)
• src/arg.lisp (file)
• src/macro.lisp (file)
• src/fun.lisp (file)
• src/undef.lisp (file)
• src/sym.lisp (file)
• src/env.lisp (file)
• src/plugin.lisp (file)
• src/val.lisp (file)
• src/bool.lisp (file)
• src/dot.lisp (file)
• src/expr.lisp (file)
• src/int.lisp (file)
• src/list.lisp (file)
• src/str.lisp (file)
• src/sum.lisp (file)
• src/read.lisp (file)
• src/compile.lisp (file)
• src/io.lisp (file)
• src/repl.lisp (file)
• src/libs/abc.lisp (file)
• src/libs/io.lisp (file)
• src/libs/math.lisp (file)

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.

3.1 Lisp

3.1.1 lila.asd

Location

lila.asd

Systems

lila (system)

3.1.2 lila/src/lila.lisp

Parent

lila (system)

Location

src/lila.lisp

Packages

lila

Exported Definitions

lila-version (symbol macro)

3.1.3 lila/src/util.lisp

Dependency

src/lila.lisp (file)

Parent

lila (system)

Location

src/util.lisp

Internal Definitions

• *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)

Parent

lila (system)

Location

src/pos.lisp

Internal Definitions

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

3.1.5 lila/src/error.lisp

Dependency

src/pos.lisp (file)

Parent

lila (system)

Location

src/error.lisp

Internal Definitions

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

3.1.6 lila/src/id.lisp

Dependency

src/error.lisp (file)

Parent

lila (system)

Location

src/id.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/type.lisp

Internal Definitions

• _ (special variable)
• _ (class)
• any-type (special variable)
• any-type (class)
• any?-type (class)
• define-type (macro)
• get-type (method)
• get-type (method)
• id (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 (method)
• opt? (method)

3.1.8 lila/src/arg.lisp

Dependency

src/type.lisp (file)

Parent

lila (system)

Location

src/arg.lisp

Internal Definitions

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

3.1.9 lila/src/macro.lisp

Dependency

src/arg.lisp (file)

Parent

lila (system)

Location

src/macro.lisp

Internal Definitions

• expand (method)
• get-type (method)
• id (method)
• imp (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)

Parent

lila (system)

Location

src/fun.lisp

Internal Definitions

• *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 (method)
• let-fun (macro)
• nargs (method)

3.1.11 lila/src/undef.lisp

Dependency

src/fun.lisp (file)

Parent

lila (system)

Location

src/undef.lisp

Internal Definitions

• get-type (method)
• lila-type (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)

Parent

lila (system)

Location

src/sym.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/env.lisp

Internal Definitions

• *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)

Parent

lila (system)

Location

src/plugin.lisp

Internal Definitions

link (function)

3.1.15 lila/src/val.lisp

Dependency

src/plugin.lisp (file)

Parent

lila (system)

Location

src/val.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/bool.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/dot.lisp

Internal Definitions

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

3.1.18 lila/src/expr.lisp

Dependency

src/dot.lisp (file)

Parent

lila (system)

Location

src/expr.lisp

Internal Definitions

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

3.1.19 lila/src/int.lisp

Dependency

src/expr.lisp (file)

Parent

lila (system)

Location

src/int.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/list.lisp

Internal Definitions

• *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)

Parent

lila (system)

Location

src/str.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/sum.lisp

Internal Definitions

• emit-val (method)
• get-type (method)
• make-sum (function)
• make-sum-type (macro)
• members (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)

Parent

lila (system)

Location

src/read.lisp

Internal Definitions

• *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)

Parent

lila (system)

Location

src/compile.lisp

Internal Definitions

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

3.1.25 lila/src/io.lisp

Dependency

src/compile.lisp (file)

Parent

lila (system)

Location

src/io.lisp

Internal Definitions

• *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)

Parent

lila (system)

Location

src/repl.lisp

Internal Definitions

repl (function)

3.1.27 lila/src/libs/abc.lisp

Dependency

src/repl.lisp (file)

Parent

lila (system)

Location

src/libs/abc.lisp

Internal Definitions

• *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)

Parent

lila (system)

Location

src/libs/io.lisp

Internal Definitions

• 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)

Parent

lila (system)

Location

src/libs/math.lisp

Internal Definitions

init-math (function)

4 Packages

Packages are listed by definition order.

4.1 lila

Source

src/lila.lisp (file)

Use List

common-lisp

Exported Definitions

lila-version (symbol macro)

Internal Definitions

• *args* (symbol macro)
• *debug* (special variable)
• *empty-list* (special variable)
• *env* (special variable)
• *let-fun-id* (special variable)
• *missing* (special variable)
• *pos* (special variable)
• *speed* (special variable)
• *stdin* (symbol macro)
• *stdout* (symbol macro)
• *this-fun* (special variable)
• *val-pos* (special variable)
• _ (special variable)
• _ (class)
• any-type (special variable)
• any-type (class)
• any?-type (class)
• bool (class)
• bool-type (special variable)
• bool-type (class)
• bool?-type (class)
• call (generic function)
• call (method)
• caps! (function)
• char-digit (function)
• clock (macro)
• clone-env (function)
• clone-pos (function)
• col (generic function)
• col (method)
• (setf col) (method)
• (setf col) (generic function)
• compare-vals (generic function)
• compare-vals (method)
• compare-vals (method)
• define-type (macro)
• derive-class (macro)
• do-env (macro)
• dohash (macro)
• dot (class)
• dot-type (special variable)
• dot-type (class)
• dot?-type (class)
• dump-val (generic function)
• dump-val (method)
• dump-val (method)
• dump-val (method)
• dump-val (method)
• dump-val (method)
• dump-val (method)
• emit-body (function)
• emit-val (generic function)
• emit-val (method)
• emit-val (method)
• emit-val (method)
• emit-val (method)
• emit-val (method)
• emit-val (method)
• emit-val (method)
• emit-vals (function)
• empty-list (class)
• equal-vals (generic function)
• equal-vals (method)
• equal-vals (method)
• equal-vals (method)
• esys (function)
• esys (condition)
• expand (generic function)
• expand (method)
• expr (class)
• expr-type (special variable)
• expr-type (class)
• expr?-type (class)
• false (special variable)
• false (class)
• false-type (special variable)
• false-type (class)
• false?-type (class)
• file (generic function)
• file (method)
• find-function (function)
• fun (class)
• fun-type (special variable)
• fun-type (class)
• fun?-type (class)
• get-arg-id (function)
• get-arg-type (function)
• get-form (function)
• get-type (generic function)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type (method)
• get-type-id (function)
• get-val (function)
• id (generic function)
• id (method)
• id (method)
• id (method)
• imp (generic function)
• imp (method)
• init-abc (function)
• init-io (function)
• init-io-vars (function)
• init-math (function)
• int-type (special variable)
• int-type (class)
• int?-type (class)
• io-type (special variable)
• io-type (class)
• io?-type (class)
• is-a (function)
• left (generic function)
• left (method)
• let-fun (macro)
• let-id (function)
• let-macro (macro)
• let-type (function)
• let-val (function)
• lila-compile (function)
• lila-load (function)
• lila-type (generic function)
• lila-type (method)
• lila-type (class)
• link (function)
• lisp-id (function)
• list-type (special variable)
• list-type (class)
• list?-type (class)
• macro (class)
• macro-type (special variable)
• macro-type (class)
• macro?-type (class)
• make-bool (function)
• make-dot (function)
• make-env (function)
• make-expr (function)
• make-id (function)
• make-lila-list (function)
• make-sum (function)
• make-sum-type (macro)
• make-undef (function)
• members (generic function)
• members (method)
• meta-type (special variable)
• meta-type (class)
• meta?-type (class)
• msg (generic function)
• msg (method)
• nargs (generic function)
• nargs (method)
• new-pos (function)
• none-type (special variable)
• none-type (class)
• num-type (special variable)
• num-type (class)
• num?-type (class)
• opt-type (generic function)
• opt-type (method)
• opt? (generic function)
• opt? (method)
• pair-type (special variable)
• pair-type (class)
• pair? (function)
• pair?-type (class)
• pos (generic function)
• pos (method)
• pos (class)
• print-val (generic function)
• print-val (method)
• read-expr (function)
• read-id (function)
• read-list (function)
• read-num (function)
• read-sum (function)
• read-val (function)
• read-vals (function)
• repl (function)
• right (generic function)
• right (method)
• row (generic function)
• row (method)
• (setf row) (method)
• (setf row) (generic function)
• separator? (function)
• skip-whitespace (function)
• split (function)
• str-io-type (special variable)
• str-io-type (class)
• str-type (special variable)
• str-type (class)
• str?-type (class)
• strio?-type (class)
• sum (class)
• sum-type (special variable)
• sum-type (class)
• sum?-type (class)
• sym-type (special variable)
• sym-type (class)
• sym?-type (class)
• symf (function)
• to-bool (generic function)
• to-bool (method)
• to-bool (method)
• to-bool (method)
• to-bool (method)
• to-bool (method)
• to-list (function)
• true (special variable)
• true (class)
• true-type (special variable)
• true-type (class)
• true?-type (class)
• undef (class)
• undef-type (special variable)
• undef-type (class)
• undef? (generic function)
• undef? (method)
• undef? (method)
• undef?-type (class)
• vals (generic function)
• vals (method)
• whitespace? (function)
• with-env (macro)
• with-lila (macro)

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

5.1 Exported definitions

5.1.1 Symbol macros

Symbol Macro: lila-version

Package

lila

Source

src/lila.lisp (file)

Expansion

(slot-value (asdf/system:find-system (quote lila::lila)) (quote asdf/component:version))

5.2 Internal definitions

5.2.1 Special variables

Special Variable: *debug*

Package

lila

Source

src/compile.lisp (file)

Special Variable: *empty-list*

Package

lila

Source

src/list.lisp (file)

Special Variable: *env*

Package

lila

Source

src/env.lisp (file)

Special Variable: *let-fun-id*

Package

lila

Source

src/libs/abc.lisp (file)

Special Variable: *missing*

Package

lila

Source

src/util.lisp (file)

Special Variable: *pos*

Package

lila

Source

src/pos.lisp (file)

Special Variable: *speed*

Package

lila

Source

src/compile.lisp (file)

Special Variable: *this-fun*

Package

lila

Source

src/fun.lisp (file)

Special Variable: *val-pos*

Package

lila

Source

src/read.lisp (file)

Special Variable: _

Package

lila

Source

src/type.lisp (file)

Special Variable: any-type

Package

lila

Source

src/type.lisp (file)

Special Variable: bool-type

Package

lila

Source

src/bool.lisp (file)

Special Variable: dot-type

Package

lila

Source

src/dot.lisp (file)

Special Variable: expr-type

Package

lila

Source

src/expr.lisp (file)

Special Variable: false

Package

lila

Source

src/bool.lisp (file)

Special Variable: false-type

Package

lila

Source

src/bool.lisp (file)

Special Variable: fun-type

Package

lila

Source

src/fun.lisp (file)

Special Variable: int-type

Package

lila

Source

src/int.lisp (file)

Special Variable: io-type

Package

lila

Source

src/libs/io.lisp (file)

Special Variable: list-type

Package

lila

Source

src/list.lisp (file)

Special Variable: macro-type

Package

lila

Source

src/macro.lisp (file)

Special Variable: meta-type

Package

lila

Source

src/type.lisp (file)

Special Variable: none-type

Package

lila

Source

src/type.lisp (file)

Special Variable: num-type

Package

lila

Source

src/int.lisp (file)

Special Variable: pair-type

Package

lila

Source

src/list.lisp (file)

Special Variable: str-io-type

Package

lila

Source

src/libs/io.lisp (file)

Special Variable: str-type

Package

lila

Source

src/str.lisp (file)

Special Variable: sum-type

Package

lila

Source

src/sum.lisp (file)

Special Variable: sym-type

Package

lila

Source

src/sym.lisp (file)

Special Variable: true

Package

lila

Source

src/bool.lisp (file)

Special Variable: true-type

Package

lila

Source

src/bool.lisp (file)

Special Variable: undef-type

Package

lila

Source

src/undef.lisp (file)

5.2.2 Symbol macros

Symbol Macro: *args*

Package

lila

Source

src/io.lisp (file)

Expansion

(lila::get-val (lila::make-id "args"))

Symbol Macro: *stdin*

Package

lila

Source

src/io.lisp (file)

Expansion

(lila::get-val (lila::make-id "in"))

Symbol Macro: *stdout*

Package

lila

Source

src/io.lisp (file)

Expansion

(lila::get-val (lila::make-id "out"))

5.2.3 Macros

Macro: clock REPS &body BODY

Package

lila

Source

src/util.lisp (file)

Macro: define-type ID (&rest PARENTS)

Package

lila

Source

src/type.lisp (file)

Macro: derive-class CHILD PARENT

Package

lila

Source

src/util.lisp (file)

Macro: do-env (K V) &body BODY

Package

lila

Source

src/env.lisp (file)

Macro: dohash (KEY VAL TBL) &body BODY

Package

lila

Source

src/util.lisp (file)

Macro: let-fun ID (&rest ARGS) &body BODY

Package

lila

Source

src/fun.lisp (file)

Macro: let-macro ID (&rest ARGS) &body BODY

Package

lila

Source

src/macro.lisp (file)

Macro: make-sum-type &rest MEMBERS

Package

lila

Source

src/sum.lisp (file)

Macro: with-env (&optional ENV) &body BODY

Package

lila

Source

src/env.lisp (file)

Macro: with-lila &body BODY

Package

lila

Source

src/libs/abc.lisp (file)

5.2.4 Functions

Function: caps! S

Package

lila

Source

src/util.lisp (file)

Function: char-digit C

Package

lila

Source

src/util.lisp (file)

Function: clone-env ()

Package

lila

Source

src/env.lisp (file)

Function: clone-pos &optional POS

Package

lila

Source

src/pos.lisp (file)

Function: emit-body IN &key OUT REVERSE?

Package

lila

Source

src/val.lisp (file)

Function: emit-vals IN &key OUT REVERSE?

Package

lila

Source

src/val.lisp (file)

Function: esys POS SPEC &rest ARGS

Package

lila

Source

src/error.lisp (file)

Function: find-function ID &optional PKG

Package

lila

Source

src/util.lisp (file)

Function: get-arg-id A

Package

lila

Source

src/arg.lisp (file)

Function: get-arg-type A

Package

lila

Source

src/arg.lisp (file)

Function: get-form IN

Package

lila

Source

src/val.lisp (file)

Function: get-type-id S

Package

lila

Source

src/id.lisp (file)

Function: get-val ID &key DEFAULT ENV POS

Package

lila

Source

src/env.lisp (file)

Function: init-abc ()

Package

lila

Source

src/libs/abc.lisp (file)

Function: init-io ()

Package

lila

Source

src/libs/io.lisp (file)

Function: init-io-vars ()

Package

lila

Source

src/libs/io.lisp (file)

Function: init-math ()

Package

lila

Source

src/libs/math.lisp (file)

Function: is-a CHILD PARENT

Package

lila

Source

src/type.lisp (file)

Function: let-id DEF

Package

lila

Source

src/id.lisp (file)

Function: let-type TYP

Package

lila

Source

src/type.lisp (file)

Function: let-val ID VAL &key FORCE? POS

Package

lila

Source

src/env.lisp (file)

Function: lila-compile VALS

Package

lila

Source

src/compile.lisp (file)

Function: lila-load FILENAME

Package

lila

Source

src/io.lisp (file)

Function: link PLUGIN-ID &key POS

Package

lila

Source

src/plugin.lisp (file)

Function: lisp-id ID

Package

lila

Source

src/id.lisp (file)

Function: make-bool V

Package

lila

Source

src/bool.lisp (file)

Function: make-dot LEFT RIGHT

Package

lila

Source

src/dot.lisp (file)

Function: make-env ()

Package

lila

Source

src/env.lisp (file)

Function: make-expr &rest ARGS

Package

lila

Source

src/expr.lisp (file)

Function: make-id ID

Package

lila

Source

src/id.lisp (file)

Function: make-lila-list IN

Package

lila

Source

src/list.lisp (file)

Function: make-sum MEMBERS

Package

lila

Source

src/sum.lisp (file)

Function: make-undef &rest ARGS

Package

lila

Source

src/undef.lisp (file)

Function: new-pos &rest ARGS

Package

lila

Source

src/pos.lisp (file)

Function: pair? V

Package

lila

Source

src/util.lisp (file)

Function: read-expr IN

Package

lila

Source

src/read.lisp (file)

Function: read-id IN

Package

lila

Source

src/read.lisp (file)

Function: read-list IN

Package

lila

Source

src/read.lisp (file)

Function: read-num IN

Package

lila

Source

src/read.lisp (file)

Function: read-sum IN FIRST

Package

lila

Source

src/read.lisp (file)

Function: read-val IN

Package

lila

Source

src/read.lisp (file)

Function: read-vals IN &key OUT

Package

lila

Source

src/read.lisp (file)

Function: repl ()

Package

lila

Source

src/repl.lisp (file)

Function: separator? C

Package

lila

Source

src/read.lisp (file)

Function: skip-whitespace IN

Package

lila

Source

src/read.lisp (file)

Function: split IN I

Package

lila

Source

src/util.lisp (file)

Function: symf SPEC &rest ARGS

Package

lila

Source

src/util.lisp (file)

Function: to-list IN

Package

lila

Source

src/list.lisp (file)

Function: whitespace? C

Package

lila

Source

src/util.lisp (file)

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 (file)

Generic Function: col OBJECT

Generic Function: (setf col) NEW-VALUE OBJECT

Package

lila

Methods

Method: col (POS pos)

automatically generated reader method

Source

src/pos.lisp (file)

Method: (setf col) NEW-VALUE (POS pos)

automatically generated writer method

Source

src/pos.lisp (file)

Generic Function: compare-vals X Y

Package

lila

Methods

Method: compare-vals (X number) (Y number)

Source

src/int.lisp (file)

Method: compare-vals (X symbol) (Y symbol)

Source

src/sym.lisp (file)

Generic Function: dump-val F OUT

Package

lila

Methods

Method: dump-val (V stream) OUT

Source

src/libs/io.lisp (file)

Method: dump-val V OUT

Source

src/io.lisp (file)

Method: dump-val (V string) OUT

Source

src/str.lisp (file)

Method: dump-val (-- empty-list) OUT

Source

src/list.lisp (file)

Method: dump-val (V list) OUT

Source

src/list.lisp (file)

Method: dump-val (F generic-function) OUT

Source

src/fun.lisp (file)

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 (file)

Method: emit-val (-- empty-list) &key IN OUT POS

Source

src/list.lisp (file)

Method: emit-val (V list) &key IN OUT POS

Source

src/list.lisp (file)

Method: emit-val (E expr) &key IN OUT POS

Source

src/expr.lisp (file)

Method: emit-val (D dot) &key IN OUT POS

Source

src/dot.lisp (file)

Method: emit-val VAL &key IN OUT POS

Source

src/val.lisp (file)

Method: emit-val (ID symbol) &key IN OUT POS

Source

src/sym.lisp (file)

Generic Function: equal-vals X Y

Package

lila

Methods

Method: equal-vals (X string) (Y string)

Source

src/str.lisp (file)

Method: equal-vals (X list) (Y list)

Source

src/list.lisp (file)

Method: equal-vals X Y

Source

src/val.lisp (file)

Generic Function: expand M IN OUT &key POS

Package

lila

Methods

Method: expand (M macro) IN OUT &key POS

Source

src/macro.lisp (file)

Generic Function: file OBJECT

Package

lila

Methods

Method: file (POS pos)

automatically generated reader method

Source

src/pos.lisp (file)

Generic Function: get-type --

Package

lila

Methods

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

Source

src/libs/io.lisp (file)

Method: get-type (-- stream)

Source

src/libs/io.lisp (file)

Method: get-type (-- sum)

Source

src/sum.lisp (file)

Method: get-type (-- string)

Source

src/str.lisp (file)

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

Source

src/list.lisp (file)

Method: get-type (V list)

Source

src/list.lisp (file)

Method: get-type (-- integer)

Source

src/int.lisp (file)

Method: get-type (-- expr)

Source

src/expr.lisp (file)

Method: get-type (-- dot)

Source

src/dot.lisp (file)

Method: get-type (-- false)

Source

src/bool.lisp (file)

Method: get-type (-- true)

Source

src/bool.lisp (file)

Method: get-type (S symbol)

Source

src/sym.lisp (file)

Method: get-type (-- undef)

Source

src/undef.lisp (file)

Method: get-type (-- fun)

Source

src/fun.lisp (file)

Method: get-type (-- macro)

Source

src/macro.lisp (file)

Method: get-type (VAL lila-type)

Source

src/type.lisp (file)

Method: get-type (-- _)

Source

src/type.lisp (file)

Generic Function: id OBJECT

Package

lila

Methods

Method: id (FUN fun)

automatically generated reader method

Source

src/fun.lisp (file)

Method: id (MACRO macro)

automatically generated reader method

Source

src/macro.lisp (file)

Method: id (LILA-TYPE lila-type)

automatically generated reader method

Source

src/type.lisp (file)

Generic Function: imp OBJECT

Package

lila

Methods

Method: imp (MACRO macro)

automatically generated reader method

Source

src/macro.lisp (file)

Generic Function: left OBJECT

Package

lila

Methods

Method: left (DOT dot)

automatically generated reader method

Source

src/dot.lisp (file)

Generic Function: lila-type OBJECT

Package

lila

Methods

Method: lila-type (UNDEF undef)

automatically generated reader method

Source

src/undef.lisp (file)

Generic Function: members OBJECT

Package

lila

Methods

Method: members (SUM sum)

automatically generated reader method

Source

src/sum.lisp (file)

Generic Function: msg CONDITION

Package

lila

Methods

Method: msg (CONDITION esys)

Source

src/error.lisp (file)

Generic Function: nargs OBJECT

Package

lila

Methods

Method: nargs (FUN fun)

automatically generated reader method

Source

src/fun.lisp (file)

Generic Function: opt-type OBJECT

Package

lila

Methods

Method: opt-type (LILA-TYPE lila-type)

automatically generated reader method

Source

src/type.lisp (file)

Generic Function: opt? OBJECT

Package

lila

Methods

Method: opt? (LILA-TYPE lila-type)

automatically generated reader method

Source

src/type.lisp (file)

Generic Function: pos CONDITION

Package

lila

Methods

Method: pos (CONDITION esys)

Source

src/error.lisp (file)

Generic Function: print-val V OUT

Package

lila

Methods

Method: print-val V OUT

Source

src/io.lisp (file)

Generic Function: right OBJECT

Package

lila

Methods

Method: right (DOT dot)

automatically generated reader method

Source

src/dot.lisp (file)

Generic Function: row OBJECT

Generic Function: (setf row) NEW-VALUE OBJECT

Package

lila

Methods

Method: row (POS pos)

automatically generated reader method

Source

src/pos.lisp (file)

Method: (setf row) NEW-VALUE (POS pos)

automatically generated writer method

Source

src/pos.lisp (file)

Generic Function: to-bool --

Package

lila

Methods

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

Source

src/list.lisp (file)

Method: to-bool (V integer)

Source

src/int.lisp (file)

Method: to-bool (-- undef)

Source

src/dot.lisp (file)

Method: to-bool (-- false)

Source

src/bool.lisp (file)

Method: to-bool --

Source

src/bool.lisp (file)

Generic Function: undef? --

Package

lila

Methods

Method: undef? (-- undef)

Source

src/undef.lisp (file)

Method: undef? --

Source

src/undef.lisp (file)

Generic Function: vals OBJECT

Package

lila

Methods

Method: vals (EXPR expr)

automatically generated reader method

Source

src/expr.lisp (file)

5.2.6 Conditions

Condition: esys ()

Package

lila

Source

src/error.lisp (file)

Direct superclasses

error (condition)

Direct methods

• print-object (method)
• msg (method)
• pos (method)

Direct slots

Slot: pos

Initargs

:pos

Readers

pos (generic function)

Slot: msg

Initargs

:msg

Readers

msg (generic function)

5.2.7 Classes

Class: _ ()

Package

lila

Source

src/type.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• print-object (method)
• get-type (method)

Class: any-type ()

Package

lila

Source

src/type.lisp (file)

Direct superclasses

• lila-type (class)
• any?-type (class)

Direct subclasses

• meta-type (class)
• macro-type (class)
• fun-type (class)
• sym-type (class)
• bool-type (class)
• expr-type (class)
• num-type (class)
• pair-type (class)
• str-type (class)
• io-type (class)

Class: any?-type ()

Package

lila

Source

src/type.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• any-type (class)

Class: bool ()

Package

lila

Source

src/bool.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

• true (class)
• false (class)

Class: bool-type ()

Package

lila

Source

src/bool.lisp (file)

Direct superclasses

• any-type (class)
• bool?-type (class)

Direct subclasses

• true-type (class)
• false-type (class)

Class: bool?-type ()

Package

lila

Source

src/bool.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• bool-type (class)

Class: dot ()

Package

lila

Source

src/dot.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• get-type (method)
• emit-val (method)
• print-object (method)
• right (method)
• left (method)

Direct slots

Slot: left

Initargs

:left

Readers

left (generic function)

Slot: right

Initargs

:right

Readers

right (generic function)

Class: dot-type ()

Package

lila

Source

src/dot.lisp (file)

Direct superclasses

• lila-type (class)
• dot?-type (class)

Class: dot?-type ()

Package

lila

Source

src/dot.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• dot-type (class)

Class: empty-list ()

Package

lila

Source

src/list.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• to-bool (method)
• get-type (method)
• emit-val (method)
• dump-val (method)

Class: expr ()

Package

lila

Source

src/expr.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• print-object (method)
• get-type (method)
• emit-val (method)
• vals (method)

Direct slots

Slot: vals

Initargs

:vals

Readers

vals (generic function)

Class: expr-type ()

Package

lila

Source

src/expr.lisp (file)

Direct superclasses

• any-type (class)
• expr?-type (class)

Class: expr?-type ()

Package

lila

Source

src/expr.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• expr-type (class)

Class: false ()

Package

lila

Source

src/bool.lisp (file)

Direct superclasses

bool (class)

Direct methods

• to-bool (method)
• print-object (method)
• get-type (method)

Class: false-type ()

Package

lila

Source

src/bool.lisp (file)

Direct superclasses

• bool-type (class)
• false?-type (class)

Class: false?-type ()

Package

lila

Source

src/bool.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• false-type (class)

Class: fun ()

Package

lila

Source

src/fun.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• print-object (method)
• call (method)
• get-type (method)
• nargs (method)
• id (method)

Direct slots

Slot: id

Initargs

:id

Readers

id (generic function)

Slot: nargs

Initargs

:nargs

Readers

nargs (generic function)

Slot: imp

Initargs

:imp

Class: fun-type ()

Package

lila

Source

src/fun.lisp (file)

Direct superclasses

• any-type (class)
• fun?-type (class)

Class: fun?-type ()

Package

lila

Source

src/fun.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• fun-type (class)

Class: int-type ()

Package

lila

Source

src/int.lisp (file)

Direct superclasses

• num-type (class)
• int?-type (class)

Class: int?-type ()

Package

lila

Source

src/int.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• int-type (class)

Class: io-type ()

Package

lila

Source

src/libs/io.lisp (file)

Direct superclasses

• any-type (class)
• io?-type (class)

Direct subclasses

str-io-type (class)

Class: io?-type ()

Package

lila

Source

src/libs/io.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• io-type (class)

Class: lila-type ()

Package

lila

Source

src/type.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

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

Direct methods

• get-type (method)
• print-object (method)
• initialize-instance (method)
• opt-type (method)
• opt? (method)
• id (method)

Direct slots

Slot: id

Initargs

:id

Readers

id (generic function)

Slot: opt?

Initargs

:opt?

Readers

opt? (generic function)

Slot: opt-type

Readers

opt-type (generic function)

Class: list-type ()

Package

lila

Source

src/list.lisp (file)

Direct superclasses

• pair-type (class)
• list?-type (class)

Class: list?-type ()

Package

lila

Source

src/list.lisp (file)

Direct superclasses

lila-type (class)

Direct subclasses

• none-type (class)
• list-type (class)

Class: macro ()

Package

lila

Source

src/macro.lisp (file)

Direct superclasses

standard-object (class)

Direct methods

• print-object (method)
• get-type (method)
• expand (method)
• imp (method)
• id (method)

Direct slots

Slot: id

Initargs

:id

Readers

id (generic function)

Slot: nargs

Initargs

:nargs

Slot: imp

Initargs

:imp

Readers

imp (generic function)

Class: macro-type ()

Package

lila

Source

src/macro.lisp (file)

Direct superclasses

• any-type (class)
• macro?-type (class)