Crypto.BLST.Internal.Types

Types used for the high-level interface.

Documentation

newtype SecretKey

Representation for the secret key.

Constructors

SecretKey Scalar

Instances

Show SecretKey

Defined in Crypto.BLST.Internal.Types

Methods

showsPrec :: Int -> SecretKey -> ShowS

show :: SecretKey -> String

showList :: [SecretKey] -> ShowS

NFData SecretKey

Defined in Crypto.BLST.Internal.Types

Methods

rnf :: SecretKey -> ()

Eq SecretKey

Defined in Crypto.BLST.Internal.Types

Methods

(==) :: SecretKey -> SecretKey -> Bool

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

type ByteSize 'Serialize SecretKey

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Serialize SecretKey = SkSerializeSize

newtype PublicKey (c :: Curve)

Public key representation.

Constructors

PublicKey (Affine (CurveToPkPoint c))

Instances

Show (PublicKey c)

Defined in Crypto.BLST.Internal.Types

Methods

showsPrec :: Int -> PublicKey c -> ShowS

show :: PublicKey c -> String

showList :: [PublicKey c] -> ShowS

NFData (PublicKey c)

Defined in Crypto.BLST.Internal.Types

Methods

rnf :: PublicKey c -> ()

Eq (PublicKey c)

Defined in Crypto.BLST.Internal.Types

Methods

(==) :: PublicKey c -> PublicKey c -> Bool

(/=) :: PublicKey c -> PublicKey c -> Bool

type ByteSize 'Compress (PublicKey c)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Compress (PublicKey c) = CompressedSize (CurveToPkPoint c)

type ByteSize 'Serialize (PublicKey c)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Serialize (PublicKey c) = SerializedSize (CurveToPkPoint c)

newtype Signature (c :: Curve) (m :: EncodeMethod)

Signature representation.

Constructors

Signature (Affine (CurveToMsgPoint c))

Instances

Show (Signature c m)

Defined in Crypto.BLST.Internal.Types

Methods

showsPrec :: Int -> Signature c m -> ShowS

show :: Signature c m -> String

showList :: [Signature c m] -> ShowS

NFData (Signature c m)

Defined in Crypto.BLST.Internal.Types

Methods

rnf :: Signature c m -> ()

Eq (Signature c m)

Defined in Crypto.BLST.Internal.Types

Methods

(==) :: Signature c m -> Signature c m -> Bool

(/=) :: Signature c m -> Signature c m -> Bool

type ByteSize 'Compress (Signature c _1)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Compress (Signature c _1) = CompressedSize (CurveToMsgPoint c)

type ByteSize 'Serialize (Signature c _1)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Serialize (Signature c _1) = SerializedSize (CurveToMsgPoint c)

type family ByteSize (soc :: SerializeOrCompress) a :: Nat

Size in bytes of serialized/compressed representations of basic types.

Instances

type ByteSize 'Serialize SecretKey

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Serialize SecretKey = SkSerializeSize

type ByteSize 'Compress (PublicKey c)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Compress (PublicKey c) = CompressedSize (CurveToPkPoint c)

type ByteSize 'Serialize (PublicKey c)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Serialize (PublicKey c) = SerializedSize (CurveToPkPoint c)

type ByteSize 'Compress (Signature c _1)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Compress (Signature c _1) = CompressedSize (CurveToMsgPoint c)

type ByteSize 'Serialize (Signature c _1)

Defined in Crypto.BLST.Internal.Types

type ByteSize 'Serialize (Signature c _1) = SerializedSize (CurveToMsgPoint c)

data SerializeOrCompress

Data kind flag for ByteSize.

Constructors

Serialize

Compress

byteSize :: forall (soc :: SerializeOrCompress) a. KnownNat (ByteSize soc a) => Int

Convenience function to get byte size as an Int value.