Safe Haskell | None |
---|---|
Language | Haskell2010 |
Types for lower-level bindings
Synopsis
- data EncodeMethod
- data PointKind
- type family SizeOf t :: Nat
- newtype Point (a :: PointKind) = Point (SizedByteArray (SizeOf (Point a)) Bytes)
- newtype Affine (a :: PointKind) = Affine {
- unAffine :: SizedByteArray (SizeOf (Affine a)) Bytes
- newtype Scalar = Scalar (SizedByteArray (SizeOf Scalar) ScrubbedBytes)
- newtype PairingCtx = PairingCtx Bytes
- type P1SerializeSize = 96
- type P1CompressSize = 48
- type P2SerializeSize = 192
- type P2CompressSize = 96
- type SkSerializeSize = 32
Documentation
data EncodeMethod Source #
Flag to choose whether values are hashed or encoded to the curve.
Instances
Kind of point.
type family SizeOf t :: Nat Source #
Size of type's representation in bytes.
Instances
type SizeOf Scalar Source # | |
Defined in Crypto.BLST.Internal.Bindings | |
type SizeOf (Affine 'P1) Source # | |
Defined in Crypto.BLST.Internal.Bindings | |
type SizeOf (Affine 'P2) Source # | |
Defined in Crypto.BLST.Internal.Bindings | |
type SizeOf (Point 'P1) Source # | |
Defined in Crypto.BLST.Internal.Bindings | |
type SizeOf (Point 'P2) Source # | |
Defined in Crypto.BLST.Internal.Bindings |
newtype Point (a :: PointKind) Source #
Point representation.
Point (SizedByteArray (SizeOf (Point a)) Bytes) |
newtype Affine (a :: PointKind) Source #
Affine point representation.
Scalar value representation.
newtype PairingCtx Source #
Pairing context.
Instances
NFData PairingCtx Source # | |
Defined in Crypto.BLST.Internal.Bindings.Types rnf :: PairingCtx -> () # |
type P1SerializeSize = 96 Source #
Serialized size of P1
.
type P1CompressSize = 48 Source #
Compressed serialized size of P1
.
type P2SerializeSize = 192 Source #
Serialized size of P2
.
type P2CompressSize = 96 Source #
Compressed serialized size of P2
.
type SkSerializeSize = 32 Source #
Scalar serialized size.