Tại sao takeR, dropR và splitAtR bị thiếu trong Data.Sequence?

Question

Data.Sequence có takeWhileR và dropWhileR cho giải cấu trúc hiệu quả Seq s từ cánh phải. Tuy nhiên, takeR, dropR và splitAtR là vắng mặt. take và drop được thực hiện về mặt splitAt. Vì vậy, đừng cây ngón tay không thừa nhận một hiệu quả splitAtR hoặc là chức năng này không bao gồm đối với một số lý do nào khác?

(câu hỏi riêng biệt nhưng phần nào liên quan: Sẽ một ngây thơ dropR thực hiện về viewR thực hiện decently tốt?)

Câu hỏi này được dựa trên containers-0.5.6.3.

Answer 1

length là O (1), vì vậy splitAt đủ để xác định mọi thứ bạn cần, một cách hiệu quả.

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

Theo các tài liệu, chi phí splitAtO(log(min(i,length s-i))), vì vậy bằng cách đối xứng splitAtR chi phí như nhau (chỉ thêm +O(1), mà chúng ta có thể bỏ qua).