| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Address
Synopsis
- mkVKeyRwdAcnt :: Crypto crypto => Network -> KeyPair ' Staking crypto -> RewardAcnt crypto
- mkRwdAcnt :: Network -> Credential ' Staking crypto -> RewardAcnt crypto
- toAddr :: Crypto crypto => Network -> ( KeyPair ' Payment crypto, KeyPair ' Staking crypto) -> Addr crypto
- toCred :: Crypto crypto => KeyPair kr crypto -> Credential kr crypto
- serialiseAddr :: Addr crypto -> ByteString
- deserialiseAddr :: Crypto crypto => ByteString -> Maybe ( Addr crypto)
- deserialiseAddrStakeRef :: Crypto crypto => ByteString -> Maybe ( StakeReference crypto)
-
data
Addr
crypto
- = Addr Network ( PaymentCredential crypto) ( StakeReference crypto)
- | AddrBootstrap ( BootstrapAddress crypto)
- newtype BootstrapAddress crypto = BootstrapAddress { }
- bootstrapAddressAttrsSize :: BootstrapAddress crypto -> Int
- isBootstrapRedeemer :: BootstrapAddress crypto -> Bool
- getNetwork :: Addr crypto -> Network
-
data
RewardAcnt
crypto =
RewardAcnt
{
- getRwdNetwork :: ! Network
- getRwdCred :: !( Credential ' Staking crypto)
- serialiseRewardAcnt :: RewardAcnt crypto -> ByteString
- deserialiseRewardAcnt :: Crypto crypto => ByteString -> Maybe ( RewardAcnt crypto)
- byron :: Int
- notBaseAddr :: Int
- isEnterpriseAddr :: Int
- stakeCredIsScript :: Int
- getAddr :: Crypto crypto => Get ( Addr crypto)
- getKeyHash :: Crypto crypto => Get ( Credential kr crypto)
- bootstrapKeyHash :: forall crypto. Crypto crypto => BootstrapAddress crypto -> KeyHash ' Payment crypto
- getPtr :: Get Ptr
- getRewardAcnt :: Crypto crypto => Get ( RewardAcnt crypto)
- getScriptHash :: Crypto crypto => Get ( Credential kr crypto)
- getVariableLengthWord64 :: Get Word64
- payCredIsScript :: Int
- putAddr :: Addr crypto -> Put
- putCredential :: Credential kr crypto -> Put
- putPtr :: Ptr -> Put
- putRewardAcnt :: RewardAcnt crypto -> Put
- putVariableLengthWord64 :: Word64 -> Put
- word64ToWord7s :: Word64 -> [ Word7 ]
- word7sToWord64 :: [ Word7 ] -> Word64
- newtype Word7 = Word7 Word8
- toWord7 :: Word8 -> Word7
Documentation
mkVKeyRwdAcnt :: Crypto crypto => Network -> KeyPair ' Staking crypto -> RewardAcnt crypto Source #
mkRwdAcnt :: Network -> Credential ' Staking crypto -> RewardAcnt crypto Source #
toAddr :: Crypto crypto => Network -> ( KeyPair ' Payment crypto, KeyPair ' Staking crypto) -> Addr crypto Source #
serialiseAddr :: Addr crypto -> ByteString Source #
Serialise an address to the external format.
deserialiseAddr :: Crypto crypto => ByteString -> Maybe ( Addr crypto) 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 :: Crypto crypto => ByteString -> Maybe ( StakeReference crypto) Source #
Deserialise a stake refence from a address. This will fail if this is a Bootstrap address (or malformed).
An address for UTxO.
Contents of Addr data type are intentionally left as lazy, otherwise operating on compact form of an address will result in redundant work.
Constructors
| Addr Network ( PaymentCredential crypto) ( StakeReference crypto) | |
| AddrBootstrap ( BootstrapAddress crypto) |
Instances
newtype BootstrapAddress crypto Source #
Constructors
| BootstrapAddress | |
|
Fields |
|
Instances
bootstrapAddressAttrsSize :: BootstrapAddress crypto -> 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 :: BootstrapAddress crypto -> Bool Source #
Return True if a given address is a redeemer address from the Byron Era
getNetwork :: Addr crypto -> Network Source #
data RewardAcnt crypto Source #
An account based address for rewards
Constructors
| RewardAcnt | |
|
Fields
|
|
Instances
serialiseRewardAcnt :: RewardAcnt crypto -> ByteString Source #
Serialise a reward account to the external format.
deserialiseRewardAcnt :: Crypto crypto => ByteString -> Maybe ( RewardAcnt crypto) 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).
notBaseAddr :: Int Source #
getKeyHash :: Crypto crypto => Get ( Credential kr crypto) Source #
bootstrapKeyHash :: forall crypto. Crypto crypto => BootstrapAddress crypto -> KeyHash ' Payment crypto Source #
getRewardAcnt :: Crypto crypto => Get ( RewardAcnt crypto) Source #
getScriptHash :: Crypto crypto => Get ( Credential kr crypto) Source #
putCredential :: Credential kr crypto -> Put Source #
putRewardAcnt :: RewardAcnt crypto -> Put Source #
putVariableLengthWord64 :: Word64 -> Put Source #
word64ToWord7s :: Word64 -> [ Word7 ] Source #
word7sToWord64 :: [ Word7 ] -> Word64 Source #