cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Shelley.Address.Bootstrap

Synopsis

Documentation

data BootstrapWitness crypto where Source #

Bundled Patterns

pattern BootstrapWitness :: Crypto crypto => VKey ' Witness crypto -> SignedDSIGN crypto ( Hash crypto EraIndependentTxBody ) -> ChainCode -> ByteString -> BootstrapWitness crypto

Instances

Instances details
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

getField :: Tx era -> Set ( BootstrapWitness c) Source #

Crypto crypto => Eq ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

(==) :: BootstrapWitness crypto -> BootstrapWitness crypto -> Bool Source #

(/=) :: BootstrapWitness crypto -> BootstrapWitness crypto -> Bool Source #

Crypto crypto => Ord ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

compare :: BootstrapWitness crypto -> BootstrapWitness crypto -> Ordering Source #

(<) :: BootstrapWitness crypto -> BootstrapWitness crypto -> Bool Source #

(<=) :: BootstrapWitness crypto -> BootstrapWitness crypto -> Bool Source #

(>) :: BootstrapWitness crypto -> BootstrapWitness crypto -> Bool Source #

(>=) :: BootstrapWitness crypto -> BootstrapWitness crypto -> Bool Source #

max :: BootstrapWitness crypto -> BootstrapWitness crypto -> BootstrapWitness crypto Source #

min :: BootstrapWitness crypto -> BootstrapWitness crypto -> BootstrapWitness crypto Source #

Crypto crypto => Show ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

showsPrec :: Int -> BootstrapWitness crypto -> ShowS Source #

show :: BootstrapWitness crypto -> String Source #

showList :: [ BootstrapWitness crypto] -> ShowS Source #

Generic ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Associated Types

type Rep ( BootstrapWitness crypto) :: Type -> Type Source #

Methods

from :: BootstrapWitness crypto -> Rep ( BootstrapWitness crypto) x Source #

to :: Rep ( BootstrapWitness crypto) x -> BootstrapWitness crypto Source #

( Crypto era, NFData ( VerKeyDSIGN ( DSIGN era)), NFData ( SigDSIGN ( DSIGN era))) => NFData ( BootstrapWitness era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

rnf :: BootstrapWitness era -> () Source #

Crypto crypto => ToCBOR ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

toCBOR :: BootstrapWitness crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( BootstrapWitness crypto) -> Size Source #

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

Crypto crypto => FromCBOR ( Annotator ( BootstrapWitness crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

fromCBOR :: Decoder s ( Annotator ( BootstrapWitness crypto)) Source #

label :: Proxy ( Annotator ( BootstrapWitness crypto)) -> Text Source #

Crypto crypto => NoThunks ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

noThunks :: Context -> BootstrapWitness crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> BootstrapWitness crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( BootstrapWitness crypto) -> String Source #

type Rep ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

type Rep ( BootstrapWitness crypto) = D1 (' MetaData "BootstrapWitness" "Cardano.Ledger.Shelley.Address.Bootstrap" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "BootstrapWitness'" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "bwKey'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VKey ' Witness crypto)) :*: S1 (' MetaSel (' Just "bwSig'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignedDSIGN crypto ( Hash crypto EraIndependentTxBody )))) :*: ( S1 (' MetaSel (' Just "bwChainCode'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ChainCode ) :*: ( S1 (' MetaSel (' Just "bwAttributes'") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByteString ) :*: S1 (' MetaSel (' Just "bwBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString )))))

newtype ChainCode Source #

Constructors

ChainCode

Fields

Instances

Instances details
Eq ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

(==) :: ChainCode -> ChainCode -> Bool Source #

(/=) :: ChainCode -> ChainCode -> Bool Source #

Show ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

showsPrec :: Int -> ChainCode -> ShowS Source #

show :: ChainCode -> String Source #

showList :: [ ChainCode ] -> ShowS Source #

Generic ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Associated Types

type Rep ChainCode :: Type -> Type Source #

Methods

from :: ChainCode -> Rep ChainCode x Source #

to :: Rep ChainCode x -> ChainCode Source #

NFData ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

rnf :: ChainCode -> () Source #

ToCBOR ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

toCBOR :: ChainCode -> Encoding Source #

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

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

FromCBOR ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

fromCBOR :: Decoder s ChainCode Source #

label :: Proxy ChainCode -> Text Source #

NoThunks ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Methods

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

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

showTypeOf :: Proxy ChainCode -> String Source #

type Rep ChainCode Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

type Rep ChainCode = D1 (' MetaData "ChainCode" "Cardano.Ledger.Shelley.Address.Bootstrap" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "ChainCode" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unChainCode") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString )))

bootstrapWitKeyHash :: forall crypto. Crypto crypto => BootstrapWitness crypto -> KeyHash ' Witness crypto Source #

Rebuild the addrRoot of the corresponding address.

unpackByronVKey :: forall crypto. DSIGN crypto ~ Ed25519DSIGN => VerificationKey -> ( VKey ' Witness crypto, ChainCode ) Source #

makeBootstrapWitness :: forall crypto. ( DSIGN crypto ~ Ed25519DSIGN , Crypto crypto) => Hash crypto EraIndependentTxBody -> SigningKey -> Attributes AddrAttributes -> BootstrapWitness crypto Source #

verifyBootstrapWit :: forall crypto. ( Crypto crypto, Signable ( DSIGN crypto) ( Hash crypto EraIndependentTxBody )) => Hash crypto EraIndependentTxBody -> BootstrapWitness crypto -> Bool Source #