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 Source # prettyList :: [ Address ] -> Doc ann Source #
ToData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods toBuiltinData :: Address -> BuiltinData Source #
FromData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods fromBuiltinData :: BuiltinData -> Maybe Address Source #
UnsafeFromData Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods unsafeFromBuiltinData :: BuiltinData -> Address Source #
Eq Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods (==) :: Address -> Address -> Bool Source #
Lift DefaultUni Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods lift :: Address -> RTCompile DefaultUni fun ( Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Address Source #
Instance details Defined in Plutus.V1.Ledger.Address Methods typeRep :: Proxy Address -> RTCompile DefaultUni fun ( Type TyName DefaultUni ()) Source #
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-GlUFhIIE0LJGuJDDdHh5lQ" ' 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)