Crypto.ECC

Elliptic Curve Cryptography

Documentation

data Curve_P256R1

P256 Curve

also known as P256

Constructors

Curve_P256R1

Instances

Data Curve_P256R1

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Curve_P256R1 -> c Curve_P256R1

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Curve_P256R1

toConstr :: Curve_P256R1 -> Constr

dataTypeOf :: Curve_P256R1 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Curve_P256R1)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Curve_P256R1)

gmapT :: (forall b. Data b => b -> b) -> Curve_P256R1 -> Curve_P256R1

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Curve_P256R1 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Curve_P256R1 -> r

gmapQ :: (forall d. Data d => d -> u) -> Curve_P256R1 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Curve_P256R1 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Curve_P256R1 -> m Curve_P256R1

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_P256R1 -> m Curve_P256R1

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_P256R1 -> m Curve_P256R1

Show Curve_P256R1

Methods

showsPrec :: Int -> Curve_P256R1 -> ShowS

show :: Curve_P256R1 -> String

showList :: [Curve_P256R1] -> ShowS

EllipticCurveArith Curve_P256R1

Methods

pointAdd :: proxy Curve_P256R1 -> Point Curve_P256R1 -> Point Curve_P256R1 -> Point Curve_P256R1

pointSmul :: proxy Curve_P256R1 -> Scalar Curve_P256R1 -> Point Curve_P256R1 -> Point Curve_P256R1

EllipticCurveDH Curve_P256R1

Methods

ecdhRaw :: proxy Curve_P256R1 -> Scalar Curve_P256R1 -> Point Curve_P256R1 -> SharedSecret

ecdh :: proxy Curve_P256R1 -> Scalar Curve_P256R1 -> Point Curve_P256R1 -> CryptoFailable SharedSecret

EllipticCurve Curve_P256R1

Associated Types

type Point Curve_P256R1 :: *

type Scalar Curve_P256R1 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_P256R1 -> randomly (Scalar Curve_P256R1)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_P256R1 -> randomly (KeyPair Curve_P256R1)

curveSizeBits :: proxy Curve_P256R1 -> Int

encodePoint :: ByteArray bs => proxy Curve_P256R1 -> Point Curve_P256R1 -> bs

decodePoint :: ByteArray bs => proxy Curve_P256R1 -> bs -> CryptoFailable (Point Curve_P256R1)

type Point Curve_P256R1

type Point Curve_P256R1 = Point

type Scalar Curve_P256R1

type Scalar Curve_P256R1 = Scalar

data Curve_P384R1

Constructors

Curve_P384R1

Instances

Data Curve_P384R1

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Curve_P384R1 -> c Curve_P384R1

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Curve_P384R1

toConstr :: Curve_P384R1 -> Constr

dataTypeOf :: Curve_P384R1 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Curve_P384R1)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Curve_P384R1)

gmapT :: (forall b. Data b => b -> b) -> Curve_P384R1 -> Curve_P384R1

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Curve_P384R1 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Curve_P384R1 -> r

gmapQ :: (forall d. Data d => d -> u) -> Curve_P384R1 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Curve_P384R1 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Curve_P384R1 -> m Curve_P384R1

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_P384R1 -> m Curve_P384R1

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_P384R1 -> m Curve_P384R1

Show Curve_P384R1

Methods

showsPrec :: Int -> Curve_P384R1 -> ShowS

show :: Curve_P384R1 -> String

showList :: [Curve_P384R1] -> ShowS

EllipticCurveArith Curve_P384R1

Methods

pointAdd :: proxy Curve_P384R1 -> Point Curve_P384R1 -> Point Curve_P384R1 -> Point Curve_P384R1

pointSmul :: proxy Curve_P384R1 -> Scalar Curve_P384R1 -> Point Curve_P384R1 -> Point Curve_P384R1

EllipticCurveDH Curve_P384R1

Methods

