diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 12:08:26 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 12:08:26 +0200 |
| commit | db163c981f796264e17019537a1ab2a5ae3573e1 (patch) | |
| tree | ee3d529fc53b27077e1dbe53b3d6a93462c2f8dd /src/Data/Array/Nested/Mixed | |
| parent | 086145dfee33e6e198abc148a6375ce929b2c88f (diff) | |
Fix typos/thinkos
Diffstat (limited to 'src/Data/Array/Nested/Mixed')
| -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 b0276c9..f8b19c2 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -53,7 +53,7 @@ type family Rank sh where Rank (_ : sh) = Rank sh + 1 --- * Mixed lists to be used IxX and shaped and ranked lists and indexes +-- * Mixed lists type role ListX nominal representational type ListX :: [Maybe Nat] -> Type -> Type |