cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Common.AddrSpendingData

Synopsis

Documentation

data AddrSpendingData Source #

Data which is bound to an address and must be revealed in order to spend lovelace belonging to this address.

Constructors

VerKeyASD !VerificationKey

Funds can be spent by revealing a VerificationKey and providing a valid signature

RedeemASD !RedeemVerificationKey

Funds can be spent by revealing a RedeemVerificationKey and providing a valid signature

Instances

Instances details
Generic AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Associated Types

type Rep AddrSpendingData ∷ Type → Type Source #

Methods

from ∷ AddrSpendingData → Rep AddrSpendingData x Source #

to ∷ Rep AddrSpendingData x → AddrSpendingData Source #

Show AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

showsPrec ∷ Int → AddrSpendingData → ShowS Source #

show ∷ AddrSpendingData → String Source #

showList ∷ [AddrSpendingData] → ShowS Source #

FromCBOR AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

fromCBOR ∷ Decoder s AddrSpendingData Source #

label ∷ Proxy AddrSpendingData → Text Source #

ToCBOR AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

toCBOR ∷ AddrSpendingData → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy AddrSpendingData → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AddrSpendingData] → Size Source #

DecCBOR AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

decCBOR ∷ Decoder s AddrSpendingData Source #

dropCBOR ∷ Proxy AddrSpendingData → Decoder s () Source #

label ∷ Proxy AddrSpendingData → Text Source #

EncCBOR AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

encCBOR ∷ AddrSpendingData → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy AddrSpendingData → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AddrSpendingData] → Size Source #

NFData AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

rnf ∷ AddrSpendingData → () Source #

Buildable AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

build ∷ AddrSpendingData → Builder Source #

Eq AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

(==) ∷ AddrSpendingData → AddrSpendingData → Bool Source #

(/=) ∷ AddrSpendingData → AddrSpendingData → Bool Source #

type Rep AddrSpendingData Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

type Rep AddrSpendingData = D1 ('MetaData "AddrSpendingData" "Cardano.Chain.Common.AddrSpendingData" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "VerKeyASD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :+: C1 ('MetaCons "RedeemASD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RedeemVerificationKey)))

data AddrType Source #

Type of an address. It corresponds to constructors of AddrSpendingData. It's separated, because Address doesn't store AddrSpendingData, but we want to know its type.

Constructors

ATVerKey 
ATRedeem 

Instances

Instances details
ToJSON AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

toJSON ∷ AddrType → Value Source #

toEncoding ∷ AddrType → Encoding Source #

toJSONList ∷ [AddrType] → Value Source #

toEncodingList ∷ [AddrType] → Encoding Source #

omitField ∷ AddrType → Bool Source #

Generic AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Associated Types

type Rep AddrType ∷ Type → Type Source #

Methods

from ∷ AddrType → Rep AddrType x Source #

to ∷ Rep AddrType x → AddrType Source #

Show AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

showsPrec ∷ Int → AddrType → ShowS Source #

show ∷ AddrType → String Source #

showList ∷ [AddrType] → ShowS Source #

FromCBOR AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

fromCBOR ∷ Decoder s AddrType Source #

label ∷ Proxy AddrType → Text Source #

ToCBOR AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

toCBOR ∷ AddrType → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy AddrType → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AddrType] → Size Source #

DecCBOR AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

decCBOR ∷ Decoder s AddrType Source #

dropCBOR ∷ Proxy AddrType → Decoder s () Source #

label ∷ Proxy AddrType → Text Source #

EncCBOR AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

encCBOR ∷ AddrType → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy AddrType → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AddrType] → Size Source #

NFData AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

rnf ∷ AddrType → () Source #

Eq AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

(==) ∷ AddrType → AddrType → Bool Source #

(/=) ∷ AddrType → AddrType → Bool Source #

Ord AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

compare ∷ AddrType → AddrType → Ordering Source #

(<) ∷ AddrType → AddrType → Bool Source #

(<=) ∷ AddrType → AddrType → Bool Source #

(>) ∷ AddrType → AddrType → Bool Source #

(>=) ∷ AddrType → AddrType → Bool Source #

max ∷ AddrType → AddrType → AddrType Source #

min ∷ AddrType → AddrType → AddrType Source #

HeapWords AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

heapWords ∷ AddrType → Int Source #

NoThunks AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

noThunks ∷ Context → AddrType → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AddrType → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy AddrType → String Source #

type Rep AddrType Source # 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

type Rep AddrType = D1 ('MetaData "AddrType" "Cardano.Chain.Common.AddrSpendingData" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ATVerKey" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ATRedeem" 'PrefixI 'False) (U1 ∷ Type → Type))

addrSpendingDataToType ∷ AddrSpendingData → AddrType Source #

Convert AddrSpendingData to the corresponding AddrType