package runtime
- Alphabetic
- By Inheritance
- runtime
- Builder
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
Builder
extends AnyRef
A program builder.
-
case class
Expression
(operator: Operator, operands: List[Program]) extends Program with Product with Serializable
A literal transformation.
A literal transformation. Expressions map literal operands to a literal result using their operator. Because all expressions return literal values on literal arguments, every program can eventually be reduced to a single literal value.
- operator
Transformation.
- operands
Arguments.
- case class Flag (value: Boolean) extends Literal with Product with Serializable
-
sealed
trait
Literal
extends Program with Serializable
A typed value.
A typed value. Literals contain primitive values of type null, flag, real, or text which correspond to null, boolean, double, and string respectively.
-
sealed
trait
Operator
extends AnyRef
An enumeration of the various transformations permitted in an expressions.
-
sealed
trait
Program
extends AnyRef
A procedure.
A procedure. Programs are abstract-syntax trees composed of literals and expressions.
- case class Real (value: Double) extends Literal with Product with Serializable
-
class
Runtime
extends Serializable
A transactional virtual machine.
A transactional virtual machine. Thread-safe.
- case class Text (value: String) extends Literal with Product with Serializable
-
trait
Volume
extends Serializable
A transactional key-value store.
A transactional key-value store. Thread-safe.
Value Members
-
val
Empty: Text
- Definition Classes
- Builder
-
val
False: Flag
- Definition Classes
- Builder
-
val
True: Flag
- Definition Classes
- Builder
-
def
add(x: Program, y: Program): Program
Returns the sum of x and y.
- implicit def bol2flag(value: Boolean): Flag
-
def
both(x: Program, y: Program): Program
Returns whether or not both x and y are satisfied.
Returns whether or not both x and y are satisfied.
- x
Flag.
- y
Flag.
- returns
Bitwise and.
- Definition Classes
- Builder
-
def
branch(condition: Program, pass: Program, fail: Program): Program
Returns pass if the condition is satisfied or fail otherwise.
Returns pass if the condition is satisfied or fail otherwise.
- condition
Flag.
- pass
Any.
- fail
Any.
- returns
Any.
- Definition Classes
- Builder
-
def
cons(x: Program, y: Program): Program
Performs x and then y.
-
def
contains(x: Program, y: Program): Program
Returns whether or not x contains y.
-
def
cos(x: Program): Program
Returns the cosine of x.
-
def
div(x: Program, y: Program): Program
Returns the quotient of x and y.
-
def
either(x: Program, y: Program): Program
Returns whether or not either x or y is satisfied.
Returns whether or not either x or y is satisfied.
- x
Flag.
- y
Flag.
- returns
Flag.
- Definition Classes
- Builder
-
def
equal(x: Program, y: Program): Program
Returns whether or not x equals y.
-
def
flag(value: Boolean): Flag
Returns the value as a literal boolean flag.
-
def
floor(x: Program): Program
Returns the largest integer less than x.
-
def
indexOf(x: Program, y: Program): Program
Returns the index of the first occurrence of y in x.
Returns the index of the first occurrence of y in x.
- x
Text.
- y
Text.
- returns
Real.
- Definition Classes
- Builder
-
def
length(x: Program): Program
Returns the number of characters in x.
-
def
less(x: Program, y: Program): Program
Returns whether or not x is strictly less than y.
-
def
load(key: Program): Program
Loads the value of the local variable at the specified key.
Loads the value of the local variable at the specified key.
- key
Text.
- returns
Any.
- Definition Classes
- Builder
-
def
log(x: Program): Program
Returns the natural logarithm of x.
-
def
matches(x: Program, y: Program): Program
Returns whether or not x matches the regex pattern y.
Returns whether or not x matches the regex pattern y.
- x
Text.
- y
Text.
- returns
Flag.
- Definition Classes
- Builder
-
def
mod(x: Program, y: Program): Program
Returns the remainder of x divided by y.
-
def
mul(x: Program, y: Program): Program
Returns the product of x and y.
-
def
negate(x: Program): Program
Returns the bitwise negation of x.
- implicit def num2real[T](value: T)(implicit num: Numeric[T]): Real
-
def
pow(x: Program, y: Program): Program
Returns x raised to the power y.
-
def
prefetch(key: Program, size: Program, refs: Program): Program
Reads all keys at "prefix/i" for all i in [0, size).
Reads all keys at "prefix/i" for all i in [0, size). Used to implement prefetched collections.
- key
Text.
- size
Real.
- refs
Real.
- returns
Null.
- Definition Classes
- Builder
-
def
read(key: Program): Program
Reads the value of the specified key from the underlying volume.
Reads the value of the specified key from the underlying volume.
- key
Text.
- returns
Any.
- Definition Classes
- Builder
-
def
real(value: Double): Real
Returns the value as a literal floating point number.
Returns the value as a literal floating point number.
- value
Double.
- returns
Real.
- Definition Classes
- Builder
-
def
repeat(condition: Program, block: Program): Program
Repeatedly executes the block until the condition is not satisfied.
Repeatedly executes the block until the condition is not satisfied.
- condition
Flag.
- block
Any.
- returns
Null.
- Definition Classes
- Builder
-
def
rollback(message: Program): Program
Discards all buffered writes and transactionally returns the message.
Discards all buffered writes and transactionally returns the message.
- message
Any.
- returns
Any.
- Definition Classes
- Builder
-
def
sin(x: Program): Program
Returns the sine of x.
-
def
slice(x: Program, lower: Program, higher: Program): Program
Returns the substring of x between [lower, higher).
Returns the substring of x between [lower, higher).
- x
Text.
- lower
Real.
- higher
Real.
- returns
Text.
- Definition Classes
- Builder
-
def
store(key: Program, value: Program): Program
Stores the specified value in the local variable at the specified key.
Stores the specified value in the local variable at the specified key.
- key
Text.
- value
Any.
- returns
Null.
- Definition Classes
- Builder
- implicit def str2text(value: String): Text
-
def
sub(x: Program, y: Program): Program
Returns the difference of x and y.
-
def
text(value: String): Text
Returns the value as a literal string.
-
def
write(key: Program, value: Program): Program
Writes the specified value to the specified key in the underlying volume.
Writes the specified value to the specified key in the underlying volume.
- key
Text.
- value
Any.
- returns
Null.
- Definition Classes
- Builder
- object Add extends Operator with Product with Serializable
- object Both extends Operator with Product with Serializable
- object Branch extends Operator with Product with Serializable
- object Cons extends Operator with Product with Serializable
- object Contains extends Operator with Product with Serializable
- object Cos extends Operator with Product with Serializable
- object Div extends Operator with Product with Serializable
- object Either extends Operator with Product with Serializable
- object Equal extends Operator with Product with Serializable
- object Floor extends Operator with Product with Serializable
- object IndexOf extends Operator with Product with Serializable
-
object
JBuilder
extends Builder
A stable identifier for Java compatibility.
- object Length extends Operator with Product with Serializable
- object Less extends Operator with Product with Serializable
- object Literal extends Serializable
- object Load extends Operator with Product with Serializable
- object Log extends Operator with Product with Serializable
- object Matches extends Operator with Product with Serializable
- object Mod extends Operator with Product with Serializable
- object Mul extends Operator with Product with Serializable
- object Negate extends Operator with Product with Serializable
- object Null extends Literal with Product with Serializable
- object Pow extends Operator with Product with Serializable
- object Prefetch extends Operator with Product with Serializable
- object Read extends Operator with Product with Serializable
- object Repeat extends Operator with Product with Serializable
- object Rollback extends Operator with Product with Serializable
- object Runtime extends Serializable
- object Sin extends Operator with Product with Serializable
- object Slice extends Operator with Product with Serializable
- object Store extends Operator with Product with Serializable
- object Sub extends Operator with Product with Serializable
- object Volume extends Serializable
- object Write extends Operator with Product with Serializable