~/jendhub

law advance_prefix

bendtorch-core@0.1.0.0 · src/tensor/transform_LAWS.bend:220

import bendtorch-core@0.1.0.0/src/tensor/transform_LAWS.bend as TransformLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms

220law advance_prefix:
221  for -input: Shape.Shape
222  for -axes: List<&2, U32>
223  for -plan: Layout.Plan<input, axes>
224  for -original: Core.Tensor<input>
225  for -before_source: Core.Tensor<input>
226  for -after_source: Core.Tensor<input>
227  for -before_target: Core.Tensor<Layout.output(input, axes, plan)>
228  for -after_target: Core.Tensor<Layout.output(input, axes, plan)>
229  for -cursor: Nat
230  for prefix: Transforms.Prefix<input, axes, plan, original, before_source, before_target, cursor>
231  for advanced: Transforms.Advanced<input, axes, plan, original, before_source, after_source, before_target, after_target, cursor>
232  Transforms.Prefix<input, axes, plan, original, after_source, after_target, 1n+cursor>

Uses (17)

Used by (1)