def fits_nonempty

stelliferous@0.0.2.0 · tensor_view.bend:128

import stelliferous@0.0.2.0/tensor_view.bend as TensorView

import Base

128def fits_nonempty(empty: Bool,+view: View,+logical_length: U32) -> Bool:
129  match empty:
130    case True{}:
131      View{axes,offset} = view
132      U32.is_le(offset,logical_length)
133    case False{}:
134      View{+axes,offset} = view
135      found(address(View{axes,offset},last_coordinates(axes),logical_length))

Uses (7)

Used by (1)

stelliferous@0.0.2.0/tensor_view:fits