Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V1.Data.Address

Synopsis

data Address
pattern Address ∷ Credential → Maybe StakingCredential → Address
addressCredential ∷ Address → Credential
addressStakingCredential ∷ Address → Maybe StakingCredential
pubKeyHashAddress ∷ PubKeyHash → Address
toPubKeyHash ∷ Address → Maybe PubKeyHash
toScriptHash ∷ Address → Maybe ScriptHash
scriptHashAddress ∷ ScriptHash → Address
stakingCredential ∷ Address → Maybe StakingCredential

Documentation

data Address Source #

An address may contain two credentials, the payment credential and optionally a StakingCredential.

Instances

Instances details

Generic Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.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 PlutusLedgerApi.V1.Data.Address Methods showsPrec ∷ Int → Address → ShowS Source # show ∷ Address → String Source # showList ∷ [Address] → ShowS Source #
NFData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods rnf ∷ Address → () Source #
Eq Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods (==) ∷ Address → Address → Bool Source # (/=) ∷ Address → Address → Bool Source #
Ord Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.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 #
HasBlueprintDefinition Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Associated Types type Unroll Address ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods (==) ∷ Address → Address → Bool Source #
FromData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods fromBuiltinData ∷ BuiltinData → Maybe Address Source #
ToData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods toBuiltinData ∷ Address → BuiltinData Source #
UnsafeFromData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods unsafeFromBuiltinData ∷ BuiltinData → Address Source #
Pretty Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods pretty ∷ Address → Doc ann Source # prettyList ∷ [Address] → Doc ann Source #
Lift DefaultUni Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods lift ∷ Address → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods typeRep ∷ Proxy Address → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address type Rep Address = D1 ('MetaData "Address" "PlutusLedgerApi.V1.Data.Address" "plutus-ledger-api-1.39.0.0-inplace" 'True) (C1 ('MetaCons "Address_6989586621679856572" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address type Unroll Address = Insert Address (GUnroll (IfStuckRep (RepIsStuckError Address ∷ Type → Type) (Rep Address)))

pattern Address ∷ Credential → Maybe StakingCredential → Address Source #

addressCredential ∷ Address → Credential Source #

addressStakingCredential ∷ Address → Maybe StakingCredential Source #

pubKeyHashAddress ∷ PubKeyHash → Address Source #

The address that should be targeted by a transaction output locked by the public key with the given hash.

toPubKeyHash ∷ Address → Maybe PubKeyHash Source #

The PubKeyHash of the address, if any

toScriptHash ∷ Address → Maybe ScriptHash Source #

The validator hash of the address, if any

scriptHashAddress ∷ ScriptHash → Address Source #

The address that should be used by a transaction output locked by the given validator script hash.

stakingCredential ∷ Address → Maybe StakingCredential Source #

The staking credential of an address (if any)