bendtorch-core

Releases (1)

• 0.1.0.0 indexed

Definitions (5,204)

src/shape/core.bend

• def words
• def logical_numel
• def numel_wordsnumel_words, horner and digits_words run on checked coordinates or below a nonzero element count only: every extent is then at least 1, so each product is at most the shape's element count.
• def horner
• def digits_words
• def fit_words
• def fit_values
• def projected_words
• def walk_left
• def walk_right
• def fit_values_spec
• def fit_values_true
• def index_rows_words
• def numel_words_spec
• def index_rows_spec
• def rank_naturals
• type BoolCase
• def bool_case
• def truth
• def clash
• def LE.decided
• def LE.fromThe rewrite is erased at runtime, so a decided bound costs one comparison instead of a unary walk to 2^20.
• def equal_decided
• def equal_from
• type Capacity
• def capacity.bound
• def capacity.scale
• def capacity.zero
• def capacity.stepA size is formed only when the suffix size is zero or both factors are at most 2^20, so no product exceeds 2^40, below the native Nat limit of 2^48.
• def capacity
• type Error
• type Shape
• def dimensions
• def elements
• def extents
• def elements_exact
• def rank
• def count
• type ConstructResult
• def construct.bound
• def construct.capacity
• def construct.ranked
• def construct
• type CheckedCoordinate
• def coordinate_values
• def coordinate_checked.finish
• def coordinate_checked.nat
• type FlatIndex
• def index_value
• def flat_checked.finish
• def flat_checked
• def flatten_checked.fits
• def flatten_checked.ranked
• def flatten_checked
• def unflatten_checked.finish
• def unflatten_checked
• type AxisChoice
• def axis_choice.right_one
• def axis_choice.left_one
• def axis_choice.equal
• def axis_choice
• type Alignment
• def align.finish
• def align.step
• def align
• def pad_words
• def naturals_pad
• def minimal
• type Index
• def index_of.rows
• def index_of.exact
• def index_ofIndex rows are formed only below a nonzero output count.
• type BroadcastPlan
• def left_shape
• def right_shape
• def output_shape
• def alignment
• def index_map
• def broadcast_checked.realign
• def broadcast_checked.construct
• def broadcast_checked.repad
• def broadcast_checked.align
• def broadcast_checked.ranked
• def broadcast_checked
• def projection_checked.fits
• def projection_checked.ranked
• def projection_checked
• def project_left_checked
• def project_right_checked
• def error_code

src/shape/flat.bend

• def hollow
• def left_bound
• def project_left_index
• def right_bound
• def project_right_index

src/shape/index_proofs.bend

• def add_assoc
• def split_left
• def split_shift
• def merge_step
• def merge_split