| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tahoe.Storage.Testing.Spec
Contents
Synopsis
- newtype ShareNumbers = ShareNumbers {
- getShareNumbers :: [ShareNumber]
- newtype SomeShareData = SomeShareData {}
- makeStorageSpec :: Backend b => IO b -> (b -> IO ()) -> Spec
- genStorageIndex :: Gen StorageIndex
Documentation
newtype ShareNumbers Source #
Constructors
| ShareNumbers | |
Fields
| |
Instances
Arguments
| :: Backend b | |
| => IO b | An action that produces a new, empty backend. |
| -> (b -> IO ()) | A function that produces an action to clean up any state that may have been created in the given backend. |
| -> Spec | A test specification for the backend. |
Instantiate property tests for the storage backend specification for a particular backend.
genStorageIndex :: Gen StorageIndex Source #