EdlibTypes.bend checks

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

1 import

import Base

Types

type Mode source · line 4 · raw

Data

Edlib sentinels are distinct constructors, never wrapped U32 values.

NW
```
Mode
```
SHW
```
Mode
```
HW
```
Mode
```

type Task source · line 9 · raw

Data

Distance
```
Task
```
Locations
```
Task
```
Path
```
Task
```

type Threshold source · line 14 · raw

Data

Unlimited
```
Threshold
```
MaxDistance
```
@value:Nat -> Threshold
```

type EqualityPair source · line 18 · raw

Data

EqualityPair

@first:Char -> @second:Char -> EqualityPair

type CigarFormat source · line 21 · raw

Data

Standard
```
CigarFormat
```
Extended
```
CigarFormat
```

type AlignConfig source · line 25 · raw

Data

AlignConfig

@mode:Mode -> @task:Task -> @threshold:Threshold -> @equalities:List<&2, EqualityPair> -> @cigar_format:CigarFormat -> AlignConfig

type Status source · line 29 · raw

Data

Ok
```
Status
```
Error
```
Status
```

type EditDistance source · line 33 · raw

Data

Found
```
@value:Nat -> EditDistance
```
NotFound
```
EditDistance
```

type Coordinate source · line 37 · raw

Data

BeforeStart
```
Coordinate
```
Position
```
@index:Nat -> Coordinate
```

type Operation source · line 41 · raw

Data

Match
```
Operation
```
Insert
```
Operation
```
Delete
```
Operation
```
Mismatch
```
Operation
```

type AlignResult source · line 47 · raw

Data

AlignResult

@status:Status -> @distance:EditDistance -> @end_locations:List<&2, Coordinate> -> @start_locations:Maybe<&2, List<&2, Coordinate>> -> @alignment:Maybe<&2, List<&2, Operation>> -> @cigar:Maybe<&2, String> -> AlignResult

Definitions

def default_config source · line 53 · raw

AlignConfig

def end_coordinate source · line 56 · raw

@length:Nat -> Coordinate

def distance_show source · line 63 · raw

@distance:EditDistance -> String

def coordinate_show source · line 70 · raw

@position:Coordinate -> String

def status_show source · line 77 · raw

@status:Status -> String

def operation_show source · line 84 · raw

@operation:Operation -> String

def operation_char source · line 95 · raw

@format:CigarFormat -> @operation:Operation -> Char

def cigar_step source · line 108 · raw

@rest:(@_:Unit -> String) -> @symbol:Char -> @count:Nat -> @same:Bool -> String

def cigar_runs source · line 115 · raw

@operations:List<&2, Operation> -> @+format:CigarFormat -> @+symbol:Char -> @+count:Nat -> String

def alignment_to_cigar source · line 126 · raw

@operations:List<&2, Operation> -> @+format:CigarFormat -> String

def coordinates_show source · line 133 · raw

@locations:List<&2, Coordinate> -> String

def starts_show source · line 136 · raw

@locations:Maybe<&2, List<&2, Coordinate>> -> String

def alignment_show source · line 143 · raw

@alignment:Maybe<&2, List<&2, Operation>> -> String

def cigar_show source · line 151 · raw

@cigar:Maybe<&2, String> -> String

CIGAR contains only decimal counts and MID=X, so needs no JSON escaping.

def result_show source · line 158 · raw

@result:AlignResult -> String

def not_found source · line 168 · raw

AlignResult

def within_threshold source · line 171 · raw

@threshold:Threshold -> @distance:Nat -> Bool

def distance_result source · line 178 · raw

@distance:Nat -> @end:Coordinate -> @accepted:Bool -> AlignResult