~/bend-docscommunity

observations.bend checks

raw source on the hub · import 0x88d5b48c03f82f217d3a2aa0656744f4/observations.bend as Observations

4 imports
import Base
import ./main.bend as S
import ./types.bend as T
import ./model.bend as M

Definitions

def error_eq source · line 6 · raw

@a:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> @b:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> Bool

def chars_eq source · line 16 · raw

@a:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Char> -> @b:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Char> -> Bool

def nums_eq source · line 22 · raw

@a:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32> -> @b:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32> -> Bool

def locs_eq source · line 28 · raw

@a:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Location> -> @b:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Location> -> Bool

def texts_eq source · line 34 · raw

@a:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String> -> @b:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String> -> Bool

def cursors_eq source · line 40 · raw

@a:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @b:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> Bool

def cursors_result source · line 44 · raw

@a:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> @b:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> Bool

def maybe_eq source · line 50 · raw

@a:Maybe<&1, Char> -> @b:Maybe<&1, Char> -> Bool

def peek_eq source · line 56 · raw

@a:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Maybe<&1, Char>> -> @b:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Maybe<&1, Char>> -> Bool

def content_lines source · line 62 · raw

@expected:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Bool

def content_length source · line 66 · raw

@+text:String -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Bool

def content_file source · line 70 · raw

@text:String -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Bool

def content source · line 74 · raw

@+text:String -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, String) -> Bool

def preserved source · line 78 · raw

@s:0x88d5b48c03f82f217d3a2aa0656744f4/main.Source -> @text:String -> @ok:Bool -> Bool

def read_char source · line 81 · raw

@text:String -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Char> -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Char>) -> Bool

def get_created source · line 85 · raw

@+text:String -> @+i:U32 -> @result:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def get source · line 90 · raw

@+text:String -> @+i:U32 -> Bool

def read_location source · line 93 · raw

@+text:String -> @+i:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Location>) -> Bool

def locate_created source · line 97 · raw

@text:String -> @+i:U32 -> @result:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def locate source · line 102 · raw

@+text:String -> @i:U32 -> Bool

def read_offset source · line 105 · raw

@+text:String -> @loc:0x88d5b48c03f82f217d3a2aa0656744f4/types.Location -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32>) -> Bool

def offset_created source · line 109 · raw

@text:String -> @+loc:0x88d5b48c03f82f217d3a2aa0656744f4/types.Location -> @result:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def offset source · line 114 · raw

@+text:String -> @loc:0x88d5b48c03f82f217d3a2aa0656744f4/types.Location -> Bool

def roundtrip_offset source · line 117 · raw

@text:String -> @i:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, U32>) -> Bool

def roundtrip_loc source · line 121 · raw

@s:0x88d5b48c03f82f217d3a2aa0656744f4/main.Source -> @text:String -> @i:U32 -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Location> -> Bool

def roundtrip_pair source · line 126 · raw

@text:String -> @i:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Location>) -> Bool

def roundtrip_created source · line 130 · raw

@text:String -> @+i:U32 -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def roundtrip source · line 135 · raw

@+text:String -> @i:U32 -> Bool

def extract_read source · line 138 · raw

@text:String -> @expected:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String> -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String>) -> Bool

def extract_created source · line 142 · raw

@text:String -> @span:0x88d5b48c03f82f217d3a2aa0656744f4/types.Span -> @expected:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String> -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def extract source · line 147 · raw

@+text:String -> @span:0x88d5b48c03f82f217d3a2aa0656744f4/types.Span -> @expected:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, String> -> Bool

def span_extracted source · line 150 · raw

@s:0x88d5b48c03f82f217d3a2aa0656744f4/main.Source -> @text:String -> @want:String -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Span> -> Bool

def span_pair source · line 155 · raw

@text:String -> @want:String -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Span>) -> Bool

def span_created source · line 159 · raw

@+text:String -> @+a:U32 -> @+b:U32 -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def span source · line 164 · raw

@+text:String -> @a:U32 -> @b:U32 -> Bool

def cursor_read source · line 167 · raw

@text:String -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor>) -> Bool

def cursor_created source · line 171 · raw

@text:String -> @i:U32 -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def cursor source · line 176 · raw

@+text:String -> @i:U32 -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> Bool

def restore_created source · line 179 · raw

@text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def restore source · line 184 · raw

@+text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor> -> Bool

def peek_read source · line 187 · raw

@text:String -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Maybe<&1, Char>> -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Maybe<&1, Char>>) -> Bool

def peek_created source · line 191 · raw

@text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Maybe<&1, Char>> -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def peek source · line 196 · raw

@+text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Maybe<&1, Char>> -> Bool

def bumped_check source · line 199 · raw

@s:0x88d5b48c03f82f217d3a2aa0656744f4/main.Source -> @text:String -> @+saved:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @ch:Maybe<&1, Char> -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Pair(0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor, Maybe<&1, Char>)> -> Bool

def bump_pair source · line 205 · raw

@text:String -> @saved:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @ch:Maybe<&1, Char> -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Pair(0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor, Maybe<&1, Char>)>) -> Bool

def bump_created source · line 209 · raw

@text:String -> @+c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @ch:Maybe<&1, Char> -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def bump source · line 214 · raw

@+text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @want:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @ch:Maybe<&1, Char> -> Bool

def rejected source · line 217 · raw

@e:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def built_content source · line 222 · raw

@text:String -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def preserved_new source · line 227 · raw

@+text:String -> Bool

def metadata_line source · line 230 · raw

@text:String -> @want:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Bool

def metadata_len source · line 234 · raw

@+text:String -> @want:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Bool

def metadata_file source · line 238 · raw

@+text:String -> @want:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, U32) -> Bool

def metadata_created source · line 242 · raw

@text:String -> @lines:U32 -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def metadata source · line 247 · raw

@+text:String -> @lines:U32 -> Bool

def span_error source · line 250 · raw

@r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Span> -> Bool

def bad_span source · line 255 · raw

@text:String -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Span>) -> Bool

def span_reject_created source · line 259 · raw

@text:String -> @a:U32 -> @b:U32 -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def span_reject source · line 264 · raw

@+text:String -> @a:U32 -> @b:U32 -> Bool

def bump_error source · line 267 · raw

@e:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Pair(0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor, Maybe<&1, Char>)> -> Bool

def bump_bad_read source · line 272 · raw

@text:String -> @e:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, Pair(0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor, Maybe<&1, Char>)>) -> Bool

def bump_bad_created source · line 276 · raw

@text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @e:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> @r:Result<&1, &1, 0x88d5b48c03f82f217d3a2aa0656744f4/types.Error, 0x88d5b48c03f82f217d3a2aa0656744f4/main.Source> -> Bool

def bump_bad source · line 281 · raw

@+text:String -> @c:0x88d5b48c03f82f217d3a2aa0656744f4/types.Cursor -> @e:0x88d5b48c03f82f217d3a2aa0656744f4/types.Error -> Bool