def step

bend-lawful-stdlib@0.1.0.0 · src/sim.bend:21

import Base
import bend-lawful-stdlib@0.1.0.0/src/class.bend as C

21def step(~P: Data, ~g: C.Group<P>, ~F: P -> P, s: State<P>) -> State<P>:
22  match s:
23    case State{+x, v}:
24      +w = C.Group.add(P, g, v, F(x))
25      State{C.Group.add(P, g, x, w), w}