stelliferous

Search uses release 0.0.2.0 · 2,086 definitions

Releases (2)

law Witness
type LeafWitness
type NodeWitness
def balanced
def from_shape
def fresh_model
def fresh
def size
type Swapped
def swap_left
def swap_right
def swap_chooseBase passes the branch z (i < n/2) computed by its caller; any z is covered here, and each child receives the comparison against its own half.
def swap
def finish
def write
type ReadReading returns precisely the original affine owner.
def read_left
def read_right
def read_choose
def read_tree
def read
type ArrayWitnessExistential depth travels with proof data, not numerical storage.
def allocated
def stored
def observed
def cloneThe native clone duplicates payload ownership, while its source observation and balance depth are unchanged.

def read_index
type CopyCall
def copy_operation
def combine_operation
def last_of_runA strided operation keeps its owners through each part of a run: the stride steps, the state handed to the cursor, and the cursor step that ends the run.
def KeepsA step keeps the evidence of its state.
def loop
def run_axis
def run_step
def run_loop
def last_loop
def stepped
def guarded
def remaining_run
def strided
def copied_strided
def updated_strided
type ScatterCall
def scatter_operation
def scattered
def copied
def combined
def copy
def scatter
def combine
type ReduceCall
def reduce_operation
def reduced
def reduce
type IndexedCall
def indexed_operation
def indexed_sample
def indexed_read
def indexed
def apply_indexed
def window_read_sample
def read_line_sampleThe one-axis window reduction: every sample is an element of the input or the pad, so the sweep returns its input and writes only its output.
def line_sample
def swept_sample
type SweepCall
def sweep_operation
def swept
def sweep