Package convex.core.lang
Class Core
java.lang.Object
convex.core.lang.Core
This class builds the core runtime environment at startup. Core runtime
functions are required to implement basic language features such as:
- Numerics
- Data structures
- Interaction with on-chain state and execution context
- Argument checking
- Exceptional case handling
- Appropriate juice costs
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic CoreFn<APrimitive>
static CoreFn<AccountStatus>
static CorePred
static CoreFn<?>
static CoreFn<ADataStructure<ACell>>
static CorePred
static CorePred
static CorePred
static CoreFn<ADataStructure<ACell>>
static Symbol
Symbol for core namespacestatic CorePred
Default initial environment importing core namespacestatic CorePred
static CoreFn<?>
static CoreFn<ADataStructure<ACell>>
static CorePred
static CorePred
static CorePred
static CorePred
Default initial core metadatastatic CoreFn<APrimitive>
static CorePred
static CorePred
static CorePred
static CoreFn<APrimitive>
static CoreFn<?>
static CoreFn<?>
static CoreFn<?>
static CoreFn<AccountKey>
static CorePred
static CorePred
static CorePred
static CorePred
static CoreFn<?>
static CoreFn<APrimitive>
static CorePred
static CorePred
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
ENVIRONMENT
Default initial environment importing core namespace -
METADATA
Default initial core metadata -
CORE_SYMBOL
Symbol for core namespace -
VECTOR
-
CONCAT
-
VEC
-
REVERSE
-
SET
-
UNION
-
INTERSECTION
-
DIFFERENCE
-
LIST
-
STR
-
PRINT
-
SPLIT
-
JOIN
-
NAME
-
KEYWORD
-
SYMBOL
-
COMPILE
-
EVAL
-
EVAL_AS
-
SCHEDULE_STAR
-
SYNTAX
-
UNSYNTAX
-
META
-
SYNTAX_Q
-
EXPAND
-
INITIAL_EXPANDER
-
QUOTE_EXPANDER
-
QUASIQUOTE_EXPANDER
-
CALLABLE_Q
-
DEPLOY
-
ACCEPT
-
CALL_STAR
-
LOG
-
UNDEF_STAR
-
LOOKUP
-
LOOKUP_META
-
ADDRESS
-
BLOB
-
ACCOUNT
-
BALANCE
-
TRANSFER
-
SET_MEMORY
-
TRANSFER_MEMORY
-
STAKE
-
CREATE_PEER
-
SET_PEER_DATA
-
SET_PEER_STAKE
-
HASHMAP
-
BLOB_MAP
-
HASHSET
-
KEYS
-
VALUES
-
ASSOC
-
ASSOC_IN
-
GET_HOLDING
-
SET_HOLDING
-
SET_CONTROLLER
-
SET_KEY
-
GET
-
GET_IN
-
CONTAINS_KEY_Q
-
SUBSET_Q
-
DISSOC
-
CONJ
-
DISJ
-
CONS
-
FIRST
-
SECOND
-
LAST
-
EQUALS
-
EQ
-
GE
-
GT
-
LE
-
LT
-
INC
-
DEC
-
BOOLEAN
-
BOOLEAN_Q
-
ENCODING
-
LONG
-
DOUBLE
-
CHAR
-
BYTE
-
PLUS
-
MINUS
-
TIMES
-
DIVIDE
-
FLOOR
-
CEIL
-
SQRT
-
ABS
-
SIGNUM
-
MOD
-
REM
-
QUOT
-
POW
-
EXP
-
NOT
-
BIT_AND
-
BIT_XOR
-
BIT_OR
-
BIT_NOT
-
HASH
-
COUNT
-
EMPTY
-
NTH
-
NEXT
-
SLICE
-
RECUR
-
TAILCALL_STAR
-
ROLLBACK
-
HALT
-
RETURN
-
FAIL
-
APPLY
-
INTO
-
MERGE
-
MAP
-
REDUCE
-
REDUCED
-
NIL_Q
-
VECTOR_Q
-
LIST_Q
-
SET_Q
-
MAP_Q
-
COLL_Q
-
EMPTY_Q
-
SYMBOL_Q
-
KEYWORD_Q
-
BLOB_Q
-
ADDRESS_Q
-
LONG_Q
-
STR_Q
-
NUMBER_Q
-
NAN_Q
-
FN_Q
-
ZERO_Q
-
-
Constructor Details
-
Core
public Core()
-