easytensor 1.0.0.0 → 1.0.0.1
raw patch · 2 files changed
+3/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Numeric.DataFrame.Type: data TypedList k (f :: k -> Type) (xs :: [k]) :: forall k. () => (k -> Type) -> [k] -> *
- Numeric.Semigroup: instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Numeric.Semigroup.Option a)
- Numeric.Semigroup: instance Data.Semigroup.Semigroup a => GHC.Base.Monoid (Numeric.Semigroup.Option a)
- Numeric.Semigroup: instance GHC.Classes.Ord a => Data.Semigroup.Semigroup (Numeric.Semigroup.MinMax a)
+ Numeric.Semigroup: instance GHC.Base.Semigroup a => GHC.Base.Monoid (Numeric.Semigroup.Option a)
+ Numeric.Semigroup: instance GHC.Base.Semigroup a => GHC.Base.Semigroup (Numeric.Semigroup.Option a)
+ Numeric.Semigroup: instance GHC.Classes.Ord a => GHC.Base.Semigroup (Numeric.Semigroup.MinMax a)
- Numeric.DataFrame.Type: Idx :: Word -> Idx k
+ Numeric.DataFrame.Type: Idx :: Word -> Idx
- Numeric.DataFrame.Type: [unIdx] :: Idx k -> Word
+ Numeric.DataFrame.Type: [unIdx] :: Idx -> Word
- Numeric.DataFrame.Type: data XNat :: *
+ Numeric.DataFrame.Type: data XNat
- Numeric.DataFrame.Type: data Dim k (x :: k) :: forall k. () => k -> *
+ Numeric.DataFrame.Type: data TypedList (f :: k -> Type) (xs :: [k]) :: forall k. () => k -> Type -> [k] -> *
- Numeric.DataFrame.Type: newtype Idx k (n :: k) :: forall k. () => k -> *
+ Numeric.DataFrame.Type: newtype Idx (n :: k) :: forall k. () => k -> *
- Numeric.DataFrame.Type: type Dims k (xs :: [k]) = TypedList k Dim k xs
+ Numeric.DataFrame.Type: type Dims (xs :: [k]) = TypedList (Dim :: k -> *) xs
- Numeric.DataFrame.Type: type Idxs k (xs :: [k]) = TypedList k Idx k xs
+ Numeric.DataFrame.Type: type Idxs (xs :: [k]) = TypedList (Idx :: k -> *) xs
- Numeric.Semigroup: Endo :: (a -> a) -> Endo a
+ Numeric.Semigroup: Endo :: a -> a -> Endo a
- Numeric.Semigroup: class Monoid a
+ Numeric.Semigroup: class Semigroup a => Monoid a
- Numeric.Semigroup: data Arg a b :: * -> * -> *
+ Numeric.Semigroup: data Arg a b
- Numeric.Semigroup: newtype All :: *
+ Numeric.Semigroup: newtype All
- Numeric.Semigroup: newtype Any :: *
+ Numeric.Semigroup: newtype Any
- Numeric.Semigroup: newtype Dual a :: * -> *
+ Numeric.Semigroup: newtype Dual a
- Numeric.Semigroup: newtype Endo a :: * -> *
+ Numeric.Semigroup: newtype Endo a
- Numeric.Semigroup: newtype First a :: * -> *
+ Numeric.Semigroup: newtype First a
- Numeric.Semigroup: newtype Last a :: * -> *
+ Numeric.Semigroup: newtype Last a
- Numeric.Semigroup: newtype Max a :: * -> *
+ Numeric.Semigroup: newtype Max a
- Numeric.Semigroup: newtype Min a :: * -> *
+ Numeric.Semigroup: newtype Min a
- Numeric.Semigroup: newtype Product a :: * -> *
+ Numeric.Semigroup: newtype Product a
- Numeric.Semigroup: newtype Sum a :: * -> *
+ Numeric.Semigroup: newtype Sum a
- Numeric.Semigroup: newtype WrappedMonoid m :: * -> *
+ Numeric.Semigroup: newtype WrappedMonoid m
Files
- easytensor.cabal +1/−1
- src/Numeric/DataFrame/IO.hs +2/−2
easytensor.cabal view
@@ -1,5 +1,5 @@ name: easytensor-version: 1.0.0.0+version: 1.0.0.1 cabal-version: >=1.22 build-type: Simple license: BSD3
src/Numeric/DataFrame/IO.hs view
@@ -193,10 +193,10 @@ withDataFramePtr df k = case dimKind @k of DimNat -> case df of IODataFrame x- -> IO $ withDataFramePtr# x (unsafeCoerce# k)+ -> IO $ withDataFramePtr# x (\p -> case k (Ptr p) of IO f -> f) DimXNat -> case df of XIOFrame (IODataFrame x)- -> IO $ withDataFramePtr# x (unsafeCoerce# k)+ -> IO $ withDataFramePtr# x (\p -> case k (Ptr p) of IO f -> f) -- | Check if the byte array wrapped by this DataFrame is pinned,