ouroboros-consensus-byron-0.1.0.0: Byron ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Byron.Crypto.DSIGN

Description

Byron digital signatures.

Documentation

data ByronDSIGN Source #

Instances

Instances details
DSIGNAlgorithm ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type SeedSizeDSIGN ByronDSIGN :: Nat Source #

type SizeVerKeyDSIGN ByronDSIGN :: Nat Source #

type SizeSignKeyDSIGN ByronDSIGN :: Nat Source #

type SizeSigDSIGN ByronDSIGN :: Nat Source #

data VerKeyDSIGN ByronDSIGN Source #

data SignKeyDSIGN ByronDSIGN Source #

data SigDSIGN ByronDSIGN Source #

type ContextDSIGN ByronDSIGN Source #

type Signable ByronDSIGN :: Type -> Constraint Source #

Methods

algorithmNameDSIGN :: proxy ByronDSIGN -> String Source #

deriveVerKeyDSIGN :: SignKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN Source #

hashVerKeyDSIGN :: HashAlgorithm h => VerKeyDSIGN ByronDSIGN -> Hash h (VerKeyDSIGN ByronDSIGN) Source #

signDSIGN :: (Signable ByronDSIGN a, HasCallStack) => ContextDSIGN ByronDSIGN -> a -> SignKeyDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN Source #

verifyDSIGN :: (Signable ByronDSIGN a, HasCallStack) => ContextDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> a -> SigDSIGN ByronDSIGN -> Either String () Source #

genKeyDSIGN :: Seed -> SignKeyDSIGN ByronDSIGN Source #

rawSerialiseVerKeyDSIGN :: VerKeyDSIGN ByronDSIGN -> ByteString Source #

rawSerialiseSignKeyDSIGN :: SignKeyDSIGN ByronDSIGN -> ByteString Source #

rawSerialiseSigDSIGN :: SigDSIGN ByronDSIGN -> ByteString Source #

rawDeserialiseVerKeyDSIGN :: ByteString -> Maybe (VerKeyDSIGN ByronDSIGN) Source #

rawDeserialiseSignKeyDSIGN :: ByteString -> Maybe (SignKeyDSIGN ByronDSIGN) Source #

rawDeserialiseSigDSIGN :: ByteString -> Maybe (SigDSIGN ByronDSIGN) Source #

