diff options
Diffstat (limited to 'src/Data')
| -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 |