primitive-extras 0.10.1.10 → 0.10.2
raw patch · 3 files changed
+47/−46 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- PrimitiveExtras.By6Bits: elementsListT :: By6Bits a -> ListT STM a
+ PrimitiveExtras.By6Bits: elementsListT :: forall (m :: Type -> Type) a. Monad m => By6Bits a -> ListT m a
- PrimitiveExtras.By6Bits: elementsUnfoldlM :: Monad m => By6Bits a -> UnfoldlM m a
+ PrimitiveExtras.By6Bits: elementsUnfoldlM :: forall (m :: Type -> Type) a. Monad m => By6Bits a -> UnfoldlM m a
- PrimitiveExtras.By6Bits: onElementAtFocus :: Monad m => Int -> Focus a m b -> Focus (By6Bits a) m b
+ PrimitiveExtras.By6Bits: onElementAtFocus :: forall (m :: Type -> Type) a b. Monad m => Int -> Focus a m b -> Focus (By6Bits a) m b
- PrimitiveExtras.PrimArray: toElementsUnfoldlM :: (Monad m, Prim prim) => PrimArray prim -> UnfoldlM m prim
+ PrimitiveExtras.PrimArray: toElementsUnfoldlM :: forall (m :: Type -> Type) prim. (Monad m, Prim prim) => PrimArray prim -> UnfoldlM m prim
- PrimitiveExtras.PrimMultiArray: create :: (Monad m, Prim element) => Int -> (forall x. Fold (Int, element) x -> m x) -> m (PrimMultiArray element)
+ PrimitiveExtras.PrimMultiArray: create :: (Monad m, Prim element) => Int -> (forall x. () => Fold (Int, element) x -> m x) -> m (PrimMultiArray element)
- PrimitiveExtras.PrimMultiArray: toAssocsUnfoldlM :: (Monad m, Prim a) => PrimMultiArray a -> UnfoldlM m (Int, a)
+ PrimitiveExtras.PrimMultiArray: toAssocsUnfoldlM :: forall (m :: Type -> Type) a. (Monad m, Prim a) => PrimMultiArray a -> UnfoldlM m (Int, a)
- PrimitiveExtras.PrimMultiArray: toIndicesUnfoldlM :: Monad m => PrimMultiArray a -> UnfoldlM m Int
+ PrimitiveExtras.PrimMultiArray: toIndicesUnfoldlM :: forall (m :: Type -> Type) a. Monad m => PrimMultiArray a -> UnfoldlM m Int
- PrimitiveExtras.PrimMultiArray: toUnfoldlAtM :: (Monad m, Prim prim) => PrimMultiArray prim -> Int -> UnfoldlM m prim
+ PrimitiveExtras.PrimMultiArray: toUnfoldlAtM :: forall (m :: Type -> Type) prim. (Monad m, Prim prim) => PrimMultiArray prim -> Int -> UnfoldlM m prim
- PrimitiveExtras.SmallArray: elementsListT :: Monad m => SmallArray a -> ListT m a
+ PrimitiveExtras.SmallArray: elementsListT :: forall (m :: Type -> Type) a. Monad m => SmallArray a -> ListT m a
- PrimitiveExtras.SmallArray: elementsUnfoldlM :: Monad m => SmallArray e -> UnfoldlM m e
+ PrimitiveExtras.SmallArray: elementsUnfoldlM :: forall (m :: Type -> Type) e. Monad m => SmallArray e -> UnfoldlM m e
- PrimitiveExtras.SmallArray: onFoundElementFocus :: Monad m => (a -> Bool) -> (a -> Bool) -> Focus a m b -> Focus (SmallArray a) m b
+ PrimitiveExtras.SmallArray: onFoundElementFocus :: forall (m :: Type -> Type) a b. Monad m => (a -> Bool) -> (a -> Bool) -> Focus a m b -> Focus (SmallArray a) m b
- PrimitiveExtras.SmallArray: toList :: forall a. SmallArray a -> [a]
+ PrimitiveExtras.SmallArray: toList :: SmallArray a -> [a]
- PrimitiveExtras.UnliftedArray: at :: PrimUnlifted element => UnliftedArray element -> Int -> forall result. result -> (element -> result) -> result
+ PrimitiveExtras.UnliftedArray: at :: PrimUnlifted element => UnliftedArray element -> Int -> forall result. () => result -> (element -> result) -> result
Files
- library/PrimitiveExtras/By6Bits.hs +1/−1
- primitive-extras.cabal +44/−44
- test/Main/Transaction.hs +2/−1
library/PrimitiveExtras/By6Bits.hs view
@@ -141,7 +141,7 @@ elementsUnfoldlM (By6Bits _ array) = SmallArray.elementsUnfoldlM array {-# INLINE elementsListT #-}-elementsListT :: By6Bits a -> ListT STM a+elementsListT :: (Monad m) => By6Bits a -> ListT m a elementsListT (By6Bits _ array) = SmallArray.elementsListT array {-# INLINE onElementAtFocus #-}
primitive-extras.cabal view
@@ -1,28 +1,26 @@ cabal-version: 3.0-name: primitive-extras-synopsis: Extras for the "primitive" library+name: primitive-extras+synopsis: Extras for the "primitive" library description: Raw collection of extra utiltilies for the "primitive" library. -version: 0.10.1.10-category: Primitive-homepage: https://github.com/metrix-ai/primitive-extras-bug-reports: https://github.com/metrix-ai/primitive-extras/issues-author: Nikita Volkov <nikita.y.volkov@mail.ru>-maintainer: Nikita Volkov <nikita.y.volkov@mail.ru>-copyright: (c) 2018, Metrix.AI-license: MIT-license-file: LICENSE+version: 0.10.2+category: Primitive+homepage: https://github.com/nikita-volkov/primitive-extras+bug-reports: https://github.com/nikita-volkov/primitive-extras/issues+author: Nikita Volkov <nikita.y.volkov@mail.ru>+maintainer: Nikita Volkov <nikita.y.volkov@mail.ru>+copyright: (c) 2018, Metrix.AI+license: MIT+license-file: LICENSE source-repository head- type: git- location: git://github.com/metrix-ai/primitive-extras.git+ type: git+ location: git://github.com/nikita-volkov/primitive-extras.git library- hs-source-dirs: library+ hs-source-dirs: library default-extensions:- NoImplicitPrelude- NoMonomorphismRestriction Arrows BangPatterns ConstraintKinds@@ -44,6 +42,8 @@ MagicHash MultiParamTypeClasses MultiWayIf+ NoImplicitPrelude+ NoMonomorphismRestriction OverloadedStrings ParallelListComp PatternGuards@@ -58,7 +58,7 @@ TypeOperators UnboxedTuples - default-language: Haskell2010+ default-language: Haskell2010 exposed-modules: PrimitiveExtras.Bitmap PrimitiveExtras.By6Bits@@ -74,25 +74,23 @@ PrimitiveExtras.Types build-depends:- , base >=4.7 && <5- , bytestring >=0.10 && <0.13- , cereal >=0.5.5 && <0.6- , deferred-folds >=0.9 && <0.10- , focus >=1 && <1.1- , foldl >=1 && <2- , list-t >=1.0.1 && <1.1- , primitive >=0.7 && <0.10- , primitive-unlifted >=0.1.3.1 && <0.2 || >=2.1 && <2.2- , profunctors >=5 && <6- , vector >=0.12 && <0.14+ base >=4.7 && <5,+ bytestring >=0.10 && <0.13,+ cereal >=0.5.5 && <0.6,+ deferred-folds >=0.9 && <0.10,+ focus >=1 && <1.1,+ foldl >=1 && <2,+ list-t >=1.0.1 && <1.1,+ primitive >=0.7 && <0.10,+ primitive-unlifted >=0.1.3.1 && <0.2 || >=2.1 && <2.2,+ profunctors >=5 && <6,+ vector >=0.12 && <0.14, test-suite test- type: exitcode-stdio-1.0- hs-source-dirs: test- main-is: Main.hs+ type: exitcode-stdio-1.0+ hs-source-dirs: test+ main-is: Main.hs default-extensions:- NoImplicitPrelude- NoMonomorphismRestriction Arrows BangPatterns ConstraintKinds@@ -114,6 +112,8 @@ MagicHash MultiParamTypeClasses MultiWayIf+ NoImplicitPrelude+ NoMonomorphismRestriction OverloadedStrings ParallelListComp PatternGuards@@ -128,19 +128,19 @@ TypeOperators UnboxedTuples - default-language: Haskell2010+ default-language: Haskell2010 other-modules: Main.Gens Main.Transaction build-depends:- , cereal- , deferred-folds- , focus- , primitive- , primitive-extras- , QuickCheck >=2.13.1 && <3- , rerebase <2- , tasty >=1.2.2 && <2- , tasty-hunit >=0.10.0.2 && <0.11- , tasty-quickcheck >=0.10.1 && <0.11+ QuickCheck >=2.13.1 && <3,+ cereal,+ deferred-folds,+ focus,+ primitive,+ primitive-extras,+ rerebase <2,+ tasty >=1.2.2 && <2,+ tasty-hunit >=0.10.0.2 && <0.11,+ tasty-quickcheck >=0.10.1 && <0.11,
test/Main/Transaction.hs view
@@ -9,7 +9,8 @@ import qualified PrimitiveExtras.By6Bits as By6Bits import Prelude -data Transaction element = forall result.+data Transaction element+ = forall result. (Show result, Eq result) => Transaction { name :: Text,