From 2cf2817f321f705cb0d97d2188c17067915507ea Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Wed, 24 Dec 2025 19:31:38 +0100
Subject: Inline most lifting wrappers

This results in only marginal performance gain, probably because
they are already small enough to be specialized and/or inlined
automatically, but these pragmas ensure it remains so regardless
of changes in GHC heuristics.
---
 src/Data/Array/Nested/Ranked/Base.hs | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/src/Data/Array/Nested/Ranked/Base.hs b/src/Data/Array/Nested/Ranked/Base.hs
index 236cb05..9d88815 100644
--- a/src/Data/Array/Nested/Ranked/Base.hs
+++ b/src/Data/Array/Nested/Ranked/Base.hs
@@ -99,6 +99,7 @@ instance Elt a => Elt (Ranked n a) where
   mtoListOuter (M_Ranked arr) =
     coerce @[Mixed sh (Mixed (Replicate n 'Nothing) a)] @[Mixed sh (Ranked n a)] (mtoListOuter arr)
 
+  {-# INLINE mlift #-}
   mlift :: forall sh1 sh2.
            StaticShX sh2
         -> (forall sh' b. Storable b => StaticShX sh' -> XArray (sh1 ++ sh') b -> XArray (sh2 ++ sh') b)
@@ -107,6 +108,7 @@ instance Elt a => Elt (Ranked n a) where
     coerce @(Mixed sh2 (Mixed (Replicate n Nothing) a)) @(Mixed sh2 (Ranked n a)) $
       mlift ssh2 f arr
 
+  {-# INLINE mlift2 #-}
   mlift2 :: forall sh1 sh2 sh3.
             StaticShX sh3
          -> (forall sh' b. Storable b => StaticShX sh' -> XArray (sh1 ++ sh') b -> XArray (sh2 ++ sh') b -> XArray (sh3 ++ sh') b)
@@ -115,6 +117,7 @@ instance Elt a => Elt (Ranked n a) where
     coerce @(Mixed sh3 (Mixed (Replicate n Nothing) a)) @(Mixed sh3 (Ranked n a)) $
       mlift2 ssh3 f arr1 arr2
 
+  {-# INLINE mliftL #-}
   mliftL :: forall sh1 sh2.
             StaticShX sh2
          -> (forall sh' b. Storable b => StaticShX sh' -> NonEmpty (XArray (sh1 ++ sh') b) -> NonEmpty (XArray (sh2 ++ sh') b))
-- 
cgit v1.2.3-70-g09d2