diff options
| author |  Gabor Greif <ggreif@gmail.com> | 2016-01-27 14:50:33 +0100 |
|---|---|---|
| committer |  Joey Hess <joeyh@joeyh.name> | 2016-01-28 12:34:07 -0400 |
| commit | a9325bf5aaa5b6e130cf4678dce4231b2f931b7d (patch) | |
| tree | fbc1c9a90fd6cd910b7e9a29ed933e6aa2fe44ab /Types | |
| parent | bdb9d2a209fbada91a53938c8cf8ad666d6df832 (diff) | |
Get rid of unnecessary Monad constraint
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/NumCopies.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Types/NumCopies.hs b/Types/NumCopies.hs index 8677e22b3..6c673df1a 100644 --- a/Types/NumCopies.hs +++ b/Types/NumCopies.hs @@ -111,7 +111,7 @@ invalidatableVerifiedCopy mk u check = do -- Constructs a VerifiedCopy, and runs the action, ensuring that the -- verified copy is invalidated when the action returns, or on error. withVerifiedCopy - :: (Monad m, MonadMask m, MonadIO m, ToUUID u) + :: (MonadMask m, MonadIO m, ToUUID u) => (V -> VerifiedCopy) -> u -> IO Bool |