~/bend-docscommunity

src/Manifest.bend checks

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

1 import
import Base

Types

type Manifest source · line 15 · raw

Data

Definitions

def mhash source · line 18 · raw

@str:String -> @seed:U32 -> U32

def encode_line source · line 25 · raw

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

def encode_lines source · line 28 · raw

@xss:List<&2, List<&2, String>> -> List<&2, String>

def serialize source · line 35 · raw

@mfst:Manifest -> String

def name_ok_step source · line 44 · raw

@ok:Bool -> @good:Bool -> Bool

--- Strict name validation (structural recursion + leaves; no fuel: recursion is unconditional, decisions combine via leaves) ---

def nc_alpha source · line 51 · raw

@ok:Bool -> @ch:Char -> Bool

def nc_us source · line 58 · raw

@ok:Bool -> @+ch:Char -> Bool

def nc_dot source · line 65 · raw

@ok:Bool -> @+ch:Char -> Bool

def nc_dash source · line 72 · raw

@ok:Bool -> @+ch:Char -> Bool

def name_char_ok source · line 79 · raw

@+ch:Char -> Bool

def name_go source · line 82 · raw

@str:String -> @ok:Bool -> Bool

def name_dots2 source · line 89 · raw

@d2:Bool -> @str:String -> Bool

def name_dots source · line 96 · raw

@d1:Bool -> @d2:Bool -> @str:String -> Bool

def name_ok source · line 103 · raw

@str:String -> Bool

def names_and source · line 110 · raw

@lhs:Bool -> @rhs:Bool -> Bool

def names_ok source · line 117 · raw

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

def line_valid source · line 126 · raw

@line:String -> Bool

--- Parse: validate everything first (Bool), then parse unchecked (total, structural, no Maybe in loops). Top dispatch is a leaf. ---

def body_valid source · line 133 · raw

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

def chk_rd source · line 140 · raw

@opt:Maybe<&2, U32> -> @content:String -> Bool

def chk_sw source · line 147 · raw

@sw:Bool -> @chk:String -> @content:String -> Bool

def chk_valid source · line 154 · raw

@+chk:String -> @content:String -> Bool

def valid_split source · line 157 · raw

@pair:Pair(List<&2, String>, String) -> Bool

def split_last source · line 162 · raw

@ls:List<&2, String> -> @acc:List<&2, String> -> Pair(List<&2, String>, String)

def valid_lines source · line 171 · raw

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

def valid_manifest source · line 174 · raw

@str:String -> Bool

def parse_line_u source · line 177 · raw

@line:String -> List<&2, String>

def parse_levels_u source · line 184 · raw

@ls:List<&2, String> -> @acc:List<&2, List<&2, String>> -> List<&2, List<&2, String>>

def parse_unchecked source · line 191 · raw

@pair:Pair(List<&2, String>, String) -> Manifest

def parse_dispatch source · line 196 · raw

@ok:Bool -> @str:String -> Maybe<&2, Manifest>

def parse source · line 203 · raw

@+str:String -> Maybe<&2, Manifest>

def is_decided source · line 207 · raw

@+_m:Maybe<&2, Manifest> -> Bool

Total-parser witness used by the hardening law.