Crypto.JOSE.JWA.JWK

Keys that may have have public material

"crv" (Curve) Parameter

Parameters for Elliptic Curve Keys

"oth" (Other Primes Info) Parameter

Optional parameters for RSA private keys

RSA private key parameters

Parameters for RSA Keys

Symmetric key parameters data.

Keygen parameters.

Key material sum type.

A monad constraint that allows to generate random bytes

ChaCha Deterministic Random Generator

A referentially transparent System representation of the random evaluated out of the system.

Holding onto a specific DRG means that all the already evaluated bytes will be consistently replayed.

There's no need to reseed this DRG, as only pure entropy is represented here.

Grab one instance of the System DRG

A Deterministic Random Generator (DRG) class

A simple Monad class very similar to a State Monad with the state being a DRG.

Run a pure computation with a Deterministic Random Generator in the MonadPseudoRandom

Create a new DRG from system entropy

Create a new DRG from a seed

Create a new DRG from 5 Word64.

This is a convenient interface to create deterministic interface for quickcheck style testing.

It can also be used in other contexts provided the input has been properly randomly generated.

Note that the Arbitrary instance provided by QuickCheck for Word64 does not have a uniform distribution. It is often better to use instead arbitraryBoundedRandom.

System endianness impacts how the tuple is interpreted and therefore changes the resulting DRG.

Convert a binary to a seed

Convert an integer to a Seed

Create a new Seed from system entropy

Convert a Seed to an integer

Generate len random bytes and mapped the bytes to the function f.

This is equivalent to use Control.Arrow first with randomBytesGenerate