~/bend-docscommunity

conformance.bend checks

raw source on the hub · import 0xc409b77d3230ca33374caf6b0993f0cb/conformance.bend as Conformance

4 imports
import Base
import ./main.bend as B
import ./model.bend as M
import ./bytes.bend as Y

Definitions

def assert source · line 6 · raw

@ok:Bool -> @name:String -> IO(Unit)

def texts source · line 13 · raw

List<&2, String>

def triple source · line 16 · raw

@+a:String -> @+b:String -> @+c:String -> Bool

def thirds source · line 25 · raw

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

def seconds source · line 32 · raw

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

def all_texts source · line 39 · raw

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

def same_bytes source · line 46 · raw

@a:List<&2, U32> -> @b:List<&2, U32> -> Bool

def success source · line 57 · raw

@result:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> @values:List<&2, U32> -> @n:U32 -> @cap:U32 -> Bool

def is_limit source · line 64 · raw

@err:0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error -> Bool

def limited source · line 71 · raw

@result:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> Bool

def is_invalid source · line 78 · raw

@err:0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error -> @n:U32 -> Bool

def invalid source · line 85 · raw

@result:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> @n:U32 -> Bool

def byte_states source · line 92 · raw

@result:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> Bool

def pair_bytes source · line 105 · raw

@a:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> @b:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> Bool

def capacity_result source · line 118 · raw

@result:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> @+n:U32 -> Bool

def capacity_case source · line 126 · raw

@+n:Nat -> Bool

def capacities source · line 131 · raw

@+n:Nat -> Bool

def compose_results source · line 138 · raw

@a:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> @b:Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder> -> Result<&1, &1, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Error, 0xc409b77d3230ca33374caf6b0993f0cb/bytes.Builder>

def byte_assoc source · line 149 · raw

Bool

def portable source · line 153 · raw

IO(Unit)

def main source · line 170 · raw

IO(Unit)