src/SstFileV2.bend fails

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

6 imports

import Base
import ./Decimal.bend as Decimal
import ./Keys.bend as Keys
import ./Manifest.bend as Manifest
import ./MemTable.bend as MemTable
import ./Sstable.bend as Sstable

Types

type Error source · line 32 · raw

Data

UnknownVersion
```
Error
```
MalformedDecimal
```
Error
```
DecimalOverflow
```
Error
```
InvalidLevel
```
Error
```
EntryCountExceeded
```
Error
```
InvalidEntryTag
```
Error
```
KeyLengthExceeded
```
Error
```
ValueLengthExceeded
```
Error
```
TruncatedHeader
```
Error
```
TruncatedEntry
```
Error
```
TruncatedChecksum
```
Error
```
UnsortedOrDuplicate
```
Error
```
ChecksumMismatch
```
Error
```
TrailingData
```
Error
```
FileTooLarge
```
Error
```

type Tag source · line 49 · raw

Data

PutTag
```
Tag
```
DelTag
```
Tag
```

type Phase source · line 53 · raw

Data

NeedS
```
Phase
```
Need2
```
Phase
```
NeedHeaderSemi
```
Phase
```

ReadLevel

@scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Phase

ReadCount

@scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Phase

ReadTag
```
Phase
```
ReadTagSemi
```
@tag:Tag -> Phase
```

ReadKeyLength

@tag:Tag -> @scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Phase

ReadValueLength

@key_length:Nat -> @scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Phase

ReadKey

@tag:Tag -> @remaining:Nat -> @value_length:Nat -> @reversed:String -> Phase

ReadValue

@key:String -> @remaining:Nat -> @reversed:String -> Phase

NeedHash
```
Phase
```

ReadChecksum

@scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Phase

type Transition source · line 68 · raw

Data

Next
```
@phase:Phase -> Transition
```
LevelRead
```
@level:Nat -> Transition
```
CountRead
```
@count:Nat -> Transition
```

EntryRead

@entry:0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry -> Transition

TransitionRejected
```
@error:Error -> Transition
```

type Decoder source · line 75 · raw

Data

Dec

@phase:Phase -> @remaining_entries:Nat -> @previous_key:Maybe<&2, String> -> @reversed_entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared_count:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

DecoderRejected
```
@error:Error -> Decoder
```

type ParseResult source · line 88 · raw

Data

ParseRejected
```
@error:Error -> ParseResult
```

Parsed

@table:0x05fa0e42448e8e221df592b204de523d/src/Sstable.Table -> ParseResult

Definitions

def max_file_chars source · line 14 · raw

Nat

def max_entries source · line 17 · raw

Nat

def max_key_chars source · line 20 · raw

Nat

def max_value_chars source · line 23 · raw

Nat

def max_level source · line 26 · raw

Nat

def read_chunk_chars source · line 29 · raw

Nat

def entry_fragments source · line 94 · raw

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

def header_fragments source · line 105 · raw

@count:Nat -> @level:Nat -> List<&2, String>

def body source · line 108 · raw

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

def serialize source · line 112 · raw

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

def body_hash source · line 118 · raw

@hash:U32 -> @c:Char -> U32

def expected_char source · line 121 · raw

@ok:Bool -> @next:Phase -> @error:Error -> Transition

def decimal_error source · line 128 · raw

@error:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Error -> @overflow:Error -> Transition

def level_scan source · line 135 · raw

@scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Transition

def count_scan source · line 144 · raw

@scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Transition

def delete_key_length source · line 153 · raw

@value:Nat -> Transition

def key_length_done source · line 160 · raw

@tag:Tag -> @value:Nat -> Transition

def key_length_scan source · line 167 · raw

@tag:Tag -> @scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Transition

def put_lengths source · line 176 · raw

@key_length:Nat -> @value_length:Nat -> Transition

def value_length_scan source · line 187 · raw

@key_length:Nat -> @scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Transition

def tag_del source · line 196 · raw

@is_del:Bool -> Transition

def tag_put source · line 203 · raw

@is_put:Bool -> @c:Char -> Transition

def tag_step source · line 210 · raw

@+c:Char -> Transition

def key_last source · line 213 · raw

@tag:Tag -> @value_length:Nat -> @reversed:String -> Transition

def key_step source · line 224 · raw

@tag:Tag -> @remaining:Nat -> @value_length:Nat -> @reversed:String -> @c:Char -> Transition

def value_step source · line 235 · raw

@key:String -> @remaining:Nat -> @reversed:String -> @c:Char -> Transition

def checksum_scan source · line 246 · raw

@scan:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Scan -> Transition

def phase_step source · line 259 · raw

@phase:Phase -> @+c:Char -> Transition

def phase_hashes source · line 288 · raw

@phase:Phase -> Bool

def select_hash source · line 297 · raw

@hashes:Bool -> @hash:U32 -> @c:Char -> U32

def decoder_next source · line 306 · raw

@phase:Phase -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

def count_transition source · line 309 · raw

@count:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

def ordered_entry source · line 316 · raw

@entry:0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

def order_decision source · line 329 · raw

@cmp:Cmp -> @entry:0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

def entry_transition source · line 336 · raw

@+entry:0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

def apply_transition source · line 345 · raw

@transition:Transition -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> Decoder

def decoder_step_live source · line 358 · raw

@+phase:Phase -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> @+c:Char -> Decoder

def decoder_step_bounded source · line 362 · raw

@within:Bool -> @phase:Phase -> @remaining:Nat -> @previous:Maybe<&2, String> -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @declared:Nat -> @hash:U32 -> @consumed:Nat -> @c:Char -> Decoder

def decoder_step source · line 369 · raw

@decoder:Decoder -> @c:Char -> Decoder

def checksum_decision source · line 378 · raw

@equal:Bool -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> ParseResult

def checksum_value source · line 385 · raw

@parsed:0x05fa0e42448e8e221df592b204de523d/src/Decimal.Parse -> @entries:List<&2, 0x05fa0e42448e8e221df592b204de523d/src/MemTable.Entry> -> @level:Nat -> @hash:U32 -> ParseResult

def finish_decoder source · line 392 · raw

@decoder:Decoder -> ParseResult

def decode_go source · line 415 · raw

@rest:String -> @decoder:Decoder -> ParseResult

def parse_result source · line 422 · raw

@s:String -> ParseResult

def parse_wrap source · line 425 · raw

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

def parse source · line 432 · raw

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

def checksum_body source · line 436 · raw

@s:String -> U32

Useful pure projections for laws and streaming-state agreement.

def parser_decides source · line 439 · raw

@result:ParseResult -> Bool

def error_of source · line 442 · raw

@result:ParseResult -> Maybe<&2, Error>