| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Poly1305.CPortable
Description
The portable C-implementation of Poly1305.
Synopsis
- 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 ()
- processLast :: BufferPtr -> BYTES Int -> Internals -> IO ()
- data family Key p
Documentation
description :: String Source #
type BufferAlignment = 32 Source #
type BufferPtr = AlignedBlockPtr BufferAlignment Prim Source #
additionalBlocks :: BlockCount Poly1305 Source #
processBlocks :: BufferPtr -> BlockCount Poly1305 -> Internals -> IO () Source #
Incrementally process poly1305 blocks.
Instances
| Initialisable ChaCha20Mem (Key ChaCha20) | |
Defined in Raaz.Primitive.ChaCha20.Internal Methods initialise :: Key ChaCha20 -> ChaCha20Mem -> IO () | |
| 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 () # | |
| 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 () # | |
| Show (Key ChaCha20) | |
| Show (Key XChaCha20) | |
| Show (Key Poly1305) | |
| Eq (Key ChaCha20) | |
| 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) | |
| EndianStore (Key XChaCha20) | |
| Equality (Key ChaCha20) | |
Defined in Raaz.Primitive.ChaCha20.Internal | |
| 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 XChaCha20 | |
Defined in Raaz.Primitive.ChaCha20.Internal | |
| data Key Poly1305 | |
Defined in Raaz.Primitive.Poly1305.Internal | |