Safe Haskell	None
Language	Haskell2010

Plutus.V1.Ledger.Address

Synopsis

data Address = Address {
- addressCredential :: Credential
- addressStakingCredential :: Maybe StakingCredential
}
pubKeyHashAddress :: PubKeyHash -> Address
scriptHashAddress :: ValidatorHash -> Address
toPubKeyHash :: Address -> Maybe PubKeyHash
toValidatorHash :: Address -> Maybe ValidatorHash
stakingCredential :: Address -> Maybe StakingCredential

Documentation

data Address Source #

Address with two kinds of credentials, normal and staking.

Constructors

Address
Fields addressCredential :: Credential addressStakingCredential :: Maybe StakingCredential

Instances

Instances details

Eq Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods (==) :: Address -> Address -> Bool Source # (/=) :: Address -> Address -> Bool Source #
Ord Address Source #
Instance details Defined in Plutus.V1.Ledger.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 #
Show Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods showsPrec :: Int -> Address -> ShowS Source # show :: Address -> String Source # showList :: [Address] -> ShowS Source #
Generic Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Associated Types type Rep Address :: Type -> Type Source # Methods from :: Address -> Rep Address x Source # to :: Rep Address x -> Address Source #
NFData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods rnf :: Address -> () Source #
Pretty Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods pretty :: Address -> Doc ann prettyList :: [Address] -> Doc ann
FromData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods fromBuiltinData :: BuiltinData -> Maybe Address #
ToData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods toBuiltinData :: Address -> BuiltinData #
UnsafeFromData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods unsafeFromBuiltinData :: BuiltinData -> Address #
Eq Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods (==) :: Address -> Address -> Bool
Lift DefaultUni Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods lift :: Address -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods typeRep :: Proxy Address -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep Address Source #
Instance details Defined in Plutus.V1.Ledger.Address type Rep Address = D1 ('MetaData "Address" "Plutus.V1.Ledger.Address" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" '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))))

pubKeyHashAddress :: PubKeyHash -> Address Source #

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

scriptHashAddress :: ValidatorHash -> Address Source #

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

toPubKeyHash :: Address -> Maybe PubKeyHash Source #

The PubKeyHash of the address, if any

toValidatorHash :: Address -> Maybe ValidatorHash Source #

The validator hash of the address, if any

stakingCredential :: Address -> Maybe StakingCredential Source #

The staking credential of an address (if any)