Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Util.FS.Sim.Error
Description
Deprecated: Use System.FS.Sim.Error from fs-sim
Synopsis
- mkSimErrorHasFS ∷ ∀ (m ∷ Type → Type). (MonadSTM m, MonadThrow m) ⇒ StrictTVar m MockFS → StrictTVar m Errors → HasFS m HandleMock
- runSimErrorFS ∷ (MonadSTM m, MonadThrow m) ⇒ MockFS → Errors → (StrictTVar m Errors → HasFS m HandleMock → m a) → m (a, MockFS)
- withErrors ∷ MonadSTM m ⇒ StrictTVar m Errors → Errors → m a → m a
- type ErrorStream = Stream FsErrorType
- type ErrorStreamGetSome = Stream (Either FsErrorType Partial)
- type ErrorStreamPutSome = Stream (Either (FsErrorType, Maybe PutCorruption) Partial)
- newtype Stream a = Stream {}
- always ∷ a → Stream a
- mkStream ∷ [Maybe a] → Stream a
- mkStreamGen ∷ Int → Gen a → Gen (Stream a)
- null ∷ Stream a → Bool
- runStream ∷ Stream a → (Maybe a, Stream a)
- newtype Partial = Partial Word64
- hGetSomePartial ∷ Partial → Word64 → Word64
- hPutSomePartial ∷ Partial → ByteString → ByteString
- data PutCorruption
- corrupt ∷ ByteString → PutCorruption → ByteString
- data Errors = Errors {
- dumpStateE ∷ ErrorStream
- hOpenE ∷ ErrorStream
- hCloseE ∷ ErrorStream
- hSeekE ∷ ErrorStream
- hGetSomeE ∷ ErrorStreamGetSome
- hGetSomeAtE ∷ ErrorStreamGetSome
- hPutSomeE ∷ ErrorStreamPutSome
- hTruncateE ∷ ErrorStream
- hGetSizeE ∷ ErrorStream
- createDirectoryE ∷ ErrorStream
- createDirectoryIfMissingE ∷ ErrorStream
- listDirectoryE ∷ ErrorStream
- doesDirectoryExistE ∷ ErrorStream
- doesFileExistE ∷ ErrorStream
- removeDirectoryRecursiveE ∷ ErrorStream
- removeFileE ∷ ErrorStream
- renameFileE ∷ ErrorStream
- allNull ∷ Errors → Bool
- genErrors ∷ Bool → Bool → Gen Errors
- simpleErrors ∷ ErrorStream → Errors
Simulate Errors monad
mkSimErrorHasFS ∷ ∀ (m ∷ Type → Type). (MonadSTM m, MonadThrow m) ⇒ StrictTVar m MockFS → StrictTVar m Errors → HasFS m HandleMock #
runSimErrorFS ∷ (MonadSTM m, MonadThrow m) ⇒ MockFS → Errors → (StrictTVar m Errors → HasFS m HandleMock → m a) → m (a, MockFS) #
withErrors ∷ MonadSTM m ⇒ StrictTVar m Errors → Errors → m a → m a #
Streams
type ErrorStream = Stream FsErrorType #
type ErrorStreamGetSome = Stream (Either FsErrorType Partial) #
type ErrorStreamPutSome = Stream (Either (FsErrorType, Maybe PutCorruption) Partial) #
mkStreamGen ∷ Int → Gen a → Gen (Stream a) #
Generating partial reads/writes
hGetSomePartial ∷ Partial → Word64 → Word64 #
Generating corruption for hPutSome
data PutCorruption #
Constructors
SubstituteWithJunk Blob | |
PartialWrite Partial |
Instances
Show PutCorruption | |
Defined in System.FS.Sim.Error | |
Arbitrary PutCorruption | |
Defined in System.FS.Sim.Error |
Error streams for HasFS
Constructors