aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Internal.hs
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-04-13 12:36:49 +0200
committerTom Smeding <tom@tomsmeding.com>2024-04-13 12:37:46 +0200
commitd5e02224b16b9d616e5193e0b9c48865b2415699 (patch)
tree95fd19ba185fc4bb2a3934c3f2b5332f2eb35432 /src/Data/Array/Nested/Internal.hs
parent36a89c7a26d73b0583ac765d29dadb1b918007f6 (diff)
Remove spurious comment
The reason these via-instances work is because e.g. `Mixed sh Double` and `Mixed sh (Primitive Double)` are both newtypes around `XArray sh Double`, so they are indeed Coercible without any need for special roles in orthotope.
Diffstat (limited to 'src/Data/Array/Nested/Internal.hs')
-rw-r--r--src/Data/Array/Nested/Internal.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs
index d92c79c..840bb96 100644
--- a/src/Data/Array/Nested/Internal.hs
+++ b/src/Data/Array/Nested/Internal.hs
@@ -201,7 +201,6 @@ instance VU.Unbox a => Elt (Primitive a) where
mvecsFreeze sh (MV_Primitive v) = M_Primitive . X.fromVector sh <$> VU.freeze v
--- What a blessing that orthotope's Array has "representational" role on the value type!
deriving via Primitive Int instance Elt Int
deriving via Primitive Double instance Elt Double
deriving via Primitive () instance Elt ()