Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data M1
- unM1 :: M1 -> ByteString
- makeM1 :: UID -> Word8 -> Word8 -> M1
- extractM1 :: M1 -> (UID, Word8, Word8)
- data M2
- unM2 :: M2 -> ByteString
- makeM2 :: K1 -> Word32 -> Word8 -> KeyAuthUse NotAuth -> M2
- extractM2 :: K1 -> M2 -> (Word32, Word8, KeyAuthUse NotAuth)
- data M3
- unM3 :: M3 -> ByteString
- makeM3 :: K2 -> M1 -> M2 -> M3
- data M4
- unM4 :: M4 -> ByteString
- makeM4 :: K3 -> UID -> Word8 -> Word8 -> Word32 -> M4
- extractM4 :: K3 -> M4 -> ((UID, Word8, Word8), Word32)
- makeM4' :: K3 -> M1 -> Word32 -> M4
- extractM4' :: K3 -> M4 -> (M1, Word32)
- data M5
- unM5 :: M5 -> ByteString
- makeM5 :: K4 -> M4 -> M5
- type K1 = DerivedCipher Auth Enc
- type K1' = Derived Auth Enc
- makeK1 :: KeyAuthUse Auth -> K1'
- type K2 = DerivedCipher Auth Mac
- type K2' = Derived Auth Mac
- makeK2 :: KeyAuthUse Auth -> K2'
- type K3 = DerivedCipher NotAuth Enc
- type K3' = Derived NotAuth Enc
- makeK3 :: KeyAuthUse NotAuth -> K3'
- type K4 = DerivedCipher NotAuth Mac
- type K4' = Derived NotAuth Mac
- makeK4 :: KeyAuthUse NotAuth -> K4'
- data UID
- unUID :: UID -> ByteString
- makeUID :: MonadPlus m => ByteString -> m UID
- data Derived k c
- unDerived :: Derived k c -> ByteString
- kdf :: KeyAuthUse k -> UpdateC c -> Derived k c
- keyUpdateEncC :: UpdateC Enc
- keyUpdateMacC :: UpdateC Mac
- data DerivedCipher k c
- derivedCipher :: Derived k c -> DerivedCipher k c
- data KeyAuthUse k
- data Auth
- data NotAuth
- makeKeyAuthUse :: MonadPlus m => ByteString -> m (KeyAuthUse k)
- unKeyAuthUse :: KeyAuthUse k -> ByteString
- data UpdateC c
- data Enc
- data Mac
- unsafeMakeDerived :: MonadPlus m => ByteString -> m (Derived k c)
- unsafeMakeDerivedCipher :: MonadPlus m => ByteString -> m (DerivedCipher k c)
Documentation
unM1 :: M1 -> ByteString Source
unM2 :: M2 -> ByteString Source
unM3 :: M3 -> ByteString Source
unM4 :: M4 -> ByteString Source
unM5 :: M5 -> ByteString Source
type K1 = DerivedCipher Auth Enc Source
:: KeyAuthUse Auth | AuthKey Data |
-> K1' | Result Hash value |
type K2 = DerivedCipher Auth Mac Source
:: KeyAuthUse Auth | AuthKey Data |
-> K2' | Result Hash value |
type K3 = DerivedCipher NotAuth Enc Source
:: KeyAuthUse NotAuth | Key Data |
-> K3' | Result Hash value |
type K4 = DerivedCipher NotAuth Mac Source
:: KeyAuthUse NotAuth | Key Data |
-> K4' | Result Hash value |
unUID :: UID -> ByteString Source
makeUID :: MonadPlus m => ByteString -> m UID Source
unDerived :: Derived k c -> ByteString Source
kdf :: KeyAuthUse k -> UpdateC c -> Derived k c Source
data DerivedCipher k c Source
derivedCipher :: Derived k c -> DerivedCipher k c Source
data KeyAuthUse k Source
Eq (KeyAuthUse k) Source |
makeKeyAuthUse :: MonadPlus m => ByteString -> m (KeyAuthUse k) Source
unKeyAuthUse :: KeyAuthUse k -> ByteString Source
unsafeMakeDerived :: MonadPlus m => ByteString -> m (Derived k c) Source
Specifying derived key directly.
unsafeMakeDerivedCipher :: MonadPlus m => ByteString -> m (DerivedCipher k c) Source