Eq (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

(==) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool #

(/=) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool #

Eq (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

(==) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool #

(/=) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool #

Show (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

showsPrec :: Int -> SigDSIGN ByronDSIGN -> ShowS #

show :: SigDSIGN ByronDSIGN -> String #

showList :: [SigDSIGN ByronDSIGN] -> ShowS #

Show (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

showsPrec :: Int -> SignKeyDSIGN ByronDSIGN -> ShowS #

show :: SignKeyDSIGN ByronDSIGN -> String #

showList :: [SignKeyDSIGN ByronDSIGN] -> ShowS #

Show (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

showsPrec :: Int -> VerKeyDSIGN ByronDSIGN -> ShowS #

show :: VerKeyDSIGN ByronDSIGN -> String #

showList :: [VerKeyDSIGN ByronDSIGN] -> ShowS #

Generic (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep (SigDSIGN ByronDSIGN) :: Type -> Type #

Methods

from :: SigDSIGN ByronDSIGN -> Rep (SigDSIGN ByronDSIGN) x #

to :: Rep (SigDSIGN ByronDSIGN) x -> SigDSIGN ByronDSIGN #

Generic (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep (SignKeyDSIGN ByronDSIGN) :: Type -> Type #

Methods

from :: SignKeyDSIGN ByronDSIGN -> Rep (SignKeyDSIGN ByronDSIGN) x #

to :: Rep (SignKeyDSIGN ByronDSIGN) x -> SignKeyDSIGN ByronDSIGN #

Generic (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep (VerKeyDSIGN ByronDSIGN) :: Type -> Type #

Methods

from :: VerKeyDSIGN ByronDSIGN -> Rep (VerKeyDSIGN ByronDSIGN) x #

to :: Rep (VerKeyDSIGN ByronDSIGN) x -> VerKeyDSIGN ByronDSIGN #

NoThunks (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

noThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SigDSIGN ByronDSIGN) -> String Source #

NoThunks (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

noThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SignKeyDSIGN ByronDSIGN) -> String Source #

NoThunks (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

noThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (VerKeyDSIGN ByronDSIGN) -> String Source #

Condense (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

condense :: SigDSIGN ByronDSIGN -> String Source #

type Signable ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Signable ByronDSIGN
type ContextDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type ContextDSIGN ByronDSIGN = (ProtocolMagicId, VerKeyDSIGN ByronDSIGN)
newtype SigDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
newtype SignKeyDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
newtype VerKeyDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type SizeSigDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SizeSigDSIGN ByronDSIGN = 64
type SizeSignKeyDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SizeSignKeyDSIGN ByronDSIGN = 128
type SizeVerKeyDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SizeVerKeyDSIGN ByronDSIGN = 64
type SeedSizeDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type SeedSizeDSIGN ByronDSIGN = 32
type Rep (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))
type Rep (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))
type Rep (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))

data family VerKeyDSIGN v Source #

Instances

Instances details
Eq (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

(==) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool #

(/=) :: VerKeyDSIGN Ed25519DSIGN -> VerKeyDSIGN Ed25519DSIGN -> Bool #

Eq (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

(==) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool #

(/=) :: VerKeyDSIGN Ed448DSIGN -> VerKeyDSIGN Ed448DSIGN -> Bool #

Eq (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(==) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool #

(/=) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool #

Eq (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

(==) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool #

(/=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool #

Eq (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

(==) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool #

(/=) :: VerKeyDSIGN ByronDSIGN -> VerKeyDSIGN ByronDSIGN -> Bool #

Num (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(+) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

(-) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

(*) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

negate :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

abs :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

signum :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

fromInteger :: Integer -> VerKeyDSIGN MockDSIGN #

Ord (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

compare :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Ordering #

(<) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool #

(<=) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool #

(>) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool #

(>=) :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> Bool #

max :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

min :: VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN -> VerKeyDSIGN MockDSIGN #

Ord (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

compare :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Ordering #

(<) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool #

(<=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool #

(>) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool #

(>=) :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> Bool #

max :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN #

min :: VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN -> VerKeyDSIGN NeverDSIGN #

Show (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

showsPrec :: Int -> VerKeyDSIGN Ed25519DSIGN -> ShowS #

show :: VerKeyDSIGN Ed25519DSIGN -> String #

showList :: [VerKeyDSIGN Ed25519DSIGN] -> ShowS #

Show (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

showsPrec :: Int -> VerKeyDSIGN Ed448DSIGN -> ShowS #

show :: VerKeyDSIGN Ed448DSIGN -> String #

showList :: [VerKeyDSIGN Ed448DSIGN] -> ShowS #

Show (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

showsPrec :: Int -> VerKeyDSIGN MockDSIGN -> ShowS #

show :: VerKeyDSIGN MockDSIGN -> String #

showList :: [VerKeyDSIGN MockDSIGN] -> ShowS #

Show (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

showsPrec :: Int -> VerKeyDSIGN NeverDSIGN -> ShowS #

show :: VerKeyDSIGN NeverDSIGN -> String #

showList :: [VerKeyDSIGN NeverDSIGN] -> ShowS #

Show (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

showsPrec :: Int -> VerKeyDSIGN ByronDSIGN -> ShowS #

show :: VerKeyDSIGN ByronDSIGN -> String #

showList :: [VerKeyDSIGN ByronDSIGN] -> ShowS #

Generic (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep (VerKeyDSIGN Ed25519DSIGN) :: Type -> Type #

Methods

from :: VerKeyDSIGN Ed25519DSIGN -> Rep (VerKeyDSIGN Ed25519DSIGN) x #

to :: Rep (VerKeyDSIGN Ed25519DSIGN) x -> VerKeyDSIGN Ed25519DSIGN #

Generic (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type Rep (VerKeyDSIGN Ed448DSIGN) :: Type -> Type #

Methods

from :: VerKeyDSIGN Ed448DSIGN -> Rep (VerKeyDSIGN Ed448DSIGN) x #

to :: Rep (VerKeyDSIGN Ed448DSIGN) x -> VerKeyDSIGN Ed448DSIGN #

Generic (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep (VerKeyDSIGN MockDSIGN) :: Type -> Type #

Methods

from :: VerKeyDSIGN MockDSIGN -> Rep (VerKeyDSIGN MockDSIGN) x #

to :: Rep (VerKeyDSIGN MockDSIGN) x -> VerKeyDSIGN MockDSIGN #

Generic (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type Rep (VerKeyDSIGN NeverDSIGN) :: Type -> Type #

Methods

from :: VerKeyDSIGN NeverDSIGN -> Rep (VerKeyDSIGN NeverDSIGN) x #

to :: Rep (VerKeyDSIGN NeverDSIGN) x -> VerKeyDSIGN NeverDSIGN #

Generic (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep (VerKeyDSIGN ByronDSIGN) :: Type -> Type #

Methods

from :: VerKeyDSIGN ByronDSIGN -> Rep (VerKeyDSIGN ByronDSIGN) x #

to :: Rep (VerKeyDSIGN ByronDSIGN) x -> VerKeyDSIGN ByronDSIGN #

NFData (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: VerKeyDSIGN Ed25519DSIGN -> () #

NFData (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

rnf :: VerKeyDSIGN Ed448DSIGN -> () #

ToCBOR (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

toCBOR :: VerKeyDSIGN Ed25519DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed25519DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed25519DSIGN] -> Size Source #

ToCBOR (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

toCBOR :: VerKeyDSIGN Ed448DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed448DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed448DSIGN] -> Size Source #

ToCBOR (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR :: VerKeyDSIGN MockDSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN MockDSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN MockDSIGN] -> Size Source #

FromCBOR (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

fromCBOR :: Decoder s (VerKeyDSIGN Ed25519DSIGN) Source #

label :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> Text Source #

FromCBOR (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

fromCBOR :: Decoder s (VerKeyDSIGN Ed448DSIGN) Source #

label :: Proxy (VerKeyDSIGN Ed448DSIGN) -> Text Source #

FromCBOR (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR :: Decoder s (VerKeyDSIGN MockDSIGN) Source #

label :: Proxy (VerKeyDSIGN MockDSIGN) -> Text Source #

ByteArrayAccess (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

length :: VerKeyDSIGN Ed25519DSIGN -> Int Source #

withByteArray :: VerKeyDSIGN Ed25519DSIGN -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: VerKeyDSIGN Ed25519DSIGN -> Ptr p -> IO () Source #

ByteArrayAccess (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

length :: VerKeyDSIGN Ed448DSIGN -> Int Source #

withByteArray :: VerKeyDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: VerKeyDSIGN Ed448DSIGN -> Ptr p -> IO () Source #

NoThunks (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

noThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> VerKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (VerKeyDSIGN Ed25519DSIGN) -> String Source #

NoThunks (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

noThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> VerKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (VerKeyDSIGN Ed448DSIGN) -> String Source #

NoThunks (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> VerKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (VerKeyDSIGN MockDSIGN) -> String Source #

NoThunks (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

noThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> VerKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (VerKeyDSIGN NeverDSIGN) -> String Source #

NoThunks (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

noThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> VerKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (VerKeyDSIGN ByronDSIGN) -> String Source #

Show (VerKeyDSIGN d) => Condense (VerKeyDSIGN d) 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: VerKeyDSIGN d -> String Source #

newtype VerKeyDSIGN Ed25519DSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype VerKeyDSIGN Ed25519DSIGN = VerKeyEd25519DSIGN PublicKey
newtype VerKeyDSIGN Ed448DSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype VerKeyDSIGN Ed448DSIGN = VerKeyEd448DSIGN PublicKey
newtype VerKeyDSIGN MockDSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype VerKeyDSIGN MockDSIGN = VerKeyMockDSIGN Word64
data VerKeyDSIGN NeverDSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data VerKeyDSIGN NeverDSIGN = NeverUsedVerKeyDSIGN
newtype VerKeyDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype VerKeyDSIGN ByronDSIGN = VerKeyByronDSIGN VerificationKey
type Rep (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (VerKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type Rep (VerKeyDSIGN Ed448DSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PublicKey)))
type Rep (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (VerKeyDSIGN MockDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "VerKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type Rep (VerKeyDSIGN NeverDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "NeverUsedVerKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (VerKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep (VerKeyDSIGN ByronDSIGN) = D1 ('MetaData "VerKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'True) (C1 ('MetaCons "VerKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VerificationKey)))

data family SignKeyDSIGN v Source #

Instances

Instances details
Eq (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

(==) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool #

(/=) :: SignKeyDSIGN Ed25519DSIGN -> SignKeyDSIGN Ed25519DSIGN -> Bool #

Eq (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

(==) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool #

(/=) :: SignKeyDSIGN Ed448DSIGN -> SignKeyDSIGN Ed448DSIGN -> Bool #

Eq (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(==) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool #

(/=) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool #

Eq (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

(==) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool #

(/=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool #

Num (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(+) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

(-) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

(*) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

negate :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

abs :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

signum :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

fromInteger :: Integer -> SignKeyDSIGN MockDSIGN #

Ord (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

compare :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Ordering #

(<) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool #

(<=) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool #

(>) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool #

(>=) :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> Bool #

max :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

min :: SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN -> SignKeyDSIGN MockDSIGN #

Ord (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

compare :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Ordering #

(<) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool #

(<=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool #

(>) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool #

(>=) :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> Bool #

max :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN #

min :: SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN -> SignKeyDSIGN NeverDSIGN #

Show (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

showsPrec :: Int -> SignKeyDSIGN Ed25519DSIGN -> ShowS #

show :: SignKeyDSIGN Ed25519DSIGN -> String #

showList :: [SignKeyDSIGN Ed25519DSIGN] -> ShowS #

Show (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

showsPrec :: Int -> SignKeyDSIGN Ed448DSIGN -> ShowS #

show :: SignKeyDSIGN Ed448DSIGN -> String #

showList :: [SignKeyDSIGN Ed448DSIGN] -> ShowS #

Show (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

showsPrec :: Int -> SignKeyDSIGN MockDSIGN -> ShowS #

show :: SignKeyDSIGN MockDSIGN -> String #

showList :: [SignKeyDSIGN MockDSIGN] -> ShowS #

Show (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

showsPrec :: Int -> SignKeyDSIGN NeverDSIGN -> ShowS #

show :: SignKeyDSIGN NeverDSIGN -> String #

showList :: [SignKeyDSIGN NeverDSIGN] -> ShowS #

Show (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

showsPrec :: Int -> SignKeyDSIGN ByronDSIGN -> ShowS #

show :: SignKeyDSIGN ByronDSIGN -> String #

showList :: [SignKeyDSIGN ByronDSIGN] -> ShowS #

Generic (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep (SignKeyDSIGN Ed25519DSIGN) :: Type -> Type #

Methods

from :: SignKeyDSIGN Ed25519DSIGN -> Rep (SignKeyDSIGN Ed25519DSIGN) x #

to :: Rep (SignKeyDSIGN Ed25519DSIGN) x -> SignKeyDSIGN Ed25519DSIGN #

Generic (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type Rep (SignKeyDSIGN Ed448DSIGN) :: Type -> Type #

Methods

from :: SignKeyDSIGN Ed448DSIGN -> Rep (SignKeyDSIGN Ed448DSIGN) x #

to :: Rep (SignKeyDSIGN Ed448DSIGN) x -> SignKeyDSIGN Ed448DSIGN #

Generic (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep (SignKeyDSIGN MockDSIGN) :: Type -> Type #

Methods

from :: SignKeyDSIGN MockDSIGN -> Rep (SignKeyDSIGN MockDSIGN) x #

to :: Rep (SignKeyDSIGN MockDSIGN) x -> SignKeyDSIGN MockDSIGN #

Generic (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type Rep (SignKeyDSIGN NeverDSIGN) :: Type -> Type #

Methods

from :: SignKeyDSIGN NeverDSIGN -> Rep (SignKeyDSIGN NeverDSIGN) x #

to :: Rep (SignKeyDSIGN NeverDSIGN) x -> SignKeyDSIGN NeverDSIGN #

Generic (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep (SignKeyDSIGN ByronDSIGN) :: Type -> Type #

Methods

from :: SignKeyDSIGN ByronDSIGN -> Rep (SignKeyDSIGN ByronDSIGN) x #

to :: Rep (SignKeyDSIGN ByronDSIGN) x -> SignKeyDSIGN ByronDSIGN #

NFData (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

rnf :: SignKeyDSIGN Ed25519DSIGN -> () #

NFData (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

rnf :: SignKeyDSIGN Ed448DSIGN -> () #

ToCBOR (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

toCBOR :: SignKeyDSIGN Ed25519DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed25519DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed25519DSIGN] -> Size Source #

ToCBOR (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

toCBOR :: SignKeyDSIGN Ed448DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed448DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed448DSIGN] -> Size Source #

ToCBOR (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR :: SignKeyDSIGN MockDSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN MockDSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN MockDSIGN] -> Size Source #

FromCBOR (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

fromCBOR :: Decoder s (SignKeyDSIGN Ed25519DSIGN) Source #

label :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> Text Source #

FromCBOR (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

fromCBOR :: Decoder s (SignKeyDSIGN Ed448DSIGN) Source #

label :: Proxy (SignKeyDSIGN Ed448DSIGN) -> Text Source #

FromCBOR (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR :: Decoder s (SignKeyDSIGN MockDSIGN) Source #

label :: Proxy (SignKeyDSIGN MockDSIGN) -> Text Source #

ByteArrayAccess (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

length :: SignKeyDSIGN Ed25519DSIGN -> Int Source #

withByteArray :: SignKeyDSIGN Ed25519DSIGN -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: SignKeyDSIGN Ed25519DSIGN -> Ptr p -> IO () Source #

ByteArrayAccess (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

length :: SignKeyDSIGN Ed448DSIGN -> Int Source #

withByteArray :: SignKeyDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: SignKeyDSIGN Ed448DSIGN -> Ptr p -> IO () Source #

NoThunks (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

noThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SignKeyDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SignKeyDSIGN Ed25519DSIGN) -> String Source #

NoThunks (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

noThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SignKeyDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SignKeyDSIGN Ed448DSIGN) -> String Source #

NoThunks (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SignKeyDSIGN MockDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SignKeyDSIGN MockDSIGN) -> String Source #

NoThunks (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

noThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SignKeyDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SignKeyDSIGN NeverDSIGN) -> String Source #

NoThunks (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

noThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SignKeyDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SignKeyDSIGN ByronDSIGN) -> String Source #

newtype SignKeyDSIGN Ed25519DSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype SignKeyDSIGN Ed25519DSIGN = SignKeyEd25519DSIGN SecretKey
newtype SignKeyDSIGN Ed448DSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype SignKeyDSIGN Ed448DSIGN = SignKeyEd448DSIGN SecretKey
newtype SignKeyDSIGN MockDSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

newtype SignKeyDSIGN MockDSIGN = SignKeyMockDSIGN Word64
data SignKeyDSIGN NeverDSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data SignKeyDSIGN NeverDSIGN = NeverUsedSignKeyDSIGN
newtype SignKeyDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SignKeyDSIGN ByronDSIGN = SignKeyByronDSIGN SigningKey
type Rep (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SignKeyDSIGN Ed25519DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SignKeyEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type Rep (SignKeyDSIGN Ed448DSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SignKeyEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecretKey)))
type Rep (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SignKeyDSIGN MockDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SignKeyMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type Rep (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type Rep (SignKeyDSIGN NeverDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "NeverUsedSignKeyDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SignKeyDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep (SignKeyDSIGN ByronDSIGN) = D1 ('MetaData "SignKeyDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'True) (C1 ('MetaCons "SignKeyByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

data family SigDSIGN v Source #

Instances

Instances details
Eq (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

(==) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool #

(/=) :: SigDSIGN Ed25519DSIGN -> SigDSIGN Ed25519DSIGN -> Bool #

Eq (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

(==) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool #

(/=) :: SigDSIGN Ed448DSIGN -> SigDSIGN Ed448DSIGN -> Bool #

Eq (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

(==) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool #

(/=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool #

Eq (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

(==) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool #

(/=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool #

Eq (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

(==) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool #

(/=) :: SigDSIGN ByronDSIGN -> SigDSIGN ByronDSIGN -> Bool #

Ord (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

compare :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Ordering #

(<) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool #

(<=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool #

(>) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool #

(>=) :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> Bool #

max :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN #

min :: SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN -> SigDSIGN MockDSIGN #

Ord (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

compare :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Ordering #

(<) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool #

(<=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool #

(>) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool #

(>=) :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> Bool #

max :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN #

min :: SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN -> SigDSIGN NeverDSIGN #

Show (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

showsPrec :: Int -> SigDSIGN Ed25519DSIGN -> ShowS #

show :: SigDSIGN Ed25519DSIGN -> String #

showList :: [SigDSIGN Ed25519DSIGN] -> ShowS #

Show (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

showsPrec :: Int -> SigDSIGN Ed448DSIGN -> ShowS #

show :: SigDSIGN Ed448DSIGN -> String #

showList :: [SigDSIGN Ed448DSIGN] -> ShowS #

Show (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

showsPrec :: Int -> SigDSIGN MockDSIGN -> ShowS #

show :: SigDSIGN MockDSIGN -> String #

showList :: [SigDSIGN MockDSIGN] -> ShowS #

Show (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

showsPrec :: Int -> SigDSIGN NeverDSIGN -> ShowS #

show :: SigDSIGN NeverDSIGN -> String #

showList :: [SigDSIGN NeverDSIGN] -> ShowS #

Show (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

showsPrec :: Int -> SigDSIGN ByronDSIGN -> ShowS #

show :: SigDSIGN ByronDSIGN -> String #

showList :: [SigDSIGN ByronDSIGN] -> ShowS #

Generic (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep (SigDSIGN Ed25519DSIGN) :: Type -> Type #

Methods

from :: SigDSIGN Ed25519DSIGN -> Rep (SigDSIGN Ed25519DSIGN) x #

to :: Rep (SigDSIGN Ed25519DSIGN) x -> SigDSIGN Ed25519DSIGN #

Generic (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type Rep (SigDSIGN Ed448DSIGN) :: Type -> Type #

Methods

from :: SigDSIGN Ed448DSIGN -> Rep (SigDSIGN Ed448DSIGN) x #

to :: Rep (SigDSIGN Ed448DSIGN) x -> SigDSIGN Ed448DSIGN #

Generic (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type Rep (SigDSIGN MockDSIGN) :: Type -> Type #

Methods

from :: SigDSIGN MockDSIGN -> Rep (SigDSIGN MockDSIGN) x #

to :: Rep (SigDSIGN MockDSIGN) x -> SigDSIGN MockDSIGN #

Generic (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type Rep (SigDSIGN NeverDSIGN) :: Type -> Type #

Methods

from :: SigDSIGN NeverDSIGN -> Rep (SigDSIGN NeverDSIGN) x #

to :: Rep (SigDSIGN NeverDSIGN) x -> SigDSIGN NeverDSIGN #

Generic (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Associated Types

type Rep (SigDSIGN ByronDSIGN) :: Type -> Type #

Methods

from :: SigDSIGN ByronDSIGN -> Rep (SigDSIGN ByronDSIGN) x #

to :: Rep (SigDSIGN ByronDSIGN) x -> SigDSIGN ByronDSIGN #

ToCBOR (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

toCBOR :: SigDSIGN Ed25519DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed25519DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed25519DSIGN] -> Size Source #

ToCBOR (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

toCBOR :: SigDSIGN Ed448DSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed448DSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed448DSIGN] -> Size Source #

ToCBOR (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

toCBOR :: SigDSIGN MockDSIGN -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN MockDSIGN) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN MockDSIGN] -> Size Source #

FromCBOR (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

fromCBOR :: Decoder s (SigDSIGN Ed25519DSIGN) Source #

label :: Proxy (SigDSIGN Ed25519DSIGN) -> Text Source #

FromCBOR (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

fromCBOR :: Decoder s (SigDSIGN Ed448DSIGN) Source #

label :: Proxy (SigDSIGN Ed448DSIGN) -> Text Source #

FromCBOR (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

fromCBOR :: Decoder s (SigDSIGN MockDSIGN) Source #

label :: Proxy (SigDSIGN MockDSIGN) -> Text Source #

ByteArrayAccess (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

length :: SigDSIGN Ed25519DSIGN -> Int Source #

withByteArray :: SigDSIGN Ed25519DSIGN -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: SigDSIGN Ed25519DSIGN -> Ptr p -> IO () Source #

ByteArrayAccess (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

length :: SigDSIGN Ed448DSIGN -> Int Source #

withByteArray :: SigDSIGN Ed448DSIGN -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: SigDSIGN Ed448DSIGN -> Ptr p -> IO () Source #

NoThunks (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Methods

noThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SigDSIGN Ed25519DSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SigDSIGN Ed25519DSIGN) -> String Source #

NoThunks (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Methods

noThunks :: Context -> SigDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SigDSIGN Ed448DSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SigDSIGN Ed448DSIGN) -> String Source #

NoThunks (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Methods

noThunks :: Context -> SigDSIGN MockDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SigDSIGN MockDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SigDSIGN MockDSIGN) -> String Source #

NoThunks (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Methods

noThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SigDSIGN NeverDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SigDSIGN NeverDSIGN) -> String Source #

NoThunks (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

noThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> SigDSIGN ByronDSIGN -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (SigDSIGN ByronDSIGN) -> String Source #

Condense (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SigDSIGN Ed25519DSIGN -> String Source #

Condense (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SigDSIGN Ed448DSIGN -> String Source #

Condense (SigDSIGN MockDSIGN) 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: SigDSIGN MockDSIGN -> String Source #

Condense (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

condense :: SigDSIGN ByronDSIGN -> String Source #

newtype SigDSIGN Ed25519DSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

newtype SigDSIGN Ed25519DSIGN = SigEd25519DSIGN Signature
newtype SigDSIGN Ed448DSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

newtype SigDSIGN Ed448DSIGN = SigEd448DSIGN Signature
data SigDSIGN MockDSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

data SigDSIGN MockDSIGN = SigMockDSIGN !(Hash ShortHash ()) !Word64
data SigDSIGN NeverDSIGN 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

data SigDSIGN NeverDSIGN = NeverUsedSigDSIGN
newtype SigDSIGN ByronDSIGN Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

newtype SigDSIGN ByronDSIGN = SigByronDSIGN (Signature ToSign)
type Rep (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type Rep (SigDSIGN Ed25519DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed25519" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SigEd25519DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type Rep (SigDSIGN Ed448DSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Ed448" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'True) (C1 ('MetaCons "SigEd448DSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature)))
type Rep (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type Rep (SigDSIGN MockDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.Mock" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "SigMockDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Hash ShortHash ())) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))
type Rep (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type Rep (SigDSIGN NeverDSIGN) = D1 ('MetaData "SigDSIGN" "Cardano.Crypto.DSIGN.NeverUsed" "cardano-crypto-class-2.0.0-65D1eTYKcW5D111kOYsKfk" 'False) (C1 ('MetaCons "NeverUsedSigDSIGN" 'PrefixI 'False) (U1 :: Type -> Type))
type Rep (SigDSIGN ByronDSIGN) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

type Rep (SigDSIGN ByronDSIGN) = D1 ('MetaData "SigDSIGN" "Ouroboros.Consensus.Byron.Crypto.DSIGN" "ouroboros-consensus-byron-0.1.0.0-GJfZjV8qqNI4kWb01fxkk3" 'True) (C1 ('MetaCons "SigByronDSIGN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Signature ToSign))))

class HasSignTag a where Source #

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy a -> SignTag Source #

Instances

Instances details
HasSignTag TxSigData Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy TxSigData -> SignTag Source #

HasSignTag (Annotated ToSign ByteString) Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN

Methods

signTag :: VerKeyDSIGN ByronDSIGN -> proxy (Annotated ToSign ByteString) -> SignTag Source #