conformance.bend checks
raw source on the hub · import 0x88d5b48c03f82f217d3a2aa0656744f4/conformance.bend as Conformance
4 imports
import Base import ./main.bend as S import ./types.bend as T import ./observations.bend as O
Definitions
def span_ends source · line 7 · raw
@fuel:Nat -> @+text:String -> @+a:U32 -> @+b:U32 -> Bool
Exhaustive positions and valid half-open spans within each concrete text.
def positions source · line 12 · raw
@fuel:Nat -> @+text:String -> @+i:U32 -> @+n:U32 -> Bool
def columns source · line 18 · raw
@fuel:Nat -> @+text:String -> @+line:U32 -> @+col:U32 -> Bool
def locations source · line 23 · raw
@fuel:Nat -> @+text:String -> @+line:U32 -> @+n:U32 -> Bool
def sample source · line 28 · raw
@+text:String -> @+n:U32 -> @lines:U32 -> Bool
def content_cases source · line 31 · raw
Bool
def cursor_cases source · line 34 · raw
Bool
def invalid_cases source · line 37 · raw
Bool
def construction_cases source · line 40 · raw
Bool
def all source · line 43 · raw
Bool
def main source · line 46 · raw
U32