fs-sim 0.4.0.0 → 0.4.1.0
raw patch · 3 files changed
+13/−8 lines, 3 filesdep ~QuickCheckdep ~basedep ~containersnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck, base, containers, io-classes
API changes (from Hackage documentation)
- System.FS.Sim.Error: instance Data.String.IsString System.FS.Sim.Error.Blob
- System.FS.Sim.Error: instance GHC.Show.Show System.FS.Sim.Error.Blob
- System.FS.Sim.Error: instance GHC.Show.Show System.FS.Sim.Error.Errors
- System.FS.Sim.Error: instance GHC.Show.Show System.FS.Sim.Error.Partial
- System.FS.Sim.Error: instance GHC.Show.Show System.FS.Sim.Error.PutCorruption
- System.FS.Sim.FsTree: instance GHC.Base.Functor System.FS.Sim.FsTree.FsTree
- System.FS.Sim.FsTree: instance GHC.Generics.Generic (System.FS.Sim.FsTree.FsTree a)
- System.FS.Sim.FsTree: instance GHC.Show.Show System.FS.Sim.FsTree.FsTreeError
- System.FS.Sim.FsTree: instance GHC.Show.Show a => GHC.Show.Show (System.FS.Sim.FsTree.FsTree a)
- System.FS.Sim.MockFS: instance GHC.Base.Functor System.FS.Sim.MockFS.Sign
- System.FS.Sim.MockFS: instance GHC.Enum.Enum System.FS.Sim.MockFS.HandleMock
- System.FS.Sim.MockFS: instance GHC.Generics.Generic System.FS.Sim.MockFS.ClosedHandleState
- System.FS.Sim.MockFS: instance GHC.Generics.Generic System.FS.Sim.MockFS.FilePtr
- System.FS.Sim.MockFS: instance GHC.Generics.Generic System.FS.Sim.MockFS.HandleMock
- System.FS.Sim.MockFS: instance GHC.Generics.Generic System.FS.Sim.MockFS.HandleState
- System.FS.Sim.MockFS: instance GHC.Generics.Generic System.FS.Sim.MockFS.MockFS
- System.FS.Sim.MockFS: instance GHC.Generics.Generic System.FS.Sim.MockFS.OpenHandleState
- System.FS.Sim.MockFS: instance GHC.Show.Show System.FS.Sim.MockFS.ClosedHandleState
- System.FS.Sim.MockFS: instance GHC.Show.Show System.FS.Sim.MockFS.FilePtr
- System.FS.Sim.MockFS: instance GHC.Show.Show System.FS.Sim.MockFS.HandleMock
- System.FS.Sim.MockFS: instance GHC.Show.Show System.FS.Sim.MockFS.HandleState
- System.FS.Sim.MockFS: instance GHC.Show.Show System.FS.Sim.MockFS.MockFS
- System.FS.Sim.MockFS: instance GHC.Show.Show System.FS.Sim.MockFS.OpenHandleState
- System.FS.Sim.Prim: instance GHC.Base.Functor m => GHC.Base.Functor (System.FS.Sim.Prim.FSSimT m)
- System.FS.Sim.Prim: instance GHC.Base.Monad m => Control.Monad.Error.Class.MonadError System.FS.API.Types.FsError (System.FS.Sim.Prim.FSSimT m)
- System.FS.Sim.Prim: instance GHC.Base.Monad m => Control.Monad.State.Class.MonadState System.FS.Sim.MockFS.MockFS (System.FS.Sim.Prim.FSSimT m)
- System.FS.Sim.Prim: instance GHC.Base.Monad m => GHC.Base.Applicative (System.FS.Sim.Prim.FSSimT m)
- System.FS.Sim.Prim: instance GHC.Base.Monad m => GHC.Base.Monad (System.FS.Sim.Prim.FSSimT m)
- System.FS.Sim.Stream: instance GHC.Base.Functor System.FS.Sim.Stream.Stream
- System.FS.Sim.Stream: instance GHC.Show.Show a => GHC.Show.Show (System.FS.Sim.Stream.Stream a)
+ System.FS.Sim.Error: instance GHC.Internal.Data.String.IsString System.FS.Sim.Error.Blob
+ System.FS.Sim.Error: instance GHC.Internal.Show.Show System.FS.Sim.Error.Blob
+ System.FS.Sim.Error: instance GHC.Internal.Show.Show System.FS.Sim.Error.Errors
+ System.FS.Sim.Error: instance GHC.Internal.Show.Show System.FS.Sim.Error.Partial
+ System.FS.Sim.Error: instance GHC.Internal.Show.Show System.FS.Sim.Error.PutCorruption
+ System.FS.Sim.FsTree: instance GHC.Internal.Base.Functor System.FS.Sim.FsTree.FsTree
+ System.FS.Sim.FsTree: instance GHC.Internal.Generics.Generic (System.FS.Sim.FsTree.FsTree a)
+ System.FS.Sim.FsTree: instance GHC.Internal.Show.Show System.FS.Sim.FsTree.FsTreeError
+ System.FS.Sim.FsTree: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (System.FS.Sim.FsTree.FsTree a)
+ System.FS.Sim.MockFS: instance GHC.Internal.Base.Functor System.FS.Sim.MockFS.Sign
+ System.FS.Sim.MockFS: instance GHC.Internal.Enum.Enum System.FS.Sim.MockFS.HandleMock
+ System.FS.Sim.MockFS: instance GHC.Internal.Generics.Generic System.FS.Sim.MockFS.ClosedHandleState
+ System.FS.Sim.MockFS: instance GHC.Internal.Generics.Generic System.FS.Sim.MockFS.FilePtr
+ System.FS.Sim.MockFS: instance GHC.Internal.Generics.Generic System.FS.Sim.MockFS.HandleMock
+ System.FS.Sim.MockFS: instance GHC.Internal.Generics.Generic System.FS.Sim.MockFS.HandleState
+ System.FS.Sim.MockFS: instance GHC.Internal.Generics.Generic System.FS.Sim.MockFS.MockFS
+ System.FS.Sim.MockFS: instance GHC.Internal.Generics.Generic System.FS.Sim.MockFS.OpenHandleState
+ System.FS.Sim.MockFS: instance GHC.Internal.Show.Show System.FS.Sim.MockFS.ClosedHandleState
+ System.FS.Sim.MockFS: instance GHC.Internal.Show.Show System.FS.Sim.MockFS.FilePtr
+ System.FS.Sim.MockFS: instance GHC.Internal.Show.Show System.FS.Sim.MockFS.HandleMock
+ System.FS.Sim.MockFS: instance GHC.Internal.Show.Show System.FS.Sim.MockFS.HandleState
+ System.FS.Sim.MockFS: instance GHC.Internal.Show.Show System.FS.Sim.MockFS.MockFS
+ System.FS.Sim.MockFS: instance GHC.Internal.Show.Show System.FS.Sim.MockFS.OpenHandleState
+ System.FS.Sim.Prim: instance GHC.Internal.Base.Functor m => GHC.Internal.Base.Functor (System.FS.Sim.Prim.FSSimT m)
+ System.FS.Sim.Prim: instance GHC.Internal.Base.Monad m => Control.Monad.Error.Class.MonadError System.FS.API.Types.FsError (System.FS.Sim.Prim.FSSimT m)
+ System.FS.Sim.Prim: instance GHC.Internal.Base.Monad m => Control.Monad.State.Class.MonadState System.FS.Sim.MockFS.MockFS (System.FS.Sim.Prim.FSSimT m)
+ System.FS.Sim.Prim: instance GHC.Internal.Base.Monad m => GHC.Internal.Base.Applicative (System.FS.Sim.Prim.FSSimT m)
+ System.FS.Sim.Prim: instance GHC.Internal.Base.Monad m => GHC.Internal.Base.Monad (System.FS.Sim.Prim.FSSimT m)
+ System.FS.Sim.Stream: instance GHC.Internal.Base.Functor System.FS.Sim.Stream.Stream
+ System.FS.Sim.Stream: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (System.FS.Sim.Stream.Stream a)
- System.FS.Sim.Error: simErrorHasFS :: forall m. (MonadSTM m, MonadThrow m, PrimMonad m) => StrictTMVar m MockFS -> StrictTVar m Errors -> HasFS m HandleMock
+ System.FS.Sim.Error: simErrorHasFS :: forall (m :: Type -> Type). (MonadSTM m, MonadThrow m, PrimMonad m) => StrictTMVar m MockFS -> StrictTVar m Errors -> HasFS m HandleMock
- System.FS.Sim.Error: type ErrorStreamGetSome = Stream (Either FsErrorType Partial)
+ System.FS.Sim.Error: type ErrorStreamGetSome = Stream Either FsErrorType Partial
- System.FS.Sim.Error: type ErrorStreamPutSome = Stream (Either (FsErrorType, Maybe PutCorruption) Partial)
+ System.FS.Sim.Error: type ErrorStreamPutSome = Stream Either (FsErrorType, Maybe PutCorruption) Partial
- System.FS.Sim.FsTree: find :: forall a. FsPath -> FsTree a -> Either FsTreeError [FsPath]
+ System.FS.Sim.FsTree: find :: FsPath -> FsTree a -> Either FsTreeError [FsPath]
- System.FS.Sim.FsTree: pretty :: forall a. (a -> String) -> FsTree a -> String
+ System.FS.Sim.FsTree: pretty :: (a -> String) -> FsTree a -> String
- System.FS.Sim.Prim: data FSSimT m a
+ System.FS.Sim.Prim: data FSSimT (m :: Type -> Type) a
- System.FS.Sim.Prim: primHasMockFS :: PrimMonad m => HasFS (FSSimT m) HandleMock
+ System.FS.Sim.Prim: primHasMockFS :: forall (m :: Type -> Type). PrimMonad m => HasFS (FSSimT m) HandleMock
- System.FS.Sim.STM: simHasFS :: forall m. (MonadSTM m, MonadThrow m, PrimMonad m) => StrictTMVar m MockFS -> HasFS m HandleMock
+ System.FS.Sim.STM: simHasFS :: forall (m :: Type -> Type). (MonadSTM m, MonadThrow m, PrimMonad m) => StrictTMVar m MockFS -> HasFS m HandleMock
Files
- CHANGELOG.md +5/−1
- fs-sim.cabal +4/−4
- src/System/FS/Sim/Error.hs +4/−3
CHANGELOG.md view
@@ -1,6 +1,10 @@ # Revision history for fs-sim -## ?.?.?.? -- ????-??-??+## 0.4.1.0 -- 2025-09-29++### Non-breaking++* Reimplement `partialiseWord64` to allow for 32 bits architectures such as WASM. ## 0.4.0.0 -- 2025-05-30
fs-sim.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: fs-sim-version: 0.4.0.0+version: 0.4.1.0 synopsis: Simulated file systems description: Simulated file systems. license: Apache-2.0@@ -30,7 +30,7 @@ type: git location: https://github.com/input-output-hk/fs-sim subdir: fs-sim- tag: fs-sim-0.4.0.0+ tag: fs-sim-0.4.1.0 library hs-source-dirs: src@@ -47,13 +47,13 @@ , base >=4.16 && <4.22 , base16-bytestring ^>=0.1 || ^>=1.0 , bytestring ^>=0.10 || ^>=0.11 || ^>=0.12- , containers ^>=0.5 || ^>=0.6 || ^>=0.7+ , containers ^>=0.5 || ^>=0.6 || ^>=0.7 || ^>=0.8 , fs-api ^>=0.4 , io-classes ^>=1.6 || ^>=1.7 || ^>=1.8.0.1 , io-classes:strict-stm , mtl ^>=2.2 || ^>=2.3 , primitive ^>=0.9- , QuickCheck ^>=2.13 || ^>=2.14 || ^>=2.15+ , QuickCheck ^>=2.13 || ^>=2.14 || ^>=2.15 || ^>=2.16 , safe-wild-cards ^>=1.0 , text ^>=1.2 || ^>=2.0 || ^>=2.1
src/System/FS/Sim/Error.hs view
@@ -47,7 +47,6 @@ import qualified Data.ByteString.Char8 as C8 import qualified Data.ByteString.Lazy as BL import qualified Data.ByteString.Lazy.Char8 as LC8-import Data.Coerce (coerce) import Data.Foldable (for_) import Data.List (intercalate) import qualified Data.List as List@@ -55,7 +54,6 @@ import Data.Primitive.ByteArray import Data.String (IsString (..)) import Data.Word (Word64)-import Foreign.C.Types import Prelude hiding (null) import SafeWildCards import System.Posix.Types@@ -130,7 +128,10 @@ -- | Like 'partialiseByteCount', but for 'Word64'. partialiseWord64 :: Partial -> Word64 -> Word64-partialiseWord64 = coerce partialiseByteCount+partialiseWord64 (Partial p) c+ | 0 <- c = c+ | p >= c = 1+ | otherwise = c - p -- | Given a bytestring that is requested to be written to disk, use -- 'partialiseByteCount' to compute a partial bytestring.