Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data GivenStore m Source
forall a . GivenStore (m a, a -> m ()) |
type GivenWithTeardown m = Monad m => [GivenStore m] Source
class StorableAsGivenWithTeardown m g where Source
mkGiven :: g -> GivenWithTeardown m Source
StorableAsGivenWithTeardown m (m a) | |
StorableAsGivenWithTeardown m (m a, a -> m ()) |