def lines.shift

gralha-coverage@0.1.0.1 · cover.bend:1145

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

1145def lines.shift(xs: List<&2, CovLine>, +dx: F32, +dy: F32) -> List<&2, CovLine>:
1146  match xs:
1147    case Nil{}: Nil{}
1148    case Con{CovLine{ax, ay, bx, by}, rest}: Con{CovLine{(ax - dx : F32), (ay - dy : F32), (bx - dx : F32), (by - dy : F32)}, lines.shift(rest, dx, dy)}

Uses (4)

Used by (0)

No other definition uses this definition.