diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-01 17:15:05 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-01 17:15:05 +0100 |
| commit | 0028b655341069e83db6e0bfde01dea1c696f5aa (patch) | |
| tree | d43e18d574654043b81ccfaaa3c9ae9e7784dc91 /src/Data/Array/Nested/Ranked | |
| parent | 9560d0f26420409afd2230fb7e5e111eafcced06 (diff) | |
Unify toList functions for shapes
Diffstat (limited to 'src/Data/Array/Nested/Ranked')
| -rw-r--r-- | src/Data/Array/Nested/Ranked/Shape.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs index 989d7d1..739f0de 100644 --- a/src/Data/Array/Nested/Ranked/Shape.hs +++ b/src/Data/Array/Nested/Ranked/Shape.hs @@ -79,6 +79,9 @@ instance Foldable (ListR n) where {-# INLINE foldr #-} foldr _ z ZR = z foldr f z (x ::: xs) = f x (foldr f z xs) + {-# INLINEABLE toList #-} + toList ZR = [] + toList (i ::: is) = i : Foldable.toList is null ZR = False null _ = True |