shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Address

Synopsis

Documentation

scriptsToAddrEra era ⇒ Network → (MultiSig era, MultiSig era) → Addr era Source #

Create a base address from a pair of multi-sig scripts (pay and stake)

scriptToCredEra era ⇒ MultiSig era → Credential kr era Source #

Convert a given multi-sig script to a credential by hashing it and wrapping into the Credential data type.

TODO nc what is the role of this credential?

toAddrEra era ⇒ Network → (KeyPair 'Payment (Crypto era), KeyPair 'Staking (Crypto era)) → Addr era Source #

toCredEra era ⇒ KeyPair kr (Crypto era) → Credential kr era Source #

serialiseAddrAddr era → ByteString Source #

Serialise an address to the external format.

deserialiseAddrEra era ⇒ ByteStringMaybe (Addr era) Source #

Deserialise an address from the external format. This will fail if the input data is not in the right format (or if there is trailing data).

deserialiseAddrStakeRefEra era ⇒ ByteStringMaybe (StakeReference era) Source #

Deserialise a stake refence from a address. This will fail if this is a Bootstrap address (or malformed).

data Addr era Source #

An address for UTxO.

Instances

Instances details
Eq (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

(==)Addr era → Addr era → Bool #

(/=)Addr era → Addr era → Bool #

Ord (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

compareAddr era → Addr era → Ordering #

(<)Addr era → Addr era → Bool #

(<=)Addr era → Addr era → Bool #

(>)Addr era → Addr era → Bool #

(>=)Addr era → Addr era → Bool #

maxAddr era → Addr era → Addr era #

minAddr era → Addr era → Addr era #

Show (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

showsPrecIntAddr era → ShowS #

showAddr era → String #

showList ∷ [Addr era] → ShowS #

Generic (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Associated Types

type Rep (Addr era) ∷ TypeType #

Methods

fromAddr era → Rep (Addr era) x #

toRep (Addr era) x → Addr era #

NFData (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

rnfAddr era → () #

Era era ⇒ ToCBOR (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toCBORAddr era → Encoding Source #

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

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

Era era ⇒ FromCBOR (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromCBORDecoder s (Addr era) Source #

labelProxy (Addr era) → Text Source #

NoThunks (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

noThunks ∷ Context → Addr era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → Addr era → IO (Maybe ThunkInfo)

showTypeOfProxy (Addr era) → String

Era era ⇒ FromJSON (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

parseJSON ∷ Value → Parser (Addr era)

parseJSONList ∷ Value → Parser [Addr era]

Era era ⇒ ToJSON (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toJSONAddr era → Value

toEncodingAddr era → Encoding

toJSONList ∷ [Addr era] → Value

toEncodingList ∷ [Addr era] → Encoding

Era era ⇒ FromJSONKey (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromJSONKey ∷ FromJSONKeyFunction (Addr era)

fromJSONKeyList ∷ FromJSONKeyFunction [Addr era]

Era era ⇒ ToJSONKey (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toJSONKey ∷ ToJSONKeyFunction (Addr era)

toJSONKeyList ∷ ToJSONKeyFunction [Addr era]

type Rep (Addr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

newtype BootstrapAddress era Source #

Instances

Instances details
Eq (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

(==)BootstrapAddress era → BootstrapAddress era → Bool #

(/=)BootstrapAddress era → BootstrapAddress era → Bool #

Ord (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Show (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Generic (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Associated Types

type Rep (BootstrapAddress era) ∷ TypeType #

Methods

fromBootstrapAddress era → Rep (BootstrapAddress era) x #

toRep (BootstrapAddress era) x → BootstrapAddress era #

NFData (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

rnfBootstrapAddress era → () #

NoThunks (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

noThunks ∷ Context → BootstrapAddress era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → BootstrapAddress era → IO (Maybe ThunkInfo)

showTypeOfProxy (BootstrapAddress era) → String

type Rep (BootstrapAddress era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

type Rep (BootstrapAddress era) = D1 ('MetaData "BootstrapAddress" "Shelley.Spec.Ledger.Address" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "BootstrapAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBootstrapAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address)))

bootstrapAddressAttrsSizeBootstrapAddress era → Int Source #

The size of the extra attributes in a bootstrp (ie Byron) address. Used to help enforce that people do not post huge ones on the chain.

isBootstrapRedeemerAddr era → Bool Source #

Return True if a given address is a redeemer address from the Byron Era

data RewardAcnt era Source #

An account based address for rewards

Constructors

RewardAcnt 

Instances

Instances details
Eq (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

(==)RewardAcnt era → RewardAcnt era → Bool #

(/=)RewardAcnt era → RewardAcnt era → Bool #

Ord (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

compareRewardAcnt era → RewardAcnt era → Ordering #

(<)RewardAcnt era → RewardAcnt era → Bool #

(<=)RewardAcnt era → RewardAcnt era → Bool #

(>)RewardAcnt era → RewardAcnt era → Bool #

(>=)RewardAcnt era → RewardAcnt era → Bool #

maxRewardAcnt era → RewardAcnt era → RewardAcnt era #

minRewardAcnt era → RewardAcnt era → RewardAcnt era #

Show (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

showsPrecIntRewardAcnt era → ShowS #

showRewardAcnt era → String #

showList ∷ [RewardAcnt era] → ShowS #

Generic (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Associated Types

type Rep (RewardAcnt era) ∷ TypeType #

Methods

fromRewardAcnt era → Rep (RewardAcnt era) x #

toRep (RewardAcnt era) x → RewardAcnt era #

NFData (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

rnfRewardAcnt era → () #

Era era ⇒ ToCBOR (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toCBORRewardAcnt era → Encoding Source #

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

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

Era era ⇒ FromCBOR (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromCBORDecoder s (RewardAcnt era) Source #

labelProxy (RewardAcnt era) → Text Source #

NoThunks (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

noThunks ∷ Context → RewardAcnt era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → RewardAcnt era → IO (Maybe ThunkInfo)

showTypeOfProxy (RewardAcnt era) → String

Era era ⇒ FromJSON (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

parseJSON ∷ Value → Parser (RewardAcnt era)

parseJSONList ∷ Value → Parser [RewardAcnt era]

Era era ⇒ ToJSON (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toJSONRewardAcnt era → Value

toEncodingRewardAcnt era → Encoding

toJSONList ∷ [RewardAcnt era] → Value

toEncodingList ∷ [RewardAcnt era] → Encoding

Era era ⇒ FromJSONKey (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromJSONKey ∷ FromJSONKeyFunction (RewardAcnt era)

fromJSONKeyList ∷ FromJSONKeyFunction [RewardAcnt era]

Era era ⇒ ToJSONKey (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toJSONKey ∷ ToJSONKeyFunction (RewardAcnt era)

toJSONKeyList ∷ ToJSONKeyFunction [RewardAcnt era]

type Rep (RewardAcnt era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

type Rep (RewardAcnt era) = D1 ('MetaData "RewardAcnt" "Shelley.Spec.Ledger.Address" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RewardAcnt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRwdNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "getRwdCred") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking era))))

serialiseRewardAcntRewardAcnt era → ByteString Source #

Serialise a reward account to the external format.

deserialiseRewardAcntEra era ⇒ ByteStringMaybe (RewardAcnt era) Source #

Deserialise an reward account from the external format. This will fail if the input data is not in the right format (or if there is trailing data).

getAddr ∷ ∀ era. Era era ⇒ Get (Addr era) Source #

getKeyHashEra era ⇒ Get (Credential kr era) Source #

bootstrapKeyHash ∷ ∀ era. Era era ⇒ BootstrapAddress era → KeyHash 'Payment (Crypto era) Source #

getRewardAcnt ∷ ∀ era. Era era ⇒ Get (RewardAcnt era) Source #

getScriptHashEra era ⇒ Get (Credential kr era) Source #

putAddrAddr era → Put Source #

newtype Word7 Source #

Constructors

Word7 Word8 

Instances

Instances details
Eq Word7 Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

(==)Word7Word7Bool #

(/=)Word7Word7Bool #

Show Word7 Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

showsPrecIntWord7ShowS #

showWord7String #

showList ∷ [Word7] → ShowS #