Codec.Crypto.AES.Monad

An occasionally pure, monadic interface to AES

Documentation

type AES s a = AEST (ST s) a

type AEST m a = ReaderT AESCtx (WriterT ByteString m) a

data Mode

Modes ECB and CBC can only handle full 16-byte frames. This means the length of every strict bytestring passed in must be a multiple of 16; when using lazy bytestrings, its component strict bytestrings must all satisfy this.

Other modes can handle bytestrings of any length. However, encrypting a bytestring of length 5 and then one of length 4 is not the same operation as encrypting a single bytestring of length 9; they are internally padded to a multiple of 16 bytes.

For OFB and CTR, Encrypt and Decrypt are the same operation. For CTR, the IV is the initial value of the counter.

Constructors

ECB

CBC

CFB

OFB

CTR

data Direction

Constructors

Encrypt

Decrypt

class Cryptable a where

A class of things that can be crypted

The crypt function returns incremental results as well as appending them to the result bytestring.

Methods

crypt :: a -> AES s a

Instances

Cryptable ByteString

Cryptable ByteString

runAEST

Arguments

:: MonadUnsafeIO m

=> Mode

-> ByteString

The AES key - 16, 24 or 32 bytes

-> ByteString

The IV, 16 bytes

-> Direction

-> AEST m a

-> m (a, ByteString)

Run an AES computation

runAES

Arguments

:: Mode

-> ByteString

The AES key - 16, 24 or 32 bytes

-> ByteString

The IV, 16 bytes

-> Direction

-> (forall s. AES s a)

-> (a, ByteString)

Run an AES computation