plutus-ledger-0.1.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger.Address

Synopsis

Documentation

stakingCredential :: Address -> Maybe StakingCredential Source #

The staking credential of an address (if any)

scriptHashAddress :: ValidatorHash -> Address Source #

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

toValidatorHash :: Address -> Maybe ValidatorHash Source #

The validator hash of the address, if any

toPubKeyHash :: Address -> Maybe PubKeyHash Source #

The PubKeyHash of the address, if any

data Address Source #

Address with two kinds of credentials, normal and staking.

Instances

Instances details
Eq Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Ord Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Show Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Generic Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Associated Types

type Rep Address :: Type -> Type Source #

NFData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

rnf :: Address -> () Source #

Hashable Address 
Instance details

Defined in Plutus.V1.Ledger.Address

ToJSON Address 
Instance details

Defined in Plutus.V1.Ledger.Address

ToJSONKey Address 
Instance details

Defined in Plutus.V1.Ledger.Address

FromJSON Address 
Instance details

Defined in Plutus.V1.Ledger.Address

FromJSONKey Address 
Instance details

Defined in Plutus.V1.Ledger.Address

ToSchema Address Source # 
Instance details

Defined in Ledger.Orphans

Serialise Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Pretty Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

pretty :: Address -> Doc ann Source #

prettyList :: [Address] -> Doc ann Source #

UnsafeFromData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

FromData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

ToData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Eq Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

(==) :: Address -> Address -> Bool Source #

Lift DefaultUni Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Typeable DefaultUni Address 
Instance details

Defined in Plutus.V1.Ledger.Address

type Rep Address 
Instance details

Defined in Plutus.V1.Ledger.Address

type Rep Address = D1 ('MetaData "Address" "Plutus.V1.Ledger.Address" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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))))

newtype PaymentPubKey Source #

Constructors

PaymentPubKey 

Instances

Instances details
Eq PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Ord PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Show PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Generic PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Associated Types

type Rep PaymentPubKey :: Type -> Type Source #

ToJSON PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

ToJSONKey PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

FromJSON PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

FromJSONKey PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

ToSchema PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Serialise PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Pretty PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

UnsafeFromData PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

FromData PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

ToData PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Ord PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Eq PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Lift DefaultUni PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

Typeable DefaultUni PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

type Rep PaymentPubKey Source # 
Instance details

Defined in Ledger.Address

type Rep PaymentPubKey = D1 ('MetaData "PaymentPubKey" "Ledger.Address" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'True) (C1 ('MetaCons "PaymentPubKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPaymentPubKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKey)))

newtype PaymentPubKeyHash Source #

Instances

Instances details
Eq PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Ord PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Show PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Generic PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Associated Types

type Rep PaymentPubKeyHash :: Type -> Type Source #

Hashable PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToJSON PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToJSONKey PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

FromJSON PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

FromJSONKey PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToSchema PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Serialise PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Pretty PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

UnsafeFromData PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

FromData PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToData PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Ord PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Eq PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Lift DefaultUni PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

Typeable DefaultUni PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

type Rep PaymentPubKeyHash Source # 
Instance details

Defined in Ledger.Address

type Rep PaymentPubKeyHash = D1 ('MetaData "PaymentPubKeyHash" "Ledger.Address" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'True) (C1 ('MetaCons "PaymentPubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPaymentPubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))

newtype StakePubKey Source #

Constructors

StakePubKey 

Instances

Instances details
Eq StakePubKey Source # 
Instance details

Defined in Ledger.Address

Ord StakePubKey Source # 
Instance details

Defined in Ledger.Address

Show StakePubKey Source # 
Instance details

Defined in Ledger.Address

Generic StakePubKey Source # 
Instance details

Defined in Ledger.Address

Associated Types

type Rep StakePubKey :: Type -> Type Source #

ToJSON StakePubKey Source # 
Instance details

Defined in Ledger.Address

ToJSONKey StakePubKey Source # 
Instance details

Defined in Ledger.Address

FromJSON StakePubKey Source # 
Instance details

Defined in Ledger.Address

FromJSONKey StakePubKey Source # 
Instance details

Defined in Ledger.Address

ToSchema StakePubKey Source # 
Instance details

Defined in Ledger.Address

Serialise StakePubKey Source # 
Instance details

Defined in Ledger.Address

Pretty StakePubKey Source # 
Instance details

Defined in Ledger.Address

UnsafeFromData StakePubKey Source # 
Instance details

Defined in Ledger.Address

FromData StakePubKey Source # 
Instance details

Defined in Ledger.Address

ToData StakePubKey Source # 
Instance details

Defined in Ledger.Address

Ord StakePubKey Source # 
Instance details

Defined in Ledger.Address

Eq StakePubKey Source # 
Instance details

Defined in Ledger.Address

Lift DefaultUni StakePubKey Source # 
Instance details

Defined in Ledger.Address

Typeable DefaultUni StakePubKey Source # 
Instance details

Defined in Ledger.Address

type Rep StakePubKey Source # 
Instance details

Defined in Ledger.Address

type Rep StakePubKey = D1 ('MetaData "StakePubKey" "Ledger.Address" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'True) (C1 ('MetaCons "StakePubKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStakePubKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKey)))

newtype StakePubKeyHash Source #

Instances

Instances details
Eq StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Ord StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Show StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Generic StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Associated Types

type Rep StakePubKeyHash :: Type -> Type Source #

Hashable StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToJSON StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToJSONKey StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

FromJSON StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

FromJSONKey StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToSchema StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Serialise StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Pretty StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

UnsafeFromData StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

FromData StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

ToData StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Ord StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Eq StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Lift DefaultUni StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

Typeable DefaultUni StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

type Rep StakePubKeyHash Source # 
Instance details

Defined in Ledger.Address

type Rep StakePubKeyHash = D1 ('MetaData "StakePubKeyHash" "Ledger.Address" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'True) (C1 ('MetaCons "StakePubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStakePubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))

pubKeyHashAddress :: PaymentPubKeyHash -> Maybe StakePubKeyHash -> Address Source #

The address that should be targeted by a transaction output locked by the given public payment key (with it's public stake key).

TODO: This should be moved to Plutus.V1(or V2).Ledger.Address with the newtypes.

pubKeyAddress :: PaymentPubKey -> Maybe StakePubKey -> Address Source #

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

scriptAddress :: Validator -> Address Source #

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