def read_tail

stelliferous@0.0.2.0 · kernel_tile.bend:79

import Base
import stelliferous@0.0.2.0/kernel_block.bend as Block

79def read_tail(~State: Type,~Context: Data,~read: State -> Context -> Nat -> State & F32,first: State & F32,context: Context) -> State & Tile8:
80  (state,head) = first
81  finish_pairs(~State,
82    Block.read_pair(~State,~HeadContext<Context>,~Block.Twin<Block.Twin<F32>>,
83      ~Block.read_pair(~State,~HeadContext<Context>,~Block.Twin<F32>,
84        ~Block.read_pair(~State,~HeadContext<Context>,~F32,
85          ~read_with_head(~State,~Context,~read),~1n),~2n),~4n,
86      state,HeadContext{head,context},0n))