bendtorch-core

Releases (1)

• 0.1.0.0 indexed

Definitions (5,204)

src/shape/boundary_proofs.bend

• def project_left_index
• def project_right_index

src/shape/broadcast_proofs.bend

• def fin_broadcast
• def axis_left
• def axis_right
• def aligned_left
• def aligned_right
• def indices_length
• def aligned_length_left
• def aligned_length_right
• def pad_length
• def add_succ
• def add_zero
• def sub_add_zero
• def sub_add
• def drop_zero
• def broadcast_nil
• def drop_broadcast
• def unpad_indices
• def project_left
• def project_right

src/shape/construct_proofs.bend

• def within
• def bound_within
• def scale_within
• def scale_fits
• def zero_small
• def zero_within
• def step_within
• def capacity_complete
• def capacity_built
• def construction_complete

src/shape/coordinate_proofs.bend

• type Fits.Step
• def Fits
• def fin_from
• def fin_from_value
• def coordinate_of
• def indices_of
• def offset_indices
• def row_major_lt
• def size_fits
• def size_misses
• def offset_of
• def digits_step
• def digits_unflatten
• def fits_of.step
• def fits_of
• def fit_indices
• def fit_words_spec
• def digits_words_spec
• def projected_words_spec
• def naturals_drop
• def horner_spec
• def pair_fits

src/shape/core.bend

• type Fin.Step
• def Fin
• def Fin.value
• def LT
• def LE
• def Fin.bound
• def Fin.left
• def Fin.shift
• def Fin.split.step
• def Fin.split
• def Fin.merge
• def Fin.pack
• def Fin.unpack.lift
• def Fin.unpack.step
• def Fin.unpack
• def numel
• type Coordinate.Step
• def Coordinate
• def flatten
• def unflatten.step
• def unflatten
• def row_major
• def indices
• def broadcast_index
• def broadcast_indices
• def project_indices
• type Axis
• def Axis.project_left
• def Axis.project_right
• type Aligned.Step
• def Aligned
• def Aligned.project_left
• def Aligned.project_right
• def pad
• def unpad
• type PadMinimal
• type Broadcast
• def project_left
• def project_right
• def offset
• def digits
• def fit
• type RowOne row per output axis: the output stride and the left and right input strides, zero on a padded or singleton input axis.
• def index_rows
• def index_table
• def rank_dimensions
• def naturals