Chuyển đổi Data.Sequence thành một danh sách?

Question

Có cách nào được chấp nhận chung để chuyển đổi một Data.Sequence (Seq a) thành một danh sách [a]?

tôi thấy có một fromList, nhưng không có ToList

Answer 1

Có một trường hợp Foldable cho Seq a, và điều này cung cấp một phương pháp toList. ví dụ. điều này sẽ in [1,2,3,4,5,6,7,8,9,10]

import Data.Foldable (toList) 
import Data.Sequence (fromList) 

main = print . toList . fromList $ [1..10]