ecdhRaw :: proxy Curve_P384R1 -> Scalar Curve_P384R1 -> Point Curve_P384R1 -> SharedSecret

ecdh :: proxy Curve_P384R1 -> Scalar Curve_P384R1 -> Point Curve_P384R1 -> CryptoFailable SharedSecret

EllipticCurve Curve_P384R1

Associated Types

type Point Curve_P384R1 :: *

type Scalar Curve_P384R1 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_P384R1 -> randomly (Scalar Curve_P384R1)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_P384R1 -> randomly (KeyPair Curve_P384R1)

curveSizeBits :: proxy Curve_P384R1 -> Int

encodePoint :: ByteArray bs => proxy Curve_P384R1 -> Point Curve_P384R1 -> bs

decodePoint :: ByteArray bs => proxy Curve_P384R1 -> bs -> CryptoFailable (Point Curve_P384R1)

type Point Curve_P384R1

type Point Curve_P384R1

type Scalar Curve_P384R1

type Scalar Curve_P384R1

data Curve_P521R1

Constructors

Curve_P521R1

Instances

Data Curve_P521R1

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Curve_P521R1 -> c Curve_P521R1

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Curve_P521R1

toConstr :: Curve_P521R1 -> Constr

dataTypeOf :: Curve_P521R1 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Curve_P521R1)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Curve_P521R1)

gmapT :: (forall b. Data b => b -> b) -> Curve_P521R1 -> Curve_P521R1

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Curve_P521R1 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Curve_P521R1 -> r

gmapQ :: (forall d. Data d => d -> u) -> Curve_P521R1 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Curve_P521R1 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Curve_P521R1 -> m Curve_P521R1

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_P521R1 -> m Curve_P521R1

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_P521R1 -> m Curve_P521R1

Show Curve_P521R1

Methods

showsPrec :: Int -> Curve_P521R1 -> ShowS

show :: Curve_P521R1 -> String

showList :: [Curve_P521R1] -> ShowS

EllipticCurveArith Curve_P521R1

Methods

pointAdd :: proxy Curve_P521R1 -> Point Curve_P521R1 -> Point Curve_P521R1 -> Point Curve_P521R1

pointSmul :: proxy Curve_P521R1 -> Scalar Curve_P521R1 -> Point Curve_P521R1 -> Point Curve_P521R1

EllipticCurveDH Curve_P521R1

Methods

ecdhRaw :: proxy Curve_P521R1 -> Scalar Curve_P521R1 -> Point Curve_P521R1 -> SharedSecret

ecdh :: proxy Curve_P521R1 -> Scalar Curve_P521R1 -> Point Curve_P521R1 -> CryptoFailable SharedSecret

EllipticCurve Curve_P521R1

Associated Types

type Point Curve_P521R1 :: *

type Scalar Curve_P521R1 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_P521R1 -> randomly (Scalar Curve_P521R1)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_P521R1 -> randomly (KeyPair Curve_P521R1)

curveSizeBits :: proxy Curve_P521R1 -> Int

encodePoint :: ByteArray bs => proxy Curve_P521R1 -> Point Curve_P521R1 -> bs

decodePoint :: ByteArray bs => proxy Curve_P521R1 -> bs -> CryptoFailable (Point Curve_P521R1)

type Point Curve_P521R1

type Point Curve_P521R1

type Scalar Curve_P521R1

type Scalar Curve_P521R1

data Curve_X25519

Constructors

Curve_X25519

Instances

Data Curve_X25519

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Curve_X25519 -> c Curve_X25519

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Curve_X25519

toConstr :: Curve_X25519 -> Constr

dataTypeOf :: Curve_X25519 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Curve_X25519)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Curve_X25519)

gmapT :: (forall b. Data b => b -> b) -> Curve_X25519 -> Curve_X25519

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Curve_X25519 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Curve_X25519 -> r

gmapQ :: (forall d. Data d => d -> u) -> Curve_X25519 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Curve_X25519 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Curve_X25519 -> m Curve_X25519

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_X25519 -> m Curve_X25519

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_X25519 -> m Curve_X25519

