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 | |
| parent | 086145dfee33e6e198abc148a6375ce929b2c88f (diff) | |
Fix typos/thinkos
Diffstat (limited to 'src/Data/Array/Nested')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 2 | ||||
| -rw-r--r-- | src/Data/Array/Nested/Mixed/Shape.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index 313e9de..d6bdc6a 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -58,7 +58,7 @@ import Data.Array.Nested.Types -- * To ranked -- TODO: change all those unsafeCoerces into coerces by defining shaped --- and ranekd index types as newtypes of the mixed index type +-- and ranked index types as newtypes of the mixed index type -- and similarly for the sized lists or, preferably, by defining -- all as newtypes over [], exploiting fusion and getting free toList. ixrFromIxS :: IxS sh i -> IxR (Rank sh) i 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 |