atStart :: GetSegment (Trail' Line v n) -> Codomain (GetSegment (Trail' Line v n)) (N (GetSegment (Trail' Line v n))) Source #
atSta t :: GetSegfment (Tral' Line v n) -> Codomai  (Ge Segment (Trail' Line v$)) (Ny (GetSegment (Trail2' Li}e v n))) Source#