Poly1305.CPortable

The portable C-implementation of Poly1305.

Documentation

name :: String

description :: String

type Prim = Poly1305

type Internals = Mem

type BufferAlignment = 32

type BufferPtr = AlignedBlockPtr BufferAlignment Prim

additionalBlocks :: BlockCount Poly1305

processBlocks :: BufferPtr -> BlockCount Poly1305 -> Internals -> IO ()

Incrementally process poly1305 blocks.

processLast :: BufferPtr -> BYTES Int -> Internals -> IO ()

Process the last bytes.

data family Key p

Instances

Initialisable ChaCha20Mem (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

initialise :: Key ChaCha20 -> ChaCha20Mem -> IO ()

Eq (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

(==) :: Key ChaCha20 -> Key ChaCha20 -> Bool

(/=) :: Key ChaCha20 -> Key ChaCha20 -> Bool

Show (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

showsPrec :: Int -> Key ChaCha20 -> ShowS

show :: Key ChaCha20 -> String

showList :: [Key ChaCha20] -> ShowS

Show (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

showsPrec :: Int -> Key XChaCha20 -> ShowS

show :: Key XChaCha20 -> String

showList :: [Key XChaCha20] -> ShowS

Show (Key Poly1305)

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> Key Poly1305 -> ShowS

show :: Key Poly1305 -> String

showList :: [Key Poly1305] -> ShowS

IsString (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

fromString :: String -> Key ChaCha20

IsString (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

fromString :: String -> Key XChaCha20

Storable (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

sizeOf :: Key ChaCha20 -> Int

alignment :: Key ChaCha20 -> Int

peekElemOff :: Ptr (Key ChaCha20) -> Int -> IO (Key ChaCha20)

pokeElemOff :: Ptr (Key ChaCha20) -> Int -> Key ChaCha20 -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Key ChaCha20)

pokeByteOff :: Ptr b -> Int -> Key ChaCha20 -> IO ()

peek :: Ptr (Key ChaCha20) -> IO (Key ChaCha20)

poke :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO ()

Storable (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

sizeOf :: Key XChaCha20 -> Int

alignment :: Key XChaCha20 -> Int

peekElemOff :: Ptr (Key XChaCha20) -> Int -> IO (Key XChaCha20)

pokeElemOff :: Ptr (Key XChaCha20) -> Int -> Key XChaCha20 -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Key XChaCha20)

pokeByteOff :: Ptr b -> Int -> Key XChaCha20 -> IO ()

peek :: Ptr (Key XChaCha20) -> IO (Key XChaCha20)

poke :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO ()

Encodable (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

toByteString :: Key ChaCha20 -> ByteString

fromByteString :: ByteString -> Maybe (Key ChaCha20)

unsafeFromByteString :: ByteString -> Key ChaCha20

Encodable (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

toByteString :: Key XChaCha20 -> ByteString

fromByteString :: ByteString -> Maybe (Key XChaCha20)

unsafeFromByteString :: ByteString -> Key XChaCha20

EndianStore (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

store :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO ()

load :: Ptr (Key ChaCha20) -> IO (Key ChaCha20)

adjustEndian :: Ptr (Key ChaCha20) -> Int -> IO ()

EndianStore (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

store :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO ()

load :: Ptr (Key XChaCha20) -> IO (Key XChaCha20)

adjustEndian :: Ptr (Key XChaCha20) -> Int -> IO ()

Equality (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

eq :: Key ChaCha20 -> Key ChaCha20 -> Result

Initialisable (MemoryCell (Key ChaCha20)) (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

initialise :: Key XChaCha20 -> MemoryCell (Key ChaCha20) -> IO ()

newtype Key ChaCha20

Defined in Raaz.Primitive.ChaCha20.Internal

newtype Key ChaCha20 = Key KEY

newtype Key XChaCha20

Defined in Raaz.Primitive.ChaCha20.Internal

newtype Key XChaCha20 = XKey KEY

data Key Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

data Key Poly1305 = Key R S