Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V1.Address

Synopsis

data Address = Address {
- addressCredential ∷ Credential
- addressStakingCredential ∷ 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.

Constructors

Address
Fields addressCredential ∷ Credential the payment credential addressStakingCredential ∷ Maybe StakingCredential the staking credential

Instances

Instances details

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

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)