diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 19:33:19 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 19:33:45 +0200 |
commit | 91e43dd2e403ca892e235087970f52bb952b469f (patch) | |
tree | f16663514f646b1d996f753e6433c0157556e6f4 /src/Data/Array | |
parent | af921a01e210fa1084236e63905d23acca3e7301 (diff) |
*asXArrayPrim -> *toXArrayPrim
This name makes much more sense in combination with *fromXArrayPrim.
Diffstat (limited to 'src/Data/Array')
-rw-r--r-- | src/Data/Array/Nested.hs | 6 | ||||
-rw-r--r-- | src/Data/Array/Nested/Internal/Mixed.hs | 8 | ||||
-rw-r--r-- | src/Data/Array/Nested/Internal/Ranked.hs | 8 | ||||
-rw-r--r-- | src/Data/Array/Nested/Internal/Shaped.hs | 8 |
4 files changed, 15 insertions, 15 deletions
diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs index 4d2d616..1c9cebc 100644 --- a/src/Data/Array/Nested.hs +++ b/src/Data/Array/Nested.hs @@ -14,7 +14,7 @@ module Data.Array.Nested ( -- ** Lifting orthotope operations to 'Ranked' arrays rlift, rlift2, -- ** Conversions - rasXArrayPrim, rfromXArrayPrim, + rtoXArrayPrim, rfromXArrayPrim, rcastToShaped, rfromOrthotope, @@ -31,7 +31,7 @@ module Data.Array.Nested ( -- ** Lifting orthotope operations to 'Shaped' arrays slift, slift2, -- ** Conversions - sasXArrayPrim, sfromXArrayPrim, + stoXArrayPrim, sfromXArrayPrim, stoRanked, -- * Mixed arrays @@ -46,7 +46,7 @@ module Data.Array.Nested ( -- ** Lifting orthotope operations to 'Mixed' arrays mlift, mlift2, -- ** Conversions - masXArrayPrim, mfromXArrayPrim, + mtoXArrayPrim, mfromXArrayPrim, mtoRanked, mcastToShaped, -- * Array elements diff --git a/src/Data/Array/Nested/Internal/Mixed.hs b/src/Data/Array/Nested/Internal/Mixed.hs index 0c9ad0b..09fb82b 100644 --- a/src/Data/Array/Nested/Internal/Mixed.hs +++ b/src/Data/Array/Nested/Internal/Mixed.hs @@ -718,11 +718,11 @@ mreshape sh' arr = miota :: (Enum a, PrimElt a) => SNat n -> Mixed '[Just n] a miota sn = fromPrimitive $ M_Primitive (SKnown sn :$% ZSX) (X.iota sn) -masXArrayPrimP :: Mixed sh (Primitive a) -> (IShX sh, XArray sh a) -masXArrayPrimP (M_Primitive sh arr) = (sh, arr) +mtoXArrayPrimP :: Mixed sh (Primitive a) -> (IShX sh, XArray sh a) +mtoXArrayPrimP (M_Primitive sh arr) = (sh, arr) -masXArrayPrim :: PrimElt a => Mixed sh a -> (IShX sh, XArray sh a) -masXArrayPrim = masXArrayPrimP . toPrimitive +mtoXArrayPrim :: PrimElt a => Mixed sh a -> (IShX sh, XArray sh a) +mtoXArrayPrim = mtoXArrayPrimP . toPrimitive mfromXArrayPrimP :: StaticShX sh -> XArray sh a -> Mixed sh (Primitive a) mfromXArrayPrimP ssh arr = M_Primitive (X.shape ssh arr) arr diff --git a/src/Data/Array/Nested/Internal/Ranked.hs b/src/Data/Array/Nested/Internal/Ranked.hs index 8737733..d6eff31 100644 --- a/src/Data/Array/Nested/Internal/Ranked.hs +++ b/src/Data/Array/Nested/Internal/Ranked.hs @@ -415,11 +415,11 @@ rreshape sh' rarr@(Ranked arr) riota :: (Enum a, PrimElt a, Elt a) => Int -> Ranked 1 a riota n = TN.withSomeSNat (fromIntegral n) $ mtoRanked . miota -rasXArrayPrimP :: Ranked n (Primitive a) -> (IShR n, XArray (Replicate n Nothing) a) -rasXArrayPrimP (Ranked arr) = first shCvtXR' (masXArrayPrimP arr) +rtoXArrayPrimP :: Ranked n (Primitive a) -> (IShR n, XArray (Replicate n Nothing) a) +rtoXArrayPrimP (Ranked arr) = first shCvtXR' (mtoXArrayPrimP arr) -rasXArrayPrim :: PrimElt a => Ranked n a -> (IShR n, XArray (Replicate n Nothing) a) -rasXArrayPrim (Ranked arr) = first shCvtXR' (masXArrayPrim arr) +rtoXArrayPrim :: PrimElt a => Ranked n a -> (IShR n, XArray (Replicate n Nothing) a) +rtoXArrayPrim (Ranked arr) = first shCvtXR' (mtoXArrayPrim arr) rfromXArrayPrimP :: SNat n -> XArray (Replicate n Nothing) a -> Ranked n (Primitive a) rfromXArrayPrimP sn arr = Ranked (mfromXArrayPrimP (ssxFromShape (X.shape (ssxFromSNat sn) arr)) arr) diff --git a/src/Data/Array/Nested/Internal/Shaped.hs b/src/Data/Array/Nested/Internal/Shaped.hs index 06c87b0..7e480c9 100644 --- a/src/Data/Array/Nested/Internal/Shaped.hs +++ b/src/Data/Array/Nested/Internal/Shaped.hs @@ -352,11 +352,11 @@ sreshape sh' (Shaped arr) = Shaped (mreshape (shCvtSX sh') arr) siota :: (Enum a, PrimElt a) => SNat n -> Shaped '[n] a siota sn = Shaped (miota sn) -sasXArrayPrimP :: Shaped sh (Primitive a) -> (ShS sh, XArray (MapJust sh) a) -sasXArrayPrimP (Shaped arr) = first shCvtXS' (masXArrayPrimP arr) +stoXArrayPrimP :: Shaped sh (Primitive a) -> (ShS sh, XArray (MapJust sh) a) +stoXArrayPrimP (Shaped arr) = first shCvtXS' (mtoXArrayPrimP arr) -sasXArrayPrim :: PrimElt a => Shaped sh a -> (ShS sh, XArray (MapJust sh) a) -sasXArrayPrim (Shaped arr) = first shCvtXS' (masXArrayPrim arr) +stoXArrayPrim :: PrimElt a => Shaped sh a -> (ShS sh, XArray (MapJust sh) a) +stoXArrayPrim (Shaped arr) = first shCvtXS' (mtoXArrayPrim arr) sfromXArrayPrimP :: ShS sh -> XArray (MapJust sh) a -> Shaped sh (Primitive a) sfromXArrayPrimP sh arr = Shaped (mfromXArrayPrimP (ssxFromShape (shCvtSX sh)) arr) |