def Queue.pop.flip

bend-kube-runtime@0.2.0.0 · src/queue.bend:96

import Base

96def Queue.pop.flip(f: List<&2, String>, i: Map<&2, U32>, r: Map<&2, U32>, d: Map<&2, U32>,
97  g: Map<&2, U32>, fl: Map<&2, U32>, +n: U32, mx: U32) -> Queue & Maybe<&2, String>:
98  match f:
99    case Con{+k, t}:
100      (Queue{t, Nil{}, Mp.off(i, k), Mp.on(r, k), d, g, fl, (n + 1 : U32), mx}, Some{k})
101    case Nil{}:
102      (Queue{Nil{}, Nil{}, i, r, d, g, fl, n, mx}, None{})