Show Curve_X25519

Methods

showsPrec :: Int -> Curve_X25519 -> ShowS

show :: Curve_X25519 -> String

showList :: [Curve_X25519] -> ShowS

EllipticCurveDH Curve_X25519

Methods

ecdhRaw :: proxy Curve_X25519 -> Scalar Curve_X25519 -> Point Curve_X25519 -> SharedSecret

ecdh :: proxy Curve_X25519 -> Scalar Curve_X25519 -> Point Curve_X25519 -> CryptoFailable SharedSecret

EllipticCurve Curve_X25519

Associated Types

type Point Curve_X25519 :: *

type Scalar Curve_X25519 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_X25519 -> randomly (Scalar Curve_X25519)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_X25519 -> randomly (KeyPair Curve_X25519)

curveSizeBits :: proxy Curve_X25519 -> Int

encodePoint :: ByteArray bs => proxy Curve_X25519 -> Point Curve_X25519 -> bs

decodePoint :: ByteArray bs => proxy Curve_X25519 -> bs -> CryptoFailable (Point Curve_X25519)

type Point Curve_X25519

type Point Curve_X25519 = PublicKey

type Scalar Curve_X25519

type Scalar Curve_X25519 = SecretKey

data Curve_X448

Constructors

Curve_X448

Instances

Data Curve_X448

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Curve_X448 -> c Curve_X448

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Curve_X448

toConstr :: Curve_X448 -> Constr

dataTypeOf :: Curve_X448 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Curve_X448)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Curve_X448)

gmapT :: (forall b. Data b => b -> b) -> Curve_X448 -> Curve_X448

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Curve_X448 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Curve_X448 -> r

gmapQ :: (forall d. Data d => d -> u) -> Curve_X448 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Curve_X448 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Curve_X448 -> m Curve_X448

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_X448 -> m Curve_X448

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Curve_X448 -> m Curve_X448

Show Curve_X448

Methods

showsPrec :: Int -> Curve_X448 -> ShowS

show :: Curve_X448 -> String

showList :: [Curve_X448] -> ShowS

EllipticCurveDH Curve_X448

Methods

ecdhRaw :: proxy Curve_X448 -> Scalar Curve_X448 -> Point Curve_X448 -> SharedSecret

ecdh :: proxy Curve_X448 -> Scalar Curve_X448 -> Point Curve_X448 -> CryptoFailable SharedSecret

EllipticCurve Curve_X448

Associated Types

type Point Curve_X448 :: *

type Scalar Curve_X448 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_X448 -> randomly (Scalar Curve_X448)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_X448 -> randomly (KeyPair Curve_X448)

curveSizeBits :: proxy Curve_X448 -> Int

encodePoint :: ByteArray bs => proxy Curve_X448 -> Point Curve_X448 -> bs

decodePoint :: ByteArray bs => proxy Curve_X448 -> bs -> CryptoFailable (Point Curve_X448)

type Point Curve_X448

type Point Curve_X448 = PublicKey

type Scalar Curve_X448

type Scalar Curve_X448 = SecretKey

class EllipticCurve curve where

Minimal complete definition

curveGenerateScalar, curveGenerateKeyPair, curveSizeBits, encodePoint, decodePoint

Associated Types

type Point curve :: *

Point on an Elliptic Curve

type Scalar curve :: *

Scalar in the Elliptic Curve domain

Methods

curveGenerateScalar :: MonadRandom randomly => proxy curve -> randomly (Scalar curve)

Generate a new random scalar on the curve. The scalar will represent a number between 1 and the order of the curve non included

curveGenerateKeyPair :: MonadRandom randomly => proxy curve -> randomly (KeyPair curve)

Generate a new random keypair

curveSizeBits :: proxy curve -> Int

Get the curve size in bits

encodePoint :: ByteArray bs => proxy curve -> Point curve -> bs

