def path_checked

bend-edit-distance@0.2.2.0 · src/Alignment.bend:61

import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

61def path_checked(score: U32, locations: List<&2, Location>, format: E.CigarFormat,
62                  operations: List<&2, E.Operation>, valid: Bool) -> E.AlignResult:
63  match valid:
64    case True{}:
65      path_result(score, locations, operations, format)
66    case False{}:
67      E.AlignResult{E.Error{}, E.NotFound{}, Nil{}, None{}, None{}, None{}}