def pop.model

bend-lawful-stdlib@0.1.0.0 · src/queue.bend:47

import Base
import bend-lawful-stdlib@0.1.0.0/src/list.bend as List

47# pop's result with the remaining queue replaced by its model
48def pop.model(-A: Data, s: List.Step<&1, A, Queue<A>>) -> List.Step<&2, A, List<&2, A>>:
49  match s:
50    case List.Stop{}:
51      List.Stop{}
52    case List.Next{x, q}:
53      List.Next{x, model(A, q)}