def cell
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuildimport Base
127# The cell function of the build: the state is the input array and an empty
128# array that only fills the second slot of the state pair.
129def cell(+recipe: Recipe, +position: Nat, state: Array<F32> & Array<F32>, inside: Bool) -> F32 & (Array<F32> & Array<F32>):
130 match inside:
131 case False{}:
132 (0.0, state)
133 case True{}:
134 read(recipe, position, state)
Uses (8)
Used by (12)
- bendtorch-core@0.1.0.0/src/tensor/permute_build:build
- bendtorch-core@0.1.0.0/src/tensor/permute_build:balanced
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:cell_eq
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:build_cell
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:build_eq
- …