src/Manifest.bend checks

raw source on the hub · import mylsm-lsm-store@0.4.0.0/src/Manifest.bend as Manifest

4 imports

import Base
import ./StorageBytes.bend as StorageBytes
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
import ./hub_sha/sha256.bend as SHA

Types

type Manifest source · line 7 · raw

Data

Represent Manifest data used by the binary manifest codec.

M

@levels:List<&2, List<&2, String>> -> Manifest

type Error source · line 11 · raw

Data

Represent Error data used by the binary manifest codec.

TooLarge
```
Error
```
InvalidName
```
Error
```

type ParseState source · line 16 · raw

Data

Represent ParseState data used by the binary manifest codec.

ReadNamesCount

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> ParseState

ReadNameLength

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> ParseState

ReadNameBody

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> ParseState

type ParseInput source · line 22 · raw

Type

Represent ParseInput data used by the binary manifest codec.

NoInput

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> ParseInput

NameInput

@value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>) -> ParseInput

type ParseTransition source · line 27 · raw

Type

Represent ParseTransition data used by the binary manifest codec.

Continue

@state:ParseState -> @input:ParseInput -> ParseTransition

Reject

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> ParseTransition

Finish

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @levels:List<&2, List<&2, String>> -> ParseTransition

Definitions

def magic.result source · line 32 · raw

@result:Maybe<&1, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes> -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def magic source · line 40 · raw

0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

Handle magic in the binary manifest codec.

def u32 source · line 44 · raw

@+value:U32 -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

Handle u32 in the binary manifest codec.

def bytes.clone.pair source · line 47 · raw

@+len:U32 -> @copied:Pair(Array<U32>, Array<U32>) -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes)

def bytes.clone.split source · line 52 · raw

@bytes:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes)

def bytes.clone.first source · line 57 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def bytes.length source · line 62 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, U32) -> U32

def bytes.slice.second source · line 67 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.name.copies source · line 72 · raw

@+len:U32 -> @tail:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @copies:Pair(Array<U32>, Array<U32>) -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.name.buffer source · line 77 · raw

@+len:U32 -> @tail:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @packed:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.name.copy source · line 82 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, U32) -> @tail:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.name.prefix source · line 87 · raw

@result:Result<&1, &1, Pair(U32, String), 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes> -> @tail:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def name.char.valid source · line 94 · raw

@+char:Char -> Bool

def name.text.valid.chars source · line 101 · raw

@text:String -> @valid:Bool -> Bool

def name.text.valid.edge source · line 108 · raw

@text:String -> @dot_component:Bool -> Bool

def name.text.valid source · line 115 · raw

@+text:String -> Bool

def names.valid.step source · line 122 · raw

@rest:List<&2, String> -> @valid:Bool -> Bool

def names.valid source · line 131 · raw

@names:List<&2, String> -> Bool

def levels.valid.step source · line 134 · raw

@rest:List<&2, List<&2, String>> -> @valid:Bool -> Bool

def levels.valid source · line 143 · raw

@levels:List<&2, List<&2, String>> -> Bool

def encode.names source · line 146 · raw

@names:List<&2, String> -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.levels source · line 153 · raw

@levels:List<&2, List<&2, String>> -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.body source · line 160 · raw

@+manifest:Manifest -> 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes

def encode.digest.checked source · line 165 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> Result<&1, &1, Error, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes>

def encode.body.digest source · line 172 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> Result<&1, &1, Error, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes>

def encode.body.checked source · line 177 · raw

@manifest:Manifest -> Result<&1, &1, Error, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes>

def encode.checked source · line 181 · raw

@manifest:Manifest -> @valid:Bool -> Result<&1, &1, Error, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes>

def manifest.valid source · line 188 · raw

@manifest:Manifest -> Bool

def serialize source · line 194 · raw

@+manifest:Manifest -> Result<&1, &1, Error, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes>

Handle serialize in the binary manifest codec.

def token.from.result source · line 197 · raw

@result:Result<&1, &1, Error, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes> -> String

def token source · line 205 · raw

@manifest:Manifest -> String

Handle token in the binary manifest codec.

def cursor.u32 source · line 209 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>)

def cursor.bytes source · line 212 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @len:U32 -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&1, 0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit>)

def read.name.text source · line 215 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @limit:0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit -> @name:String -> @valid:Bool -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name.decoded source · line 227 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @limit:0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit -> @decoded:Result<&1, &1, Pair(U32, String), String> -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name.checked source · line 238 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @limit:0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit -> @bytes:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name.buffer.copies source · line 245 · raw

@limit:0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit -> @len:U32 -> @+offset:U32 -> @start:U32 -> @end:U32 -> @copies:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name.buffer source · line 258 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @limit:0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit -> @len:U32 -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name.region.result source · line 263 · raw

@region:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&1, 0x185ae03c75e3e75be1171471f68b43cb/bytes.CursorLimit>) -> @len:U32 -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name.region source · line 273 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @+len:U32 -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def read.name source · line 276 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>)

def parse.step.reject.name source · line 283 · raw

@value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>) -> ParseTransition

def parse.step.reject source · line 288 · raw

@input:ParseInput -> ParseTransition

def parse.step.count.value source · line 295 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> ParseTransition

def parse.step.count source · line 306 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @input:ParseInput -> ParseTransition

def parse.step.length.named source · line 313 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> @value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>) -> ParseTransition

def parse.step.length.value source · line 322 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> @value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> ParseTransition

def parse.step.length.input source · line 335 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> @input:ParseInput -> ParseTransition

def parse.step.level.remaining source · line 348 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names:List<&2, String> -> @cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> ParseTransition

def parse.step.level source · line 364 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_acc:List<&2, String> -> @input:ParseInput -> ParseTransition

def parse.step.name.value source · line 376 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> @value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>) -> ParseTransition

def parse.step.name source · line 389 · raw

@levels_left:Nat -> @levels_acc:List<&2, List<&2, String>> -> @names_left:Nat -> @names_acc:List<&2, String> -> @input:ParseInput -> ParseTransition

def parse.step.state source · line 402 · raw

@state:ParseState -> @input:ParseInput -> ParseTransition

def parse.loop.exhausted.name source · line 415 · raw

@value:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, String>) -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, Manifest>)

def parse.loop.exhausted source · line 420 · raw

@transition:ParseTransition -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, Manifest>)

def parse.loop source · line 431 · raw

@fuel:Nat -> @transition:ParseTransition -> Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, Manifest>)

def bytes.eq.result source · line 444 · raw

@comparison:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, Bool)) -> Bool

def checksum.valid source · line 449 · raw

@bytes:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @body_len:U32 -> @digest:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Bool

def parse.body.digest.verified source · line 452 · raw

@body_len:U32 -> @hash_source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @levels:List<&2, List<&2, String>> -> @digest:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Maybe<&2, Manifest>

def parse.body.digest.footer source · line 460 · raw

@+body_len:U32 -> @hash_source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @levels:List<&2, List<&2, String>> -> @copies:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> Maybe<&2, Manifest>

def parse.body.digest.checked source · line 470 · raw

@body_len:U32 -> @hash_source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @footer_source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @levels:List<&2, List<&2, String>> -> @within_size:Bool -> Maybe<&2, Manifest>

def parse.body.digest.size source · line 483 · raw

@+body_len:U32 -> @hash_source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @size_pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, U32) -> @levels:List<&2, List<&2, String>> -> Maybe<&2, Manifest>

def parse.body.digest.sources source · line 493 · raw

@body_len:U32 -> @levels:List<&2, List<&2, String>> -> @sources:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> Maybe<&2, Manifest>

def parse.body.position source · line 502 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @levels:List<&2, List<&2, String>> -> Maybe<&2, Manifest>

def parse.body.levels.manifest source · line 511 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @manifest:Manifest -> Maybe<&2, Manifest>

def parse.body.levels source · line 516 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @result:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, Manifest>) -> Maybe<&2, Manifest>

def parse.body.start source · line 523 · raw

@count:Nat -> @cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Maybe<&2, Manifest>

def parse.body source · line 530 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> @source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Maybe<&2, Manifest>

def parse.version source · line 537 · raw

@cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @valid:Bool -> Maybe<&2, Manifest>

def parse.magic source · line 544 · raw

@pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> @source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Maybe<&2, Manifest>

def parse.input.second.valid source · line 551 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @valid:Bool -> Maybe<&2, Manifest>

def parse.input.second source · line 558 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> Maybe<&2, Manifest>

def parse.input.first.valid source · line 565 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @cursor:0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor -> @valid:Bool -> Maybe<&2, Manifest>

def parse.input.first source · line 572 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Cursor, Maybe<&2, U32>) -> Maybe<&2, Manifest>

def parse.input.start source · line 579 · raw

@sources:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, 0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes) -> Maybe<&2, Manifest>

def parse.input.with_magic source · line 584 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Maybe<&2, Manifest>

def parse.bounded source · line 587 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> @within_limit:Bool -> Maybe<&2, Manifest>

def parse.size source · line 594 · raw

@size_pair:Pair(0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes, U32) -> Maybe<&2, Manifest>

def parse source · line 600 · raw

@source:0x185ae03c75e3e75be1171471f68b43cb/bytes.Bytes -> Maybe<&2, Manifest>

Handle parse in the binary manifest codec.

def is_decided source · line 604 · raw

@_result:Maybe<&2, Manifest> -> Bool

Check whether decided holds for the binary manifest codec.