Add Tsil.toReverseList

ollef · May 23, 2024 · 77490e2 · 77490e2
1 parent 93f58ee
commit 77490e2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Data/Tsil.hs b/src/Data/Tsil.hs
@@ -55,6 +55,10 @@ instance Foldable Tsil where
       go acc Empty = acc
       go acc (xs :> x) = go (x : acc) xs
 
+toReverseList :: Tsil a -> [a]
+toReverseList Empty = []
+toReverseList (as :> a) = a : toReverseList as
+
 null :: Tsil a -> Bool
 null Empty = True
 null (_ :> _) = False