Warum fehlen TakeR, DropR und SplitAtR aus Data.Sequence?

Question

Data.Sequence hat takeWhileR und dropWhileR für die effiziente Dekonstruktion von Seq s von rechts. Jedoch sind takeR, dropR und splitAtR deutlich abwesend. take und drop sind in Bezug auf splitAt implementiert. Also, geben Finger Bäume keine effiziente splitAtR oder war diese Funktionalität aus einem anderen Grund nicht enthalten?

(Separate aber etwas damit verbundene Frage: Wäre eine naive dropR Umsetzung in Bezug auf viewR führt anständig gut?)

Diese Frage auf containers-0.5.6.3 basiert.

Answer 1

length ist O (1), so splitAt genügt, um alles, was Sie brauchen, auf effiziente Weise zu definieren.

splitAtR i s = splitAt (length s - i) s 
takeR i s = snd $ splitAtR i s 
dropR i s = fst $ splitAtR i s 

die Dokumentation nach, splitAt kostet O(log(min(i,length s-i))), so durch Symmetrie splitAtR die gleichen Kosten (nur eine zusätzliche +O(1), die wir vernachlässigen können).