def read_with_head

stelliferous@0.0.2.0 · kernel_tile.bend:61

import stelliferous@0.0.2.0/kernel_tile.bend as KernelTile

import Base

61def read_with_head(
62  ~State: Type,~Context: Data,~read: State -> Context -> Nat -> State & F32,
63  state: State,combined: HeadContext<Context>,index: Nat
64) -> State & F32:
65  HeadContext{head,context} = combined
66  match index:
67    case 0n: (state,head)
68    case 1n+rest: read(state,context,1n+rest)

Uses (5)

Used by (6)