XChaCha20.Implementation

Documentation

name :: String

description :: String

type Prim = XChaCha20

data Internals

Constructors

XChaCha20Mem

Fields

• copyOfKey :: MemoryCell (Key ChaCha20)
• chacha20Internals :: Internals

Instances

Memory Internals

Defined in XChaCha20.Implementation

Methods

memoryAlloc :: Alloc Internals

unsafeToPointer :: Internals -> Ptr Word8

WriteAccessible Internals

Defined in XChaCha20.Implementation

Methods

writeAccess :: Internals -> [Access]

afterWriteAdjustment :: Internals -> IO ()

Extractable Internals (BlockCount XChaCha20)

Defined in XChaCha20.Implementation

Methods

extract :: Internals -> IO (BlockCount XChaCha20)

Initialisable Internals (BlockCount XChaCha20)

Defined in XChaCha20.Implementation

Methods

initialise :: BlockCount XChaCha20 -> Internals -> IO ()

Initialisable Internals (Key XChaCha20)

Defined in XChaCha20.Implementation

Methods

initialise :: Key XChaCha20 -> Internals -> IO ()

Initialisable Internals (Nounce XChaCha20)

Defined in XChaCha20.Implementation

Methods

initialise :: Nounce XChaCha20 -> Internals -> IO ()

type BufferAlignment = BufferAlignment

type BufferPtr = AlignedBlockPtr BufferAlignment Prim

additionalBlocks :: BlockCount XChaCha20

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

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

Process the last bytes.