diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-12 09:11:58 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-12 09:11:58 +0100 |
| commit | 8568944d90f5bc9a60e895a789c85b474d4ff8fe (patch) | |
| tree | c69dfa7165ef9e0937307bcba678105c89f69507 /src/Data/Array/Nested/Mixed/Shape.hs | |
| parent | 4aa8646599f51bbfa2006fd68738713fbb8f215a (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 ::% |