Encode a elliptic curve point into binary form

decodePoint :: ByteArray bs => proxy curve -> bs -> CryptoFailable (Point curve)

Try to decode the binary form of an elliptic curve point

Instances

EllipticCurve Curve_X448

Associated Types

type Point Curve_X448 :: *

type Scalar Curve_X448 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_X448 -> randomly (Scalar Curve_X448)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_X448 -> randomly (KeyPair Curve_X448)

curveSizeBits :: proxy Curve_X448 -> Int

encodePoint :: ByteArray bs => proxy Curve_X448 -> Point Curve_X448 -> bs

decodePoint :: ByteArray bs => proxy Curve_X448 -> bs -> CryptoFailable (Point Curve_X448)

EllipticCurve Curve_X25519

Associated Types

type Point Curve_X25519 :: *

type Scalar Curve_X25519 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_X25519 -> randomly (Scalar Curve_X25519)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_X25519 -> randomly (KeyPair Curve_X25519)

curveSizeBits :: proxy Curve_X25519 -> Int

encodePoint :: ByteArray bs => proxy Curve_X25519 -> Point Curve_X25519 -> bs

decodePoint :: ByteArray bs => proxy Curve_X25519 -> bs -> CryptoFailable (Point Curve_X25519)

EllipticCurve Curve_P521R1

Associated Types

type Point Curve_P521R1 :: *

type Scalar Curve_P521R1 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_P521R1 -> randomly (Scalar Curve_P521R1)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_P521R1 -> randomly (KeyPair Curve_P521R1)

curveSizeBits :: proxy Curve_P521R1 -> Int

encodePoint :: ByteArray bs => proxy Curve_P521R1 -> Point Curve_P521R1 -> bs

decodePoint :: ByteArray bs => proxy Curve_P521R1 -> bs -> CryptoFailable (Point Curve_P521R1)

EllipticCurve Curve_P384R1

Associated Types

type Point Curve_P384R1 :: *

type Scalar Curve_P384R1 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_P384R1 -> randomly (Scalar Curve_P384R1)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_P384R1 -> randomly (KeyPair Curve_P384R1)

curveSizeBits :: proxy Curve_P384R1 -> Int

encodePoint :: ByteArray bs => proxy Curve_P384R1 -> Point Curve_P384R1 -> bs

decodePoint :: ByteArray bs => proxy Curve_P384R1 -> bs -> CryptoFailable (Point Curve_P384R1)

EllipticCurve Curve_P256R1

Associated Types

type Point Curve_P256R1 :: *

type Scalar Curve_P256R1 :: *

Methods

curveGenerateScalar :: MonadRandom randomly => proxy Curve_P256R1 -> randomly (Scalar Curve_P256R1)

curveGenerateKeyPair :: MonadRandom randomly => proxy Curve_P256R1 -> randomly (KeyPair Curve_P256R1)

curveSizeBits :: proxy Curve_P256R1 -> Int

encodePoint :: ByteArray bs => proxy Curve_P256R1 -> Point Curve_P256R1 -> bs

decodePoint :: ByteArray bs => proxy Curve_P256R1 -> bs -> CryptoFailable (Point Curve_P256R1)

class EllipticCurve curve => EllipticCurveDH curve where

Minimal complete definition

ecdh

Methods

ecdhRaw :: proxy curve -> Scalar curve -> Point curve -> SharedSecret

Generate a Diffie hellman secret value.

This is generally just the .x coordinate of the resulting point, that is not hashed.

use pointSmul to keep the result in Point format.

WARNING: Curve implementations may return a special value or an exception when the public point lies in a subgroup of small order. This function is adequate when the scalar is in expected range and contributory behaviour is not needed. Otherwise use ecdh.

ecdh :: proxy curve -> Scalar curve -> Point curve -> CryptoFailable SharedSecret

Generate a Diffie hellman secret value and verify that the result is not the point at infinity.

