~/bend-docscommunity

src/Manifest.bend checks

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

1 import
import Base

Types

type Manifest source · line 15 · raw

Data

Definitions

def mhash source · line 18 · raw

@s:String -> @h: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

@m: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

@a:Bool -> @c:Char -> Bool

def nc_us source · line 58 · raw

@u:Bool -> @+c:Char -> Bool

def nc_dot source · line 65 · raw

@d:Bool -> @+c:Char -> Bool

def nc_dash source · line 72 · raw

@d:Bool -> @+c:Char -> Bool

def name_char_ok source · line 79 · raw

@+c:Char -> Bool

def name_go source · line 82 · raw

@s:String -> @ok:Bool -> Bool

def name_dots2 source · line 89 · raw

@d2:Bool -> @s:String -> Bool

def name_dots source · line 96 · raw

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

def name_ok source · line 103 · raw

@s:String -> Bool

def names_and source · line 110 · raw

@a:Bool -> @b: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

@m: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

@p: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

@s: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

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

def parse_dispatch source · line 196 · raw

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

def parse source · line 203 · raw

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

def is_decided source · line 207 · raw

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

Total-parser witness used by the hardening law.