Package convex.core.lang.ops

Class Lambda<T extends ACell>

java.lang.Object
convex.core.data.AObject
convex.core.data.ACell
convex.core.lang.AOp<AClosure<T>>
convex.core.lang.ops.Lambda<T>
Type Parameters:
T - Result type of Closure
All Implemented Interfaces:
IValidated, IWriteable
public class Lambda<T extends ACell> extends AOp<AClosure<T>>
Op responsible for creating a new function (closure). Captures value of local variable bindings during execution. Equivalent to (fn [...] ...)

  • Constructor Details

    • Lambda

      protected Lambda​(Ref<AClosure<T>> newFunction)

  • Method Details

    • create

      public static <T extends ACell> Lambda<T> create​(AVector<ACell> params, AOp<T> body)

    • create

      public static <T extends ACell> Lambda<T> create​(AClosure<T> fn)

    • execute

      public <I extends ACell> Context<AClosure<T>> execute​(Context<I> context)
      Description copied from class: AOp
      Executes this op with the given context. Must preserve depth unless an exceptional is returned.
      Specified by:
      execute in class AOp<AClosure<T extends ACell>>
      Type Parameters:
      I - Type of Context
      Parameters:
      context - Initial Context
      Returns:
      The updated Context after executing this operation

    • getRefCount

      public int getRefCount()
      Description copied from class: ACell
      Gets the number of Refs contained within this Cell. This number is final / immutable for any given instance. Contained Refs may be either external or embedded.
      Specified by:
      getRefCount in class ACell
      Returns:
      The number of Refs in this Cell

    • getRef

      public <R extends ACell> Ref<R> getRef​(int i)
      Description copied from class: ACell
      Gets a numbered child Ref from within this Cell.
      Overrides:
      getRef in class ACell
      Type Parameters:
      R - Type of referenced Cell
      Parameters:
      i - Index of ref to get
      Returns:
      The Ref at the specified index

    • updateRefs

      public Lambda<T> updateRefs​(IRefFunction func)
      Description copied from class: ACell
      Updates all Refs in this object using the given function. The function *must not* change the hash value of Refs, in order to ensure structural integrity of modified data structures. This is a building block for a very sneaky trick that enables use to do a lot of efficient operations on large trees of smart references. Must return the same object if no Refs are altered.
      Specified by:
      updateRefs in class AOp<AClosure<T extends ACell>>
      Parameters:
      func - Ref update function
      Returns:
      Cell with updated Refs

    • print

      public void print​(StringBuilder sb)
      Description copied from class: AObject
      Prints this Object to a readable String Representation
      Specified by:
      print in class AObject
      Parameters:
      sb - StringBuilder to append to

    • opCode

      public byte opCode()
      Description copied from class: AOp
      Returns the opcode for this op
      Specified by:
      opCode in class AOp<AClosure<T extends ACell>>
      Returns:
      Opcode as a byte

    • encodeRaw

      public int encodeRaw​(byte[] bs, int pos)
      Description copied from class: AOp
      Writes the raw data for this Op to the specified bytebuffer. Assumes Op tag and opcode already written.
      Specified by:
      encodeRaw in class AOp<AClosure<T extends ACell>>
      Parameters:
      bs - Byte array to write to
      pos - Position to write in byte array
      Returns:
      The updated position

    • read

      public static <T extends ACell> Lambda<T> read​(ByteBuffer bb) throws BadFormatException
      Throws:
      BadFormatException

    • validate

      public void validate() throws InvalidDataException
      Description copied from interface: IValidated
      Validates the complete structure of this object. It is necessary to ensure all child Refs are validated, so the general contract for validate is:
      1. Call super.validate() - which will indirectly call validateCell()
      2. Call validate() on any contained cells in this class
      Specified by:
      validate in interface IValidated
      Overrides:
      validate in class ACell
      Throws:
      InvalidDataException - If the data Valie is invalid in any way

    • validateCell

      public void validateCell() throws InvalidDataException
      Description copied from class: ACell
      Validates the local structure and invariants of this cell. Called by validate() super implementation. Should validate directly contained data, but should not validate all other structure of this cell. In particular, should not traverse potentially missing child Refs.
      Specified by:
      validateCell in class ACell
      Throws:
      InvalidDataException - If the Cell is invalid

    • getFunction

      public AClosure<T> getFunction()