From b63642a41f3bddc991d92f2f59b9e3ad53c1f15e Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 2 Dec 2025 15:03:10 +0100
Subject: Provide ix*FromLinear for all three shape kinds

This speeds up {r,s}generatePrim
---
 src/Data/Array/Nested/Shaped/Shape.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/Data/Array/Nested/Shaped')

diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs
index 0a4c1b9..a237b88 100644
--- a/src/Data/Array/Nested/Shaped/Shape.hs
+++ b/src/Data/Array/Nested/Shaped/Shape.hs
@@ -17,6 +17,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
 {-# LANGUAGE StrictData #-}
+{-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
@@ -44,6 +45,7 @@ import GHC.IsList qualified as IsList
 import GHC.TypeLits
 
 import Data.Array.Nested.Mixed.Shape
+import Data.Array.Nested.Mixed.Shape.Internal
 import Data.Array.Nested.Permutation
 import Data.Array.Nested.Types
 
@@ -465,3 +467,6 @@ instance KnownShS sh => IsList (ShS sh) where
   type Item (ShS sh) = Int
   fromList = shsFromList (knownShS @sh)
   toList = shsToList
+
+$(ixFromLinearStub "ixsFromLinear" [t| ShS |] [t| IxS |] [p| ZSS |] (\a b -> [p| (fromSNat' -> $a) :$$ $b |]) [| ZIS |] [| (:.$) |] [| shsToList |])
+{-# INLINEABLE ixsFromLinear #-}
-- 
cgit v1.2.3-70-g09d2