ByteSstFile.encode.blocks.go: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
Lines 644-660 of mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&start_line=644&end_line=660

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

def encode.blocks.go(
  fuel: Nat,
  pending: List<&1, List<&1, ByteMemTable.Entry>> & Result<&1, &1, Error, EncodedBlock>,
  reversed: List<&1, EncodedBlock>
) -> Result<&1, &1, Error, List<&1, EncodedBlock>>:
  match fuel:
    case 0n:
      match pending:
        case (Nil{}, _): Done{List.reverse(&1, EncodedBlock, reversed)}
        case _: Fail{Malformed{}}
    case 1n+rest:
      match pending:
        case (Nil{}, _): Done{List.reverse(&1, EncodedBlock, reversed)}
        case (Con{_, _}, Fail{error}): Fail{error}
        case (Con{_, tail}, Done{block}):
          encode.blocks.go(rest, encode.pages.prepare(tail),
            Con{block, reversed})

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=EncodedBlock
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend&name=encode.pages.prepare