def observe

stelliferous@0.0.2.0 · proofs/traversal_cells_refinement.bend:57

import Base
import stelliferous@0.0.2.0/traversal_cells.bend as Cells
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree

57def observe(~Owner: Type,~Model: Type,~Cell: Data,~Context: Data,~project: Owner -> Model,state: Cells.State<Owner,Cell,Context>) -> Observed<Model,Cell,Context>:
58  Cells.State{values,scratch,position,slot,context} = state
59  Observed{project(values),Tree.reflect(Cell,scratch),position,slot,context}