Data.Cipher

Contents

Classes
Types
Functions

Description

This module provides support for block ciphers

Synopsis

class Bits w => Cipher w c | c -> w where

encrypt :: c -> w -> w

decrypt :: c -> w -> w

class (Bits w, Cipher w c, MonadState (c, w) s) => MonadCbc c w s m | m -> c, m -> w, m -> s

data Cbc c iv a

data CbcT c iv m a

evalCbc :: Cbc c w a -> c -> w -> a

evalCbcT :: Monad m => CbcT c w m a -> c -> w -> m a

cbcEncrypt :: MonadCbc c w s m => w -> m w

cbcDecrypt :: MonadCbc c w s m => w -> m w

Classes

class Bits w => Cipher w c | c -> w where

Source

A cipher

Methods

encrypt :: c -> w -> w

Source

decrypt :: c -> w -> w

Source

Instances

Cipher Word128 TwofishCipher

class (Bits w, Cipher w c, MonadState (c, w) s) => MonadCbc c w s m | m -> c, m -> w, m -> s

Source

Any monad that contains the result of an operation in the context of cipher-block-chaining mode.

Instances

(Bits w, Cipher w c) => MonadCbc c w (State (c, w)) (Cbc c w)

(Bits w, Cipher w c, Monad m) => MonadCbc c w (StateT (c, w) m) (CbcT c w m)

Types

data Cbc c iv a

Source

Contains the result of an operation in the context of cipher-block-chaining mode.

Instances

(Bits w, Cipher w c) => MonadCbc c w (State (c, w)) (Cbc c w)

Monad (Cbc c iv)

Functor (Cbc c iv)

data CbcT c iv m a

Source

CbcT is the monad transformer version of Cbc

Instances

(Bits w, Cipher w c, Monad m) => MonadCbc c w (StateT (c, w) m) (CbcT c w m)

MonadTrans (CbcT c iv)

Monad m => Monad (CbcT c iv m)

Monad m => Functor (CbcT c iv m)

Functions

evalCbc :: Cbc c w a -> c -> w -> a

Source

Evaluates a cipher-block-chaining-mode operation, given a cipher and an initialization vector (IV).

evalCbcT :: Monad m => CbcT c w m a -> c -> w -> m a

Source

This is the monad tranformer version of evalCbc

cbcEncrypt :: MonadCbc c w s m => w -> m w

Source

This is the fundamental cipher-block-chaining encryption protocol

cbcDecrypt :: MonadCbc c w s m => w -> m w

Source

This is the fundamental cipher-block-chaining decryption protocol

Produced by Haddock version 2.6.1