Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.Address
Synopsis
- mkVKeyRwdAcnt ∷ Era era ⇒ Network → KeyPair 'Staking (Crypto era) → RewardAcnt era
- mkRwdAcnt ∷ Network → Credential 'Staking era → RewardAcnt era
- scriptsToAddr ∷ Era era ⇒ Network → (MultiSig era, MultiSig era) → Addr era
- scriptToCred ∷ Era era ⇒ MultiSig era → Credential kr era
- toAddr ∷ Era era ⇒ Network → (KeyPair 'Payment (Crypto era), KeyPair 'Staking (Crypto era)) → Addr era
- toCred ∷ Era era ⇒ KeyPair kr (Crypto era) → Credential kr era
- serialiseAddr ∷ Addr era → ByteString
- deserialiseAddr ∷ Era era ⇒ ByteString → Maybe (Addr era)
- deserialiseAddrStakeRef ∷ Era era ⇒ ByteString → Maybe (StakeReference era)
- data Addr era
- = Addr Network (PaymentCredential era) (StakeReference era)
- | AddrBootstrap (BootstrapAddress era)
- newtype BootstrapAddress era = BootstrapAddress {}
- bootstrapAddressAttrsSize ∷ BootstrapAddress era → Int
- isBootstrapRedeemer ∷ Addr era → Bool
- getNetwork ∷ Addr era → Network
- data RewardAcnt era = RewardAcnt {
- getRwdNetwork ∷ !Network
- getRwdCred ∷ !(Credential 'Staking era)
- serialiseRewardAcnt ∷ RewardAcnt era → ByteString
- deserialiseRewardAcnt ∷ Era era ⇒ ByteString → Maybe (RewardAcnt era)
- byron ∷ Int
- notBaseAddr ∷ Int
- isEnterpriseAddr ∷ Int
- stakeCredIsScript ∷ Int
- getAddr ∷ ∀ era. Era era ⇒ Get (Addr era)
- getKeyHash ∷ Era era ⇒ Get (Credential kr era)
- bootstrapKeyHash ∷ ∀ era. Era era ⇒ BootstrapAddress era → KeyHash 'Payment (Crypto era)
- getPtr ∷ Get Ptr
- getRewardAcnt ∷ ∀ era. Era era ⇒ Get (RewardAcnt era)
- getScriptHash ∷ Era era ⇒ Get (Credential kr era)
- getVariableLengthNat ∷ Get Natural
- payCredIsScript ∷ Int
- putAddr ∷ Addr era → Put
- putCredential ∷ Credential kr era → Put
- putPtr ∷ Ptr → Put
- putRewardAcnt ∷ RewardAcnt era → Put
- putVariableLengthNat ∷ Natural → Put
- natToWord7s ∷ Natural → [Word7]
- word7sToNat ∷ [Word7] → Natural
- newtype Word7 = Word7 Word8
- toWord7 ∷ Word8 → Word7
Documentation
mkVKeyRwdAcnt ∷ Era era ⇒ Network → KeyPair 'Staking (Crypto era) → RewardAcnt era Source #
mkRwdAcnt ∷ Network → Credential 'Staking era → RewardAcnt era Source #
scriptsToAddr ∷ Era era ⇒ Network → (MultiSig era, MultiSig era) → Addr era Source #
Create a base address from a pair of multi-sig scripts (pay and stake)
scriptToCred ∷ Era 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?
toAddr ∷ Era era ⇒ Network → (KeyPair 'Payment (Crypto era), KeyPair 'Staking (Crypto era)) → Addr era Source #
serialiseAddr ∷ Addr era → ByteString Source #
Serialise an address to the external format.
deserialiseAddr ∷ Era era ⇒ ByteString → Maybe (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).
deserialiseAddrStakeRef ∷ Era era ⇒ ByteString → Maybe (StakeReference era) Source #
Deserialise a stake refence from a address. This will fail if this is a Bootstrap address (or malformed).
An address for UTxO.
Constructors
Addr Network (PaymentCredential era) (StakeReference era) | |
AddrBootstrap (BootstrapAddress era) |
Instances
newtype BootstrapAddress era Source #
Constructors
BootstrapAddress | |
Fields |
Instances
bootstrapAddressAttrsSize ∷ BootstrapAddress 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.
isBootstrapRedeemer ∷ Addr era → Bool Source #
Return True if a given address is a redeemer address from the Byron Era
getNetwork ∷ Addr era → Network Source #
data RewardAcnt era Source #
An account based address for rewards
Constructors
RewardAcnt | |
Fields
|
Instances
serialiseRewardAcnt ∷ RewardAcnt era → ByteString Source #
Serialise a reward account to the external format.
deserialiseRewardAcnt ∷ Era era ⇒ ByteString → Maybe (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).
getKeyHash ∷ Era 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 #
getScriptHash ∷ Era era ⇒ Get (Credential kr era) Source #
putCredential ∷ Credential kr era → Put Source #
putRewardAcnt ∷ RewardAcnt era → Put Source #
natToWord7s ∷ Natural → [Word7] Source #
word7sToNat ∷ [Word7] → Natural Source #