~/bend-docscommunity

Cli.bend checks

raw source on the hub · import bend-edit-distance@0.1.0.0/Cli.bend as Cli

1 import
import Base

Types

type InputStatus source · line 5 · raw

Data

Shared boundary for native distance executables. Keep validation ahead of distance evaluation, including empty-input shortcuts in either algorithm.

Definitions

def max_sequence_length source · line 10 · raw

Nat

def scan_ascii source · line 13 · raw

@rest:(@_:Unit -> InputStatus) -> @ascii:Bool -> InputStatus

def scan source · line 22 · raw

@sequence:String -> @remaining:Nat -> InputStatus

Inspect at most limit + 1 characters, without an unbounded length pass. Match the empty string first so a sequence exactly at the limit is valid.

def combine source · line 33 · raw

@query:InputStatus -> @target:InputStatus -> InputStatus

def validate source · line 42 · raw

@query:String -> @target:String -> InputStatus

Templates

template respond source · line 46 · raw

@-distance:(@_:String -> @_:String -> Nat) -> @query:String -> @target:String -> @status:InputStatus -> IO(Unit)

template run source · line 57 · raw

@-distance:(@_:String -> @_:String -> Nat) -> @args:List<&1, String> -> IO(Unit)