export some crypto failable combinators
This commit is contained in:
parent
02533b43a7
commit
7d1b5117a8
@ -11,6 +11,8 @@
|
|||||||
module Crypto.Error.Types
|
module Crypto.Error.Types
|
||||||
( CryptoError(..)
|
( CryptoError(..)
|
||||||
, CryptoFailable(..)
|
, CryptoFailable(..)
|
||||||
|
, throwCryptoErrorIO
|
||||||
|
, throwCryptoError
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import qualified Control.Exception as E
|
import qualified Control.Exception as E
|
||||||
@ -49,10 +51,15 @@ instance Monad CryptoFailable where
|
|||||||
CryptoPassed a -> m2 a
|
CryptoPassed a -> m2 a
|
||||||
CryptoFailed e -> CryptoFailed e
|
CryptoFailed e -> CryptoFailed e
|
||||||
|
|
||||||
{-
|
throwCryptoErrorIO :: CryptoFailable a -> IO a
|
||||||
throwCryptoError :: CryptoFailable a -> IO a
|
throwCryptoErrorIO (CryptoFailed e) = E.throwIO e
|
||||||
throwCryptoError = undefined
|
throwCryptoErrorIO (CryptoPassed r) = return r
|
||||||
|
|
||||||
|
throwCryptoError :: CryptoFailable a -> a
|
||||||
|
throwCryptoError (CryptoFailed e) = E.throw e
|
||||||
|
throwCryptoError (CryptoPassed r) = r
|
||||||
|
|
||||||
|
{-
|
||||||
eitherCryptoError :: CryptoFailable a -> Either CryptoError a
|
eitherCryptoError :: CryptoFailable a -> Either CryptoError a
|
||||||
eitherCryptoError = undefined
|
eitherCryptoError = undefined
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user