diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-12 09:11:58 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-31 13:14:34 +0100 |
| commit | f02420ae66509a6a475ed336615f2584e67ea3c8 (patch) | |
| tree | 1a2b21ac4a206ebe139c9693855ec597bd2cc408 /src/Data/Array/Nested/Mixed/Shape.hs | |
| parent | 3936da7066be2ed4c0e43f7aed5a4d3cf019fdce (diff) | |
Make type variables consistent between shaped and mixed lists
Diffstat (limited to 'src/Data/Array/Nested/Mixed/Shape.hs')
| -rw-r--r-- | src/Data/Array/Nested/Mixed/Shape.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs index 11ef757..b1b4f81 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -62,7 +62,7 @@ type role ListX nominal representational type ListX :: [Maybe Nat] -> (Maybe Nat -> Type) -> Type data ListX sh f where ZX :: ListX '[] f - (::%) :: f n -> ListX sh f -> ListX (n : sh) f + (::%) :: forall n sh {f}. f n -> ListX sh f -> ListX (n : sh) f deriving instance (forall n. Eq (f n)) => Eq (ListX sh f) deriving instance (forall n. Ord (f n)) => Ord (ListX sh f) infixr 3 ::% |