diff options
| author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-21 23:31:37 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-21 23:31:41 +0200 |
| commit | c4598014eaac54018a6aad9621b8e667a0e84cf6 (patch) | |
| tree | 888b6dc6b9c3d451eeca1ca0cb309533d53e0544 | |
| parent | 4def20b2699f8268ba7d03f3a228273ff613dc0d (diff) | |
Make type params of sized list newtype constructors the same as for the lists
| -rw-r--r-- | src/Data/Array/Nested/Internal.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs index 4dc39c3..41618c5 100644 --- a/src/Data/Array/Nested/Internal.hs +++ b/src/Data/Array/Nested/Internal.hs @@ -855,7 +855,7 @@ deriving via Ranked n (Primitive Double) instance KnownINat n => Num (Ranked n D type ListR :: INat -> Type -> Type data ListR n i where ZR :: ListR Z i - (:::) :: forall n i. i -> ListR n i -> ListR (S n) i + (:::) :: forall n {i}. i -> ListR n i -> ListR (S n) i deriving instance Show i => Show (ListR n i) deriving instance Eq i => Eq (ListR n i) deriving instance Ord i => Ord (ListR n i) @@ -1068,7 +1068,7 @@ deriving via Shaped sh (Primitive Double) instance KnownShape sh => Num (Shaped type ListS :: [Nat] -> Type -> Type data ListS sh i where ZS :: ListS '[] i - (::$) :: forall n sh i. i -> ListS sh i -> ListS (n : sh) i + (::$) :: forall n sh {i}. i -> ListS sh i -> ListS (n : sh) i deriving instance Show i => Show (ListS sh i) deriving instance Eq i => Eq (ListS sh i) deriving instance Ord i => Ord (ListS sh i) |