Crypto.Saltine.Class

Saltine type classes

Documentation

class IsEncoding a where

Class for all keys and nonces in Saltine which have a representation as ByteString. encoded is a Prism of type Prism' ByteString a compatible with Control.Lens and is automatically deduced.

Minimal complete definition

encode, decode

Methods

encode :: a -> ByteString

decode :: ByteString -> Maybe a

encoded :: (Choice p, Applicative f) => p a (f a) -> p ByteString (f ByteString)

Instances

IsEncoding Nonce

Methods

encode :: Nonce -> ByteString

decode :: ByteString -> Maybe Nonce

encoded :: (Choice p, Applicative f) => p Nonce (f Nonce) -> p ByteString (f ByteString)

IsEncoding Key

Methods

encode :: Key -> ByteString

decode :: ByteString -> Maybe Key

encoded :: (Choice p, Applicative f) => p Key (f Key) -> p ByteString (f ByteString)

IsEncoding PublicKey

Methods

encode :: PublicKey -> ByteString

decode :: ByteString -> Maybe PublicKey

encoded :: (Choice p, Applicative f) => p PublicKey (f PublicKey) -> p ByteString (f ByteString)

IsEncoding SecretKey

Methods

encode :: SecretKey -> ByteString

decode :: ByteString -> Maybe SecretKey

encoded :: (Choice p, Applicative f) => p SecretKey (f SecretKey) -> p ByteString (f ByteString)

IsEncoding Nonce

Methods

encode :: Nonce -> ByteString

decode :: ByteString -> Maybe Nonce

encoded :: (Choice p, Applicative f) => p Nonce (f Nonce) -> p ByteString (f ByteString)

IsEncoding Key

Methods

encode :: Key -> ByteString

decode :: ByteString -> Maybe Key

encoded :: (Choice p, Applicative f) => p Key (f Key) -> p ByteString (f ByteString)

IsEncoding Scalar

Methods

encode :: Scalar -> ByteString

decode :: ByteString -> Maybe Scalar

encoded :: (Choice p, Applicative f) => p Scalar (f Scalar) -> p ByteString (f ByteString)

IsEncoding GroupElement

Methods

encode :: GroupElement -> ByteString

decode :: ByteString -> Maybe GroupElement

encoded :: (Choice p, Applicative f) => p GroupElement (f GroupElement) -> p ByteString (f ByteString)

IsEncoding Authenticator

Methods

encode :: Authenticator -> ByteString

decode :: ByteString -> Maybe Authenticator

encoded :: (Choice p, Applicative f) => p Authenticator (f Authenticator) -> p ByteString (f ByteString)

IsEncoding Key

Methods

encode :: Key -> ByteString

decode :: ByteString -> Maybe Key

encoded :: (Choice p, Applicative f) => p Key (f Key) -> p ByteString (f ByteString)

IsEncoding ShorthashKey

Methods

encode :: ShorthashKey -> ByteString

decode :: ByteString -> Maybe ShorthashKey

encoded :: (Choice p, Applicative f) => p ShorthashKey (f ShorthashKey) -> p ByteString (f ByteString)

IsEncoding Nonce

Methods

encode :: Nonce -> ByteString

decode :: ByteString -> Maybe Nonce

encoded :: (Choice p, Applicative f) => p Nonce (f Nonce) -> p ByteString (f ByteString)

IsEncoding CombinedKey

Methods

encode :: CombinedKey -> ByteString

decode :: ByteString -> Maybe CombinedKey

encoded :: (Choice p, Applicative f) => p CombinedKey (f CombinedKey) -> p ByteString (f ByteString)

IsEncoding PublicKey

Methods

encode :: PublicKey -> ByteString

decode :: ByteString -> Maybe PublicKey

encoded :: (Choice p, Applicative f) => p PublicKey (f PublicKey) -> p ByteString (f ByteString)

IsEncoding SecretKey

Methods

encode :: SecretKey -> ByteString

decode :: ByteString -> Maybe SecretKey

encoded :: (Choice p, Applicative f) => p SecretKey (f SecretKey) -> p ByteString (f ByteString)

IsEncoding Authenticator

Methods

encode :: Authenticator -> ByteString

decode :: ByteString -> Maybe Authenticator

encoded :: (Choice p, Applicative f) => p Authenticator (f Authenticator) -> p ByteString (f ByteString)

IsEncoding Key

Methods

encode :: Key -> ByteString

decode :: ByteString -> Maybe Key

encoded :: (Choice p, Applicative f) => p Key (f Key) -> p ByteString (f ByteString)

IsEncoding Nonce

Methods

encode :: Nonce -> ByteString

decode :: ByteString -> Maybe Nonce

encoded :: (Choice p, Applicative f) => p Nonce (f Nonce) -> p ByteString (f ByteString)

IsEncoding Key

Methods

encode :: Key -> ByteString

decode :: ByteString -> Maybe Key

encoded :: (Choice p, Applicative f) => p Key (f Key) -> p ByteString (f ByteString)

class IsNonce n where

A generic class for interacting with nonces.

Minimal complete definition

zero, nudge

Methods

zero :: n

Some privileged nonce value.

nudge :: n -> n

Some perturbation on nonces such that n /= nudge n with high probability. Since nonces are finite, repeats may happen in particularly small cases, but no nonces in Saltine are so small. This is not guaranteed to be difficult to predict---if a nonce had an Enum instance succ would be a good implementation excepting that succ is partial.

Instances

IsNonce Nonce

Methods

zero :: Nonce

nudge :: Nonce -> Nonce

IsNonce Nonce

Methods

zero :: Nonce

nudge :: Nonce -> Nonce

IsNonce Nonce

Methods

zero :: Nonce

nudge :: Nonce -> Nonce

IsNonce Nonce

Methods

zero :: Nonce

nudge :: Nonce -> Nonce