Package convex.core.lang.ops


package convex.core.lang.ops
CVM Operations, effectively the "machine code" of the CVM
  • Class Summary
    Class
    Description
    AMultiOp<T extends ACell>
    Abstract base class for Ops with multiple nested operations MultiOps may selectively evaluate sub-expressions.
    Cond<T extends ACell>
    Op representing a conditional expression.
    Constant<T extends ACell>
    Operation representing a constant value "One man's constant is another man's variable." - Alan Perlis
    Def<T extends ACell>
    Op that creates a definition in the current environment.
    Do<T extends ACell>
    Op for executing a sequence of child operations in order "Design is to take things apart in such a way that they can be put back together" - Rich Hickey
    Invoke<T extends ACell>
    Op representing the invocation of a function.
    Lambda<T extends ACell>
    Op responsible for creating a new function (closure).
    Let<T extends ACell>
    Op for executing a body after lexically binding one or more symbols.
    Local<T extends ACell>
    Op to look up a local value from the lexical environment
    Lookup<T extends ACell>
    Op to look up a Symbol in the current execution context.
    Query<T extends ACell>
    Op for executing a sequence of child operations in order "Design is to take things apart in such a way that they can be put back together" - Rich Hickey
    Set<T extends ACell>
    Op to set a lexical value in the local execution context.
    Special<T extends ACell>