Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Common.Address

Contents

Formatting
Spending data checks
Encoding/Decoding
Utilities
Pattern-matching helpers
Construction

Description

Functionality related to Address data type and related types.

Synopsis

data Address = Address {
- addrRoot ∷ !(AddressHash Address')
- addrAttributes ∷ !(Attributes AddrAttributes)
- addrType ∷ !AddrType
}
newtype Address' = Address' {
- unAddress' ∷ (AddrType, AddrSpendingData, Attributes AddrAttributes)
}
addressF ∷ Format r (Address → r)
addressDetailedF ∷ Format r (Address → r)
decCBORTextAddress ∷ Text → Either DecoderError Address
checkAddrSpendingData ∷ AddrSpendingData → Address → Bool
checkVerKeyAddress ∷ VerificationKey → Address → Bool
checkRedeemAddress ∷ RedeemVerificationKey → Address → Bool
addrToBase58 ∷ Address → ByteString
encCBORAddr ∷ Address → Encoding
encCBORAddrCRC32 ∷ Address → Encoding
decodeAddressBase58 ∷ Text → Either DecoderError Address
encodeAddressBase58 ∷ Address → Text
addrAttributesUnwrapped ∷ Address → AddrAttributes
addrNetworkMagic ∷ Address → NetworkMagic
isRedeemAddress ∷ Address → Bool
makeAddress ∷ AddrSpendingData → AddrAttributes → Address
makeVerKeyAddress ∷ NetworkMagic → VerificationKey → Address
makeVerKeyHdwAddress ∷ NetworkMagic → HDAddressPayload → VerificationKey → Address
makeRedeemAddress ∷ NetworkMagic → RedeemVerificationKey → Address

Documentation

data Address Source #

Address is where you can send Lovelace

Constructors

Address
Fields addrRoot ∷ !(AddressHash Address') Root of imaginary pseudo Merkle tree stored in this address. addrAttributes ∷ !(Attributes AddrAttributes) Attributes associated with this address. addrType ∷ !AddrType The type of this address. Should correspond to `AddrSpendingData`, but it can't be checked statically, because spending data is hashed.

Instances

Instances details

ToJSON Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods toJSON ∷ Address → Value Source # toEncoding ∷ Address → Encoding Source # toJSONList ∷ [Address] → Value Source # toEncodingList ∷ [Address] → Encoding Source # omitField ∷ Address → Bool Source #
Generic Address Source #
Instance details Defined in Cardano.Chain.Common.Address Associated Types type Rep Address ∷ Type → Type Source # Methods from ∷ Address → Rep Address x Source # to ∷ Rep Address x → Address Source #
Show Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods showsPrec ∷ Int → Address → ShowS Source # show ∷ Address → String Source # showList ∷ [Address] → ShowS Source #
FromCBOR Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods fromCBOR ∷ Decoder s Address Source # label ∷ Proxy Address → Text Source #
ToCBOR Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods toCBOR ∷ Address → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Address → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Address] → Size Source #
DecCBOR Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods decCBOR ∷ Decoder s Address Source # dropCBOR ∷ Proxy Address → Decoder s () Source # label ∷ Proxy Address → Text Source #
EncCBOR Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods encCBOR ∷ Address → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Address → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Address] → Size Source #
NFData Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods rnf ∷ Address → () Source #
Buildable Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods build ∷ Address → Builder Source #
Eq Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods (==) ∷ Address → Address → Bool Source # (/=) ∷ Address → Address → Bool Source #
Ord Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods compare ∷ Address → Address → Ordering Source # (<) ∷ Address → Address → Bool Source # (<=) ∷ Address → Address → Bool Source # (>) ∷ Address → Address → Bool Source # (>=) ∷ Address → Address → Bool Source # max ∷ Address → Address → Address Source # min ∷ Address → Address → Address Source #
HeapWords Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods heapWords ∷ Address → Int Source #
NoThunks Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods noThunks ∷ Context → Address → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Address → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Address → String Source #
MonadError SchemaError m ⇒ FromJSON m Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods fromJSON ∷ JSValue → m Address Source #
MonadError SchemaError m ⇒ FromObjectKey m Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods fromObjectKey ∷ JSString → m (Maybe Address) Source #
Monad m ⇒ ToJSON m Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods toJSON ∷ Address → m JSValue Source #
Monad m ⇒ ToObjectKey m Address Source #
Instance details Defined in Cardano.Chain.Common.Address Methods toObjectKey ∷ Address → m JSString Source #
Buildable [Address] Source #
Instance details Defined in Cardano.Chain.Common.Address Methods build ∷ [Address] → Builder Source #
type Rep Address Source #
Instance details Defined in Cardano.Chain.Common.Address type Rep Address = D1 ('MetaData "Address" "Cardano.Chain.Common.Address" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addrRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AddressHash Address')) :: (S1 ('MetaSel ('Just "addrAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Attributes AddrAttributes)) :: S1 ('MetaSel ('Just "addrType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AddrType))))

newtype Address' Source #

Hash of this data is stored in Address. This type exists mostly for internal usage.

Constructors

Address'
Fields unAddress' ∷ (AddrType, AddrSpendingData, Attributes AddrAttributes)

Instances

Instances details

Generic Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Associated Types type Rep Address' ∷ Type → Type Source # Methods from ∷ Address' → Rep Address' x Source # to ∷ Rep Address' x → Address' Source #
Show Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Methods showsPrec ∷ Int → Address' → ShowS Source # show ∷ Address' → String Source # showList ∷ [Address'] → ShowS Source #
FromCBOR Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Methods fromCBOR ∷ Decoder s Address' Source # label ∷ Proxy Address' → Text Source #
ToCBOR Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Methods toCBOR ∷ Address' → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Address' → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Address'] → Size Source #
DecCBOR Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Methods decCBOR ∷ Decoder s Address' Source # dropCBOR ∷ Proxy Address' → Decoder s () Source # label ∷ Proxy Address' → Text Source #
EncCBOR Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Methods encCBOR ∷ Address' → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Address' → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Address'] → Size Source #
Eq Address' Source #
Instance details Defined in Cardano.Chain.Common.Address Methods (==) ∷ Address' → Address' → Bool Source # (/=) ∷ Address' → Address' → Bool Source #
type Rep Address' Source #
Instance details Defined in Cardano.Chain.Common.Address type Rep Address' = D1 ('MetaData "Address'" "Cardano.Chain.Common.Address" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "Address'" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAddress'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddrType, AddrSpendingData, Attributes AddrAttributes))))