~/bend-docscommunity

src/SstFile.bend fails

raw source on the hub · import 0x05fa0e42448e8e221df592b204de523d/src/SstFile.bend as SstFile

7 imports
import Base
import ./MemTable.bend as MemTable
import ./Sstable.bend as Sstable
import ./Wal.bend as Wal
import ./Manifest.bend as Manifest
import ./SstFileV2.bend as SstFileV2
import ./SstFileV1Fast.bend as SstFileV1Fast

Definitions

def muts_of_entries source · line 14 · raw

@+es:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> List<&2, 0x05fa0e42448e8e221df592b204de523d/src/Wal.Mut>

Legacy serialization remains test-only; production callers use serialize_v2.

def serialize_v1 source · line 26 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @+level:Nat -> String

def parse_v1 source · line 32 · raw

@+encoded:String -> Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table>

def serialize_v2 source · line 36 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @+level:Nat -> String

def serialize source · line 40 · raw

@+entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @+level:Nat -> String

def parse_version source · line 44 · raw

@v2:Bool -> @+encoded:String -> Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table>

def parse source · line 52 · raw

@+encoded:String -> Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table>

def is_decided source · line 57 · raw

@+result:Maybe<&2, 0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table> -> Bool

Total-parser witness used by the hardening law.