From a9ac62f66e45e64f83043e0ebda04f0b4b80b913 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Sat, 4 Apr 2026 10:33:50 +0200 Subject: Make ranked and shaped lists newtypes over mixed --- src/Data/Array/Nested/Mixed/Shape.hs | 6 ------ 1 file changed, 6 deletions(-) (limited to 'src/Data/Array/Nested/Mixed/Shape.hs') diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs index c2ab93f..5887f4e 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -75,12 +75,6 @@ instance NFData i => NFData (ListX sh i) where rnf ZX = () rnf (x ::% l) = rnf x `seq` rnf l -data UnconsListXRes i sh1 = - forall n sh. (n : sh ~ sh1) => UnconsListXRes (ListX sh i) i -listxUncons :: ListX sh1 f -> Maybe (UnconsListXRes f sh1) -listxUncons (i ::% shl') = Just (UnconsListXRes shl' i) -listxUncons ZX = Nothing - instance Functor (ListX l) where {-# INLINE fmap #-} fmap _ ZX = ZX -- cgit v1.3