This additional test avoids risks existing with function ecdhRaw. Implementations always return a CryptoError instead of a special value or an exception.

Instances

EllipticCurveDH Curve_X448

Methods

ecdhRaw :: proxy Curve_X448 -> Scalar Curve_X448 -> Point Curve_X448 -> SharedSecret

ecdh :: proxy Curve_X448 -> Scalar Curve_X448 -> Point Curve_X448 -> CryptoFailable SharedSecret

EllipticCurveDH Curve_X25519

Methods

ecdhRaw :: proxy Curve_X25519 -> Scalar Curve_X25519 -> Point Curve_X25519 -> SharedSecret

ecdh :: proxy Curve_X25519 -> Scalar Curve_X25519 -> Point Curve_X25519 -> CryptoFailable SharedSecret

EllipticCurveDH Curve_P521R1

Methods

ecdhRaw :: proxy Curve_P521R1 -> Scalar Curve_P521R1 -> Point Curve_P521R1 -> SharedSecret

ecdh :: proxy Curve_P521R1 -> Scalar Curve_P521R1 -> Point Curve_P521R1 -> CryptoFailable SharedSecret

EllipticCurveDH Curve_P384R1

Methods

ecdhRaw :: proxy Curve_P384R1 -> Scalar Curve_P384R1 -> Point Curve_P384R1 -> SharedSecret

ecdh :: proxy Curve_P384R1 -> Scalar Curve_P384R1 -> Point Curve_P384R1 -> CryptoFailable SharedSecret

EllipticCurveDH Curve_P256R1

Methods

ecdhRaw :: proxy Curve_P256R1 -> Scalar Curve_P256R1 -> Point Curve_P256R1 -> SharedSecret

ecdh :: proxy Curve_P256R1 -> Scalar Curve_P256R1 -> Point Curve_P256R1 -> CryptoFailable SharedSecret

class EllipticCurve curve => EllipticCurveArith curve where

Minimal complete definition

pointAdd, pointSmul

Methods

pointAdd :: proxy curve -> Point curve -> Point curve -> Point curve

Add points on a curve

pointSmul :: proxy curve -> Scalar curve -> Point curve -> Point curve

Scalar Multiplication on a curve

Instances

EllipticCurveArith Curve_P521R1

Methods

pointAdd :: proxy Curve_P521R1 -> Point Curve_P521R1 -> Point Curve_P521R1 -> Point Curve_P521R1

pointSmul :: proxy Curve_P521R1 -> Scalar Curve_P521R1 -> Point Curve_P521R1 -> Point Curve_P521R1

EllipticCurveArith Curve_P384R1

Methods

pointAdd :: proxy Curve_P384R1 -> Point Curve_P384R1 -> Point Curve_P384R1 -> Point Curve_P384R1

pointSmul :: proxy Curve_P384R1 -> Scalar Curve_P384R1 -> Point Curve_P384R1 -> Point Curve_P384R1

EllipticCurveArith Curve_P256R1

Methods

pointAdd :: proxy Curve_P256R1 -> Point Curve_P256R1 -> Point Curve_P256R1 -> Point Curve_P256R1

pointSmul :: proxy Curve_P256R1 -> Scalar Curve_P256R1 -> Point Curve_P256R1 -> Point Curve_P256R1

data KeyPair curve

An elliptic curve key pair composed of the private part (a scalar), and the associated point.

Constructors

KeyPair

Fields

• keypairGetPublic :: !(Point curve)
• keypairGetPrivate :: !(Scalar curve)

newtype SharedSecret

Constructors

SharedSecret ScrubbedBytes

Instances

Eq SharedSecret

Methods

(==) :: SharedSecret -> SharedSecret -> Bool

(/=) :: SharedSecret -> SharedSecret -> Bool

ByteArrayAccess SharedSecret

Methods

length :: SharedSecret -> Int

withByteArray :: SharedSecret -> (Ptr p -> IO a) -> IO a