]> git.immae.eu Git - github/fretlink/hmacaroons.git/blobdiff - src/Crypto/Macaroon/Verifier/Internal.hs
ghc<7.10.1 compat
[github/fretlink/hmacaroons.git] / src / Crypto / Macaroon / Verifier / Internal.hs
index 73eb66ae67c4cbc4c6ac985d80f6a2422767c75a..5126b2ebb3a4664028a5b38c2e9b0d00557bd99a 100644 (file)
@@ -58,7 +58,7 @@ verifySig k m = bool (Left SigMismatch) (Right m) $
     derivedKey = toBytes (hmac "macaroons-key-generator" k :: HMAC SHA256)
 
 -- | Given a list of verifiers, verify each caveat of the given macaroon
-verifyCavs :: MonadIO m
+verifyCavs :: (Functor m, MonadIO m)
            => [Caveat -> m (Maybe (Either ValidationError ()))]
            -> Macaroon
            -> m (Either ValidationError Macaroon)