def mutations.count.go

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:137

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal

137def mutations.count.go(
138  mutations: List<&1, ByteWal.Mutation>,
139  reversed: List<&1, ByteWal.Mutation>,
140  count: Nat
141) -> List<&1, ByteWal.Mutation> & Nat:
142  match mutations:
143    case Nil{}:
144      (List.reverse(&1, ByteWal.Mutation, reversed), count)
145    case Con{mutation, tail}:
146      mutations.count.go(tail, Con{mutation, reversed}, Nat.add(count, 1n))