Expand description
Contains MeTTa specific types, constants and functions.
Modules§
- interpreter
- MeTTa assembly language implementation. See minimal MeTTa documentation for details.
- runner
- MeTTa Runner Implementation
- text
- MeTTa parser implementation.
- types
- Contains Rust functions working on types. All MeTTa specific constants are exported as a part of metta module.
Constants§
- ARROW_
SYMBOL - ATOM_
TYPE_ ATOM - ATOM_
TYPE_ EXPRESSION - ATOM_
TYPE_ GROUNDED - ATOM_
TYPE_ SYMBOL - ATOM_
TYPE_ TYPE - ATOM_
TYPE_ UNDEFINED - ATOM_
TYPE_ VARIABLE - BAD_
ARG_ TYPE_ SYMBOL - BAD_
TYPE_ SYMBOL - CALL_
NATIVE_ SYMBOL - CHAIN_
SYMBOL - COLLAPSE_
BIND_ SYMBOL - CONS_
ATOM_ SYMBOL - CONTEXT_
SPACE_ SYMBOL - DECONS_
ATOM_ SYMBOL - EMPTY_
SYMBOL - EQUAL_
SYMBOL - ERROR_
SYMBOL - EVALC_
SYMBOL - EVAL_
SYMBOL - FUNCTION_
SYMBOL - HAS_
TYPE_ SYMBOL - INCORRECT_
NUMBER_ OF_ ARGUMENTS_ SYMBOL - METTA_
SYMBOL - NOT_
REDUCIBLE_ SYMBOL - NO_
RETURN_ SYMBOL - RETURN_
SYMBOL - STACK_
OVERFLOW_ SYMBOL - SUB_
TYPE_ SYMBOL - SUPERPOSE_
BIND_ SYMBOL - UNIFY_
SYMBOL - UNIT_
ATOM - UNIT_
TYPE
Functions§
- atom_
error_ message - Returns a message string from an error expression
- atom_
is_ error - Tests whether or not an atom is an error expression
- error_
atom - Initializes an error expression atom