Modulecardano-crypto-leios-0.3.0.0
Cardano.Crypto.Leios
Synopsis
- value aggregateLeiosCert
- value getLeiosSeatId
- value leiosCommitteeSize
- value leiosSignContext
- value leiosSignatureSize
- value leiosSignatureToBytes
- value maxLeiosCommitteeSize
- value mkLeiosCommittee
- value resolveLeiosSeat
- value verifyLeiosCert
- data AggregationError
- newtype BitField
- data LeiosCert
- newtype LeiosCommittee
- type LeiosDSIGN
- data LeiosSeat
- newtype LeiosSeatId
- type LeiosSignature
- type LeiosSigningKey
- type LeiosVerificationKey
- data VerificationError
- type Weight
- Packagecardano-crypto-leios-0.3.0.0
- Exports22
- LicenceApache-2.0
Instances5Eq, Show, Generic, NFData, Rep
Eq AggregationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow AggregationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric AggregationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData AggregationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep AggregationError = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"AggregationError"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'False) (C1 ('MetaCons"VoterIdsOutOfBounds"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty LeiosSeatId))) :+: (C1 ('MetaCons"TooManySigners"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons"BLSAggregationFailed"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))
Constructors
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
Eq BitFieldDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow BitFieldDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric BitFieldDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData BitFieldDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNoThunks BitFieldDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep BitField = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"BitField"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'True) (C1 ('MetaCons"BitField"
'PrefixI 'True) (S1 ('MetaSel ('Just"bitFieldBytes"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteArray)))
Constructors
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
Eq LeiosCertDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow LeiosCertDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric LeiosCertDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData LeiosCertDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNoThunks LeiosCertDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep LeiosCert = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"LeiosCert"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'False) (C1 ('MetaCons"LeiosCert"
'PrefixI 'True) (S1 ('MetaSel ('Just"leiosCertSigners"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BitField) :*: S1 ('MetaSel ('Just"leiosCertSignature"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LeiosSignature)))
Constructors
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
Eq LeiosCommitteeDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow LeiosCommitteeDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric LeiosCommitteeDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData LeiosCommitteeDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNoThunks LeiosCommitteeDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep LeiosCommittee = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"LeiosCommittee"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'True) (C1 ('MetaCons"UnsafeLeiosCommittee"
'PrefixI 'True) (S1 ('MetaSel ('Just"leiosCommitteeSeats"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector LeiosSeat))))
Constructors
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
Eq LeiosSeatDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow LeiosSeatDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric LeiosSeatDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData LeiosSeatDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNoThunks LeiosSeatDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep LeiosSeat = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"LeiosSeat"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'False) (C1 ('MetaCons"LeiosSeat"
'PrefixI 'True) (S1 ('MetaSel ('Just"seatWeight"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Weight) :*: S1 ('MetaSel ('Just"seatVKey"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe LeiosVerificationKey))))
Constructors
Instances7Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq LeiosSeatIdDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosOrd LeiosSeatIdDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow LeiosSeatIdDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric LeiosSeatIdDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData LeiosSeatIdDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNoThunks LeiosSeatIdDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep LeiosSeatId = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"LeiosSeatId"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'True) (C1 ('MetaCons"LeiosSeatId"
'PrefixI 'True) (S1 ('MetaSel ('Just"leiosSeatIndex"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))
Instances5Eq, Show, Generic, NFData, Rep
Eq VerificationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosShow VerificationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosGeneric VerificationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.LeiosNFData VerificationErrorDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leiostype Rep VerificationError = D1 ('MetaDataDefined in cardano-crypto-leios-0.3.0.0 · Cardano.Crypto.Leios"VerificationError"
"Cardano.Crypto.Leios"
"cardano-crypto-leios-0.3.0.0-HbSPafvLZFfL6gBU82LvnF"
'False) ((C1 ('MetaCons"MalformedSigners"
'PrefixI 'False) U1 :+: C1 ('MetaCons"MalformedCommittee"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: (C1 ('MetaCons"InvalidSignature"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"InsufficientWeight"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Weight)) :+: C1 ('MetaCons"SignerWithoutKey"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty LeiosSeatId))))))