Index

Symbols

!

Core Module

Macro, Macro-Node: !(functor)

!!

Core Module

Meta-Node, Meta-Node: !!(x)

!-

Core Module

Meta-Node, Meta-Node: !-(test, value)

!=

Core Module

Meta-Node, Meta-Node: !=(a, b)

%

Core Module

Meta-Node, Meta-Node: %(x, y)

&

Core Module

Macro, Macro-Node: &(node)

Special Operator

Node References, Node References

'

Core Module

Macro, Macro-Node: '(x)

*

Core Module

Meta-Node, Meta-Node: *(x, y)

+

Core Module

Meta-Node, Meta-Node: +(x, y)

-

Core Module

Meta-Node, Meta-Node: -(x, :(y))

->

Core Module

Macro, Macro-Node: ->(source, target)

Special Operator

Bindings, Declaring Bindings

.

Special Operator

Subnodes, Subnodes

..

Core Module

Macro, Macro-Node: ..(node)

Special Operator

Outer Node References, Outer Node References

/

Core Module

Meta-Node, Meta-Node: /(x, y)

/attribute

Special Operator

Attributes, Attributes

/context

Special Operator

Contexts, Explicit Contexts

/export

Special Operator

Modules, Importing Nodes

/external

Special Operator

External Meta-Nodes, External Meta-Nodes

/import

Special Operator

Modules, Importing Nodes

/in

Special Operator

Modules, Direct References

/module

Special Operator

Modules, Creating Modules

/operator

Special Operators

Infix Operators, Registering Infix Operators

/quote

Special Operator

Literal Symbols, Literal Symbols

/state

Special Operator

Node States, Node States

/use

Special Operator

Modules, Module Pseudo-Nodes

/use-as

Special Operator

Modules, Module Pseudo-Nodes

:

Core Module

Macro, Macro-Node: :(id(args...), body)

Special Operator

Meta-Node Definition, Defining Meta-Nodes

::

Core Module

Macro, Macro-Node: ::(node, state)

<

Core Module

Meta-Node, Meta-Node: <(x, y)

<-

Core Module

Macro, Macro-Node: <-(target, source)

<=

Core Module

Meta-Node, Meta-Node: <=(x, y)

=

Core Module

Meta-Node, Meta-Node: =(a, b)

>

Core Module

Meta-Node, Meta-Node: >(x, y)

>=

Core Module

Meta-Node, Meta-Node: >=(x, y)

?

Core Module

Meta-Node, Meta-Node: ?(x)

@

Core Module

Macro, Macro-Node: @(node, context : '(default))

A

Accessing Node Values

Foreign Function Interface, Accessing and Setting Node Values

and

Core Module

Meta-Node, Meta-Node: and(x, y)

append

Core Module

Meta-Node, Meta-Node: append(list1, list2)

apply

Core Module

Meta-Node, Meta-Node: apply(f, ..(xs))

Arithmetic

Core Module, Arithmetic

Arity-Error

Core Module

Failure Type, Failure Type Node: Arity-Error
Node, Failure Type Node: Arity-Error

Arity-Error!

Core Module

Node, Failure Type Node: Arity-Error

Atoms

Syntax

Nodes, Atom Nodes

Attribute

Coalescing, Coalescing
Instance as Target, Instances as Targets, Target Node Transforms
Macro Nodes, Macro Nodes
Pattern Matching, Matchers

Attributes, Attributes

Nodes, Attributes

B

Bind Declarations

Nodes

Bindings, Declaring Bindings

Bindings, Declaring Bindings, Propagation of Changes, Contexts, Two-Way Bindings, Literal Bindings, Conditional Bindings, Node States

Core Module

Macros, Bindings

Nodes, Nodes

Builtin Failure Types

Core Module

Failures, Builtin Failure Types

JavaScript Backend

Foreign Function Interface, Builtin Failure Types

WebAssembly Backend

Foreign Function Interface, Builtin Failure Types

C

c

Core Module

Macro, Macro-Node: c(x)

case

Core Module

Macro, Macro-Node: case(..(clauses))

catch

Core Module

Meta-Node, Meta-Node: catch(try, catch, :(test))

char?

Core Module

Meta-Node, Meta-Node: char?

coalescable

Attribute

Coalescing, Coalescing

Coalescing, Coalescing

Optimizations, Coalescing

combine-conditions

Core Module

Meta-Node, Meta-Node: combine-conditions(c1, c2)

Comments

Syntax, Syntax

Comparison

Core Module, Comparison

Conditional Bindings

Nodes

Bindings, Conditional Bindings

conditionalize-bindings

Core Module

Meta-Node, Meta-Node: conditionalize-bindings(condition, bindings)

cons

Core Module

Meta-Node, Meta-Node: cons(head, tail)

cons?

Core Module

Meta-Node, Meta-Node: cons?(thing)

Constant Patterns

Core Module

Pattern Matching, Constant Patterns

Contexts, Explicit Contexts

Nodes

Bindings, Contexts

core

module

Standard Library, Core Module

Core Module, Arithmetic, Comparison, Logical Operators, Selection Operators, Types, Lists, Strings, Introspection, Pattern Matching, Operator Table

Failure Type, Failure Type Node: No-Value, Failure Type Node: Type-Error, Failure Type Node: Index-Out-Bounds, Failure Type Node: Invalid-Integer, Failure Type Node: Invalid-Real, Failure Type Node: Arity-Error, Node: Empty, Failure Type Node: Match-Fail
Failures, Builtin Failure Types
Macro, Macro-Node: '(x), Macro-Node: c(x), Macro-Node: &(node), Macro-Node: ->(source, target), Macro-Node: <-(target, source), Macro-Node: @(node, context : '(default)), Macro-Node: ::(node, state), Macro-Node: :(id(args...), body), Macro-Node: ..(node), Macro-Node: !(functor), Macro-Node: case(..(clauses))
Macros, Literals, Bindings, Meta-Node Definitions
Meta-Node, Meta-Node: fail(:(type)), Meta-Node: fail-type(x), Meta-Node: fails?(x), Meta-Node: ?(x), Meta-Node: fail-type?(x, type), Meta-Node: !!(x), Meta-Node: !-(test, value), Meta-Node: catch(try, catch, :(test)), Meta-Node: +(x, y), Meta-Node: -(x, :(y)), Meta-Node: *(x, y), Meta-Node: /(x, y), Meta-Node: %(x, y), Meta-Node: <(x, y), Meta-Node: <=(x, y), Meta-Node: >(x, y), Meta-Node: >=(x, y), Meta-Node: =(a, b), Meta-Node: !=(a, b), Meta-Node: and(x, y), Meta-Node: or(x, y), Meta-Node: not(x), Meta-Node: if(condition, true-value, :(false-value)), Meta-Node: int(x), Meta-Node: real(x), Meta-Node: string(x), Meta-Node: to-int(x), Meta-Node: to-real(x), Meta-Node: to-string(x), Meta-Node: int?(x), Meta-Node: real?(x), Meta-Node: string?(x), Meta-Node: symbol?, Meta-Node: char?, Meta-Node: inf?(x), Meta-Node: NaN?(x), Meta-Node: cons(head, tail), Meta-Node: head(list), Meta-Node: tail(list), Meta-Node: cons?(thing), Meta-Node: list(..(xs)), Meta-Node: list*(..(xs)), Meta-Node: list!(..(xs)), Meta-Node: nth(list, n), Meta-Node: append(list1, list2), Meta-Node: foldl'(x, f, list), Meta-Node: foldl(f, list), Meta-Node: foldr(f, list, :(x)), Meta-Node: map(f, list), Meta-Node: filter(f, list), Meta-Node: every?(f, list), Meta-Node: some?(f, list), Meta-Node: not-any?(f, list), Meta-Node: not-every?(f, list), Meta-Node: string-at(string, index), Meta-Node: string-concat(string, str1, str2), Meta-Node: string->list(string), Meta-Node: list->string(list), Meta-Node: format(string, ..(args)), Meta-Node: apply(f, ..(xs)), Meta-Node: node?(thing), Meta-Node: find-node(node, :(module)), Meta-Node: get-attribute(node, attribute), Meta-Node: Pattern(condition, :(binding)), Meta-Node: get-matcher(node), Meta-Node: make-pattern(place, pattern), Meta-Node: combine-conditions(c1, c2), Meta-Node: conditionalize-bindings(condition, bindings), Meta-Node: fail-match(condition), Meta-Node: make-match-bind(src, target), Meta-Node: make-pattern-declarations(pattern)
Node, Failure Type Node: No-Value, Failure Type Node: Type-Error, Failure Type Node: Index-Out-Bounds, Failure Type Node: Invalid-Integer, Failure Type Node: Invalid-Real, Failure Type Node: Arity-Error, Node True, Node False, Node: Empty, Node: Empty!, Failure Type Node: Match-Fail
Pattern Matching, Pattern Matching, Nested Patterns, Constant Patterns, Matchers, Module: core/patterns
Standard Library, Core Module
Utilities, Failures

D

Decimal Syntax

Syntax

Reals, Numbers

Definitions

Core Module

Macros, Meta-Node Definitions

Dependency

Nodes, Nodes

Dictionaries

Value Type, Subnodes

Direct References

Modules, Direct References

E

Empty

Core Module

Failure Type, Node: Empty
Node, Node: Empty

Empty!

Core Module

Node, Node: Empty!

Escape Sequences

Syntax

Strings, Strings

Evaluation

Nodes, Evaluation Strategy

every?

Core Module

Meta-Node, Meta-Node: every?(f, list)

Explicit Contexts

Nodes

Contexts, Explicit Contexts

Exponent Syntax

Syntax

Reals, Numbers

Exporting Nodes

Modules, Importing Nodes

External Functions

Foreign Function Interface, Calling External Functions

JavaScript Backend

Foreign Function Interface, Linking Meta-Nodes to External Functions

WebAssembly Backend

Foreign Function Interface, Linking Meta-Nodes to External Functions

External Meta-Nodes, External Meta-Nodes

Meta-Nodes, External Meta-Nodes

F

fail

Core Module

Meta-Node, Meta-Node: fail(:(type))

fail-match

Core Module

Meta-Node, Meta-Node: fail-match(condition)

fail-type

Core Module

Meta-Node, Meta-Node: fail-type(x)

fail-type?

Core Module

Meta-Node, Meta-Node: fail-type?(x, type)

fails?

Core Module

Meta-Node, Meta-Node: fails?(x)

Failure Type, Failure Type Node: No-Value, Failure Type Node: Type-Error, Failure Type Node: Index-Out-Bounds, Failure Type Node: Invalid-Integer, Failure Type Node: Invalid-Real, Failure Type Node: Arity-Error, Node: Empty, Failure Type Node: Match-Fail

Failures

Value Type, Explicit Failures and Failure Types

Failure Values

JavaScript Backend

Foreign Function Interface, Failure Values

Failures, Builtin Failure Types

Core Module

Utilities, Failures

Value Type, Failures, Explicit Failures and Failure Types

False

Core Module

Node, Node False

filter

Core Module

Meta-Node, Meta-Node: filter(f, list)

find-node

Core Module

Meta-Node, Meta-Node: find-node(node, :(module))

foldl

Core Module

Meta-Node, Meta-Node: foldl(f, list)

foldl'

Core Module

Meta-Node, Meta-Node: foldl'(x, f, list)

foldr

Core Module

Meta-Node, Meta-Node: foldr(f, list, :(x))

Foreign Function Interface, Interfacing with Other Languages, Calling External Functions, Accessing and Setting Node Values, Runtime Module Objects, Runtime Node Objects, JavaScript Backend, Value Types, Failure Values, Builtin Failure Types, Lazy Evaluation, Linking Meta-Nodes to External Functions, Runtime Module Object, WebAssembly Backend, Memory, Value Types, Builtin Failure Types, Marshaller, Lazy Evaluation and Garbage Collection, Linking Meta-Nodes to External Functions, Runtime Module Object

format

Core Module

Meta-Node, Meta-Node: format(string, ..(args))

Functions

Meta-Nodes

Semantics, Meta-Nodes

Functor Patterns

Core Module

Pattern Matching, Pattern Matching

Functors, Functors

Syntax

Nodes, Functors

G

Garbage Collection

WebAssembly Backend

Foreign Function Interface, Lazy Evaluation and Garbage Collection

get-attribute

Core Module

Meta-Node, Meta-Node: get-attribute(node, attribute)

get-matcher

Core Module

Meta-Node, Meta-Node: get-matcher(node)

Grammar

Syntax, Syntax

H

head

Core Module

Meta-Node, Meta-Node: head(list)

Higher-Order Meta-Nodes

Meta-Nodes, Higher-Order Meta-Nodes

I

Identifiers

Syntax

Nodes, Atom Nodes

if

Core Module

Meta-Node, Meta-Node: if(condition, true-value, :(false-value))

Importing Nodes

Modules, Importing Nodes

Index-Out-Bounds

Core Module

Failure Type, Failure Type Node: Index-Out-Bounds
Node, Failure Type Node: Index-Out-Bounds

Index-Out-Bounds!

Core Module

Node, Failure Type Node: Index-Out-Bounds

inf?

Core Module

Meta-Node, Meta-Node: inf?(x)

Infix Operators, Functors, Registering Infix Operators

Syntax

Functors, Functors

Initial Values

Nodes

Bindings, Literal Bindings

Input Nodes

Nodes, Input Nodes

Instance as Target, Instances as Targets, Target Node Transforms

Meta-Nodes, Instances as Targets, Target Node Transforms

int

Core Module

Meta-Node, Meta-Node: int(x)

int?

Core Module

Meta-Node, Meta-Node: int?(x)

Integers

Syntax

Numbers, Numbers

Introspection Utilities

Core Module, Introspection

Invalid-Integer

Core Module

Failure Type, Failure Type Node: Invalid-Integer
Node, Failure Type Node: Invalid-Integer

Invalid-Integer!

Core Module

Node, Failure Type Node: Invalid-Integer

Invalid-Real

Core Module

Failure Type, Failure Type Node: Invalid-Real
Node, Failure Type Node: Invalid-Real

Invalid-Real!

Core Module

Node, Failure Type Node: Invalid-Real

J

JavaScript Backend

Foreign Function Interface, JavaScript Backend, Value Types, Failure Values, Builtin Failure Types, Lazy Evaluation, Linking Meta-Nodes to External Functions, Runtime Module Object

L

Lazy Evaluation

JavaScript Backend

Foreign Function Interface, Lazy Evaluation

WebAssembly Backend

Foreign Function Interface, Lazy Evaluation and Garbage Collection

list

Core Module

Meta-Node, Meta-Node: list(..(xs))

list!

Core Module

Meta-Node, Meta-Node: list!(..(xs))

list*

Core Module

Meta-Node, Meta-Node: list*(..(xs))

list->string

Core Module

Meta-Node, Meta-Node: list->string(list)

Lists

Core Module, Lists

Literal Bindings

Nodes

Bindings, Literal Bindings

Literal Symbols, Literal Symbols

Macro-Nodes, Literal Symbols

Literals, Numbers, Strings

Core Module

Macros, Literals

Syntax, Literals

Local Nodes

Meta-Nodes

Meta-Node Definition, Local Nodes

Logical Operators

Core Module, Logical Operators

M

macro

Attribute

Macro Nodes, Macro Nodes

Macro, Macro-Node: '(x), Macro-Node: c(x), Macro-Node: &(node), Macro-Node: ->(source, target), Macro-Node: <-(target, source), Macro-Node: @(node, context : '(default)), Macro-Node: ::(node, state), Macro-Node: :(id(args...), body), Macro-Node: ..(node), Macro-Node: !(functor), Macro-Node: case(..(clauses))

Macro Nodes, Macro Nodes, Node References

Meta-Nodes, Macro Nodes

Macro-Nodes, Literal Symbols

Macros, Literals, Bindings, Meta-Node Definitions

make-match-bind

Core Module

Meta-Node, Meta-Node: make-match-bind(src, target)

make-pattern

Core Module

Meta-Node, Meta-Node: make-pattern(place, pattern)

make-pattern-declarations

Core Module

Meta-Node, Meta-Node: make-pattern-declarations(pattern)

map

Core Module

Meta-Node, Meta-Node: map(f, list)

Marshaller

WebAssembly Backend

Foreign Function Interface, Marshaller

Match-Fail

Core Module

Failure Type, Failure Type Node: Match-Fail
Node, Failure Type Node: Match-Fail

Match-Fail!

Core Module

Node, Failure Type Node: Match-Fail

matcher

Attribute

Pattern Matching, Matchers

Memory

WebAssembly Backend

Foreign Function Interface, Memory

Meta-Node Definition, Defining Meta-Nodes, Optional Arguments, Rest Arguments, Local Nodes, Self Node, Nested Meta-Nodes

Meta-Nodes, Defining Meta-Nodes

Meta-Node References

Meta-Nodes, Higher-Order Meta-Nodes

Meta-Nodes, Defining Meta-Nodes, Recursive Meta-Nodes, Outer Node References, External Meta-Nodes, Higher-Order Meta-Nodes, Macro Nodes, Instances as Targets, Target Node Transforms

Macro Nodes, Macro Nodes

Meta-Node Definition, Optional Arguments, Rest Arguments, Local Nodes, Self Node, Nested Meta-Nodes

Nodes

Semantics, Meta-Nodes

Semantics, Meta-Nodes

module

Standard Library, Core Module

Module Creation

Modules, Creating Modules

Module Pseudo-Nodes

Modules, Module Pseudo-Nodes

Modules, Modules, Creating Modules, Module Pseudo-Nodes, Importing Nodes, Direct References

Infix Operators, Registering Infix Operators
Operators, Operator Table

N

NaN?

Core Module

Meta-Node, Meta-Node: NaN?(x)

Nested Meta-Nodes

Meta-Nodes

Meta-Node Definition, Nested Meta-Nodes

Nested Patterns

Core Module

Pattern Matching, Nested Patterns

No-Value

Core Module

Failure Type, Failure Type Node: No-Value
Node, Failure Type Node: No-Value

No-Value!

Core Module

Node, Failure Type Node: No-Value

Node, Failure Type Node: No-Value, Failure Type Node: Type-Error, Failure Type Node: Index-Out-Bounds, Failure Type Node: Invalid-Integer, Failure Type Node: Invalid-Real, Failure Type Node: Arity-Error, Node True, Node False, Node: Empty, Node: Empty!, Failure Type Node: Match-Fail

Node Creation

Nodes, Declaring Nodes

Node Expression Representation

Meta-Nodes

Macro Nodes, Macro Nodes

Node Lists

Syntax

Nodes, Node Lists

Node References, Node References

Macro Nodes, Node References

Node States, Node States

Nodes

Bindings, Node States

node?

Core Module

Meta-Node, Meta-Node: node?(thing)

Nodes, Atom Nodes, Functors, Node Lists, Nodes, Declaring Nodes, Evaluation Strategy, Input Nodes, Attributes, Subnodes

Bindings, Declaring Bindings, Propagation of Changes, Contexts, Two-Way Bindings, Literal Bindings, Conditional Bindings, Node States
Contexts, Explicit Contexts
Semantics, Nodes, Meta-Nodes
Syntax, Syntax

not

Core Module

Meta-Node, Meta-Node: not(x)

not-any?

Core Module

Meta-Node, Meta-Node: not-any?(f, list)

not-every?

Core Module

Meta-Node, Meta-Node: not-every?(f, list)

nth

Core Module

Meta-Node, Meta-Node: nth(list, n)

Numbers, Numbers

Syntax

Literals, Numbers

O

Observer

Nodes, Nodes

Operator Associativity

Syntax

Infix Operators, Functors

Operator Precedence

Syntax

Infix Operators, Functors

Operator Table

Core Module, Operator Table

Modules

Operators, Operator Table

Operators, Operator Table

Optimizations, Optimizations, Coalescing

Optional Arguments

Meta-Nodes

Meta-Node Definition, Optional Arguments

or

Core Module

Meta-Node, Meta-Node: or(x, y)

Outer Node References, Outer Node References

Meta-Nodes, Outer Node References

P

Pattern

Core Module

Meta-Node, Meta-Node: Pattern(condition, :(binding))

Pattern Matching, Pattern Matching, Nested Patterns, Constant Patterns, Matchers, Module: core/patterns

Core Module, Pattern Matching

Pattern Matching Utilities

Core Module

Pattern Matching, Module: core/patterns

Pattern Object

Core Module

Pattern Matching, Matchers

R

real

Core Module

Meta-Node, Meta-Node: real(x)

real?

Core Module

Meta-Node, Meta-Node: real?(x)

Reals, Numbers

Syntax

Numbers, Numbers

Recursive Meta-Nodes

Meta-Nodes, Recursive Meta-Nodes

Registering Infix Operators

Modules

Infix Operators, Registering Infix Operators

Rest Arguments

Meta-Nodes

Meta-Node Definition, Rest Arguments

Runtime Module Object

JavaScript Backend

Foreign Function Interface, Runtime Module Object

WebAssembly Backend

Foreign Function Interface, Runtime Module Object

Runtime Module Objects

Foreign Function Interface, Runtime Module Objects

Runtime Node Objects

Foreign Function Interface, Runtime Node Objects

S

Selection Operators

Core Module, Selection Operators

Self Node

Meta-Nodes

Meta-Node Definition, Self Node

Semantics, Nodes, Meta-Nodes

some?

Core Module

Meta-Node, Meta-Node: some?(f, list)

Special Operator

Attributes, Attributes
Bindings, Declaring Bindings
Contexts, Explicit Contexts
External Meta-Nodes, External Meta-Nodes
Literal Symbols, Literal Symbols
Meta-Node Definition, Defining Meta-Nodes
Modules, Creating Modules, Module Pseudo-Nodes, Importing Nodes, Direct References
Node References, Node References
Node States, Node States
Outer Node References, Outer Node References
Subnodes, Subnodes

Special Operators

Infix Operators, Registering Infix Operators

Stack Usage

Meta-Nodes, Recursive Meta-Nodes

Standard Library, Core Module

string

Core Module

Meta-Node, Meta-Node: string(x)

string->list

Core Module

Meta-Node, Meta-Node: string->list(string)

string-at

Core Module

Meta-Node, Meta-Node: string-at(string, index)

string-concat

Core Module

Meta-Node, Meta-Node: string-concat(string, str1, str2)

string?

Core Module

Meta-Node, Meta-Node: string?(x)

Strings, Strings

Core Module, Strings

Syntax

Literals, Strings

Subnodes, Subnodes

Nodes, Subnodes

symbol?

Core Module

Meta-Node, Meta-Node: symbol?

Symbols

Syntax

Nodes, Atom Nodes

Syntax, Syntax, Literals

Functors, Functors
Infix Operators, Functors
Literals, Numbers, Strings
Nodes, Atom Nodes, Functors, Node Lists
Numbers, Numbers
Reals, Numbers
Strings, Strings

T

tail

Core Module

Meta-Node, Meta-Node: tail(list)

Target Node Transform

Instance as Target

Meta-Nodes, Target Node Transforms

target-node

Attribute

Instance as Target, Instances as Targets

target-transform

Attribute

Instance as Target, Target Node Transforms

to-int

Core Module

Meta-Node, Meta-Node: to-int(x)

to-real

Core Module

Meta-Node, Meta-Node: to-real(x)

to-string

Core Module

Meta-Node, Meta-Node: to-string(x)

True

Core Module

Node, Node True

Two-Way Bindings

Nodes

Bindings, Two-Way Bindings

Type Checks

Core Module, Types

Type Conversions

Core Module, Types

Type-Error

Core Module

Failure Type, Failure Type Node: Type-Error
Node, Failure Type Node: Type-Error

Type-Error!

Core Module

Node, Failure Type Node: Type-Error

U

Utilities, Failures

V

Value Conversions

WebAssembly Backend

Foreign Function Interface, Marshaller

Value Propagation

Nodes

Bindings, Propagation of Changes

Value Type, Failures, Explicit Failures and Failure Types, Subnodes

Value Types

JavaScript Backend

Foreign Function Interface, Value Types

WebAssembly Backend

Foreign Function Interface, Value Types

W

WebAssembly Backend

Foreign Function Interface, WebAssembly Backend, Memory, Value Types, Builtin Failure Types, Marshaller, Lazy Evaluation and Garbage Collection, Linking Meta-Nodes to External Functions, Runtime Module Object