def location_valid

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

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

54def location_valid(target: String, location: Location) -> Bool:
55  match location:
56    case Location{E.BeforeStart{}, start}:
57      Nat.is_eq(start, 0n)
58    case Location{E.Position{+end}, start}:
59      Bool.and(Nat.is_lt(end, S.length(target)), Nat.is_le(start, 1n+end))