benchmark.bend checks

raw source on the hub · import 0x88d5b48c03f82f217d3a2aa0656744f4/benchmark.bend as Benchmark

4 imports

import Base
import ./main.bend as S
import ./types.bend as T
import ./observations.bend as O

Definitions

def corpus source · line 6 · raw

@n:Nat -> @acc:String -> String

def checked_location source · line 11 · raw

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

def expected_char source · line 15 · raw

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

def checked_char source · line 21 · raw

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

def scan source · line 25 · raw

@fuel:Nat -> @+i:U32 -> @+n:U32 -> @pair:Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Bool) -> Pair(0x88d5b48c03f82f217d3a2aa0656744f4/main.Source, Bool)

def finish source · line 32 · raw

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

def built source · line 36 · raw

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

def workload source · line 41 · raw

@+pairs:Nat -> U32