Copyright	© 2018-2021 IOHK
License	Apache-2.0
Safe Haskell	None
Language	Haskell2010

Cardano.Address.Style.Shelley

Contents

Shelley
Key Derivation
Addresses
Network Discrimination
Unsafe

Description

Synopsis

data Shelley (depth :: Depth) key
$sel:getKey:Shelley :: Shelley depth key -> key
data Role
- = UTxOExternal
- | UTxOInternal
- | Stake
data family Credential (purpose :: Depth)
genMasterKeyFromXPrv :: XPrv -> Shelley 'RootK XPrv
genMasterKeyFromMnemonic :: SomeMnemonic -> ScrubbedBytes -> Shelley 'RootK XPrv
deriveAccountPrivateKey :: Shelley 'RootK XPrv -> Index 'Hardened 'AccountK -> Shelley 'AccountK XPrv
deriveAddressPrivateKey :: Shelley 'AccountK XPrv -> Role -> Index 'Soft 'PaymentK -> Shelley 'PaymentK XPrv
deriveDelegationPrivateKey :: Shelley 'AccountK XPrv -> Shelley 'DelegationK XPrv
deriveAddressPublicKey :: Shelley 'AccountK XPub -> Role -> Index 'Soft 'PaymentK -> Shelley 'PaymentK XPub
derivePolicyPrivateKey :: Shelley 'RootK XPrv -> Index 'Hardened 'PolicyK -> Shelley 'PolicyK XPrv
data InspectAddress
- = InspectAddressShelley AddressInfo
- | InspectAddressIcarus AddressInfo
- | InspectAddressByron AddressInfo
data AddressInfo = AddressInfo {
- infoStakeReference :: !(Maybe ReferenceInfo)
- infoSpendingKeyHash :: !(Maybe ByteString)
- infoStakeKeyHash :: !(Maybe ByteString)
- infoScriptHash :: !(Maybe ByteString)
- infoStakeScriptHash :: !(Maybe ByteString)
- infoNetworkTag :: !NetworkTag
- infoAddressType :: !Word8
}
data ReferenceInfo
- = ByValue
- | ByPointer ChainPointer
eitherInspectAddress :: Maybe XPub -> Address -> Either ErrInspectAddress InspectAddress
inspectAddress :: (Alternative m, MonadThrow m) => Maybe XPub -> Address -> m Value
paymentAddress :: NetworkDiscriminant Shelley -> Credential 'PaymentK -> Address
delegationAddress :: NetworkDiscriminant Shelley -> Credential 'PaymentK -> Credential 'DelegationK -> Address
pointerAddress :: NetworkDiscriminant Shelley -> Credential 'PaymentK -> ChainPointer -> Address
stakeAddress :: NetworkDiscriminant Shelley -> Credential 'DelegationK -> Either ErrInvalidStakeAddress Address
extendAddress :: Address -> Credential 'DelegationK -> Either ErrExtendAddress Address
data ErrExtendAddress
- = ErrInvalidAddressStyle String
- | ErrInvalidAddressType String
- | ErrInvalidKeyHashType String
data ErrInspectAddressOnlyShelley
- = PtrRetrieveError String
- | UnknownType Word8
data ErrInspectAddress
- = WrongInputSize Int
- | ErrShelley ErrInspectAddressOnlyShelley
- | ErrIcarus ErrInspectAddress
- | ErrByron ErrInspectAddress
prettyErrInspectAddressOnlyShelley :: ErrInspectAddressOnlyShelley -> String
prettyErrInspectAddress :: ErrInspectAddress -> String
newtype MkNetworkDiscriminantError = ErrWrongNetworkTag Integer
mkNetworkDiscriminant :: Integer -> Either MkNetworkDiscriminantError (NetworkDiscriminant Shelley)
inspectNetworkDiscriminant :: Address -> Maybe (NetworkDiscriminant Shelley)
shelleyMainnet :: NetworkDiscriminant Shelley
shelleyTestnet :: NetworkDiscriminant Shelley
liftXPrv :: XPrv -> Shelley depth XPrv
liftXPub :: XPub -> Shelley depth XPub
liftPub :: Pub -> Shelley depth Pub

Documentation

This module provides an implementation of:

GenMasterKey: for generating Shelley master keys from mnemonic sentences
HardDerivation: for hierarchical hard derivation of parent to child keys
SoftDerivation: for hierarchical soft derivation of parent to child keys
paymentAddress: for constructing payment addresses from a address public key or a script
delegationAddress: for constructing delegation addresses from payment credential (public key or script) and stake credential (public key or script)
pointerAddress: for constructing delegation addresses from payment credential (public key or script) and chain pointer
stakeAddress: for constructing reward accounts from stake credential (public key or script)

Shelley

data Shelley (depth :: Depth) key Source #

A cryptographic key for sequential-scheme address derivation, with phantom-types to disambiguate key types.

let rootPrivateKey = Shelley 'RootK XPrv
let accountPubKey  = Shelley 'AccountK XPub
let addressPubKey  = Shelley 'PaymentK XPub

Since: 2.0.0

Instances

Instances details

GenMasterKey Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type SecondFactor Shelley Source # Methods genMasterKeyFromMnemonic :: SomeMnemonic -> SecondFactor Shelley -> Shelley 'RootK XPrv Source # genMasterKeyFromXPrv :: XPrv -> Shelley 'RootK XPrv Source #
SoftDerivation Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods deriveAddressPublicKey :: Shelley 'AccountK XPub -> WithRole Shelley -> Index 'Soft 'PaymentK -> Shelley 'PaymentK XPub Source #
HardDerivation Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type AccountIndexDerivationType Shelley :: DerivationType Source # type AddressIndexDerivationType Shelley :: DerivationType Source # type WithRole Shelley Source # Methods deriveAccountPrivateKey :: Shelley 'RootK XPrv -> Index (AccountIndexDerivationType Shelley) 'AccountK -> Shelley 'AccountK XPrv Source # deriveAddressPrivateKey :: Shelley 'AccountK XPrv -> WithRole Shelley -> Index (AddressIndexDerivationType Shelley) 'PaymentK -> Shelley 'PaymentK XPrv Source #
HasNetworkDiscriminant Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type NetworkDiscriminant Shelley Source # Methods addressDiscrimination :: NetworkDiscriminant Shelley -> AddressDiscrimination Source # networkTag :: NetworkDiscriminant Shelley -> NetworkTag Source #
Functor (Shelley depth) Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods fmap :: (a -> b) -> Shelley depth a -> Shelley depth b # (<$) :: a -> Shelley depth b -> Shelley depth a #
Eq key => Eq (Shelley depth key) Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: Shelley depth key -> Shelley depth key -> Bool # (/=) :: Shelley depth key -> Shelley depth key -> Bool #
Show key => Show (Shelley depth key) Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> Shelley depth key -> ShowS # show :: Shelley depth key -> String # showList :: [Shelley depth key] -> ShowS #
Generic (Shelley depth key) Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep (Shelley depth key) :: Type -> Type # Methods from :: Shelley depth key -> Rep (Shelley depth key) x # to :: Rep (Shelley depth key) x -> Shelley depth key #
NFData key => NFData (Shelley depth key) Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods rnf :: Shelley depth key -> () #
type SecondFactor Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley type SecondFactor Shelley = ScrubbedBytes
type AccountIndexDerivationType Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley type AccountIndexDerivationType Shelley = 'Hardened
type AddressIndexDerivationType Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley type AddressIndexDerivationType Shelley = 'Soft
type WithRole Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley type WithRole Shelley = Role
type NetworkDiscriminant Shelley Source #
Instance details Defined in Cardano.Address.Style.Shelley type NetworkDiscriminant Shelley = NetworkTag
type Rep (Shelley depth key) Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep (Shelley depth key) = D1 ('MetaData "Shelley" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'True) (C1 ('MetaCons "Shelley" 'PrefixI 'True) (S1 ('MetaSel ('Just "getKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 key)))

$sel:getKey:Shelley :: Shelley depth key -> key Source #

Extract the raw XPrv or XPub wrapped by this type.

Since: 1.0.0

data Role Source #

Describe what the keys within an account are used for.

UTxOExternal: used for public addresses sent to other parties for receiving money.
UTxOInternal: generated by wallet software to send change back to the wallet.
Stake: used for stake key(s) and delegation.

Since: 3.0.0

Constructors

UTxOExternal
UTxOInternal
Stake

Instances

Instances details

Bounded Role Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods minBound :: Role # maxBound :: Role #
Eq Role Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: Role -> Role -> Bool # (/=) :: Role -> Role -> Bool #
Ord Role Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods compare :: Role -> Role -> Ordering # (<) :: Role -> Role -> Bool # (<=) :: Role -> Role -> Bool # (>) :: Role -> Role -> Bool # (>=) :: Role -> Role -> Bool # max :: Role -> Role -> Role # min :: Role -> Role -> Role #
Show Role Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> Role -> ShowS # show :: Role -> String # showList :: [Role] -> ShowS #
Generic Role Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep Role :: Type -> Type # Methods from :: Role -> Rep Role x # to :: Rep Role x -> Role #
NFData Role Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods rnf :: Role -> () #
type Rep Role Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep Role = D1 ('MetaData "Role" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'False) (C1 ('MetaCons "UTxOExternal" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UTxOInternal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Stake" 'PrefixI 'False) (U1 :: Type -> Type)))

data family Credential (purpose :: Depth) Source #

Shelley offers several ways to identify ownership of entities on chain.

This data-family has two instances, depending on whether the key is used for payment or for delegation.

Since: 3.0.0

Instances

Instances details

Show (Credential 'PaymentK) Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> Credential 'PaymentK -> ShowS # show :: Credential 'PaymentK -> String # showList :: [Credential 'PaymentK] -> ShowS #
Show (Credential 'DelegationK) Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> Credential 'DelegationK -> ShowS # show :: Credential 'DelegationK -> String # showList :: [Credential 'DelegationK] -> ShowS #
data Credential 'PaymentK Source #
Instance details Defined in Cardano.Address.Style.Shelley data Credential 'PaymentK where PaymentFromKey :: Shelley 'PaymentK Pub -> Credential 'PaymentK PaymentFromExtendedKey :: Shelley 'PaymentK XPub -> Credential 'PaymentK PaymentFromKeyHash :: KeyHash -> Credential 'PaymentK PaymentFromScript :: Script KeyHash -> Credential 'PaymentK PaymentFromScriptHash :: ScriptHash -> Credential 'PaymentK
data Credential 'DelegationK Source #
Instance details Defined in Cardano.Address.Style.Shelley data Credential 'DelegationK where DelegationFromKey :: Shelley 'DelegationK Pub -> Credential 'DelegationK DelegationFromExtendedKey :: Shelley 'DelegationK XPub -> Credential 'DelegationK DelegationFromKeyHash :: KeyHash -> Credential 'DelegationK DelegationFromScript :: Script KeyHash -> Credential 'DelegationK DelegationFromScriptHash :: ScriptHash -> Credential 'DelegationK DelegationFromPointer :: ChainPointer -> Credential 'DelegationK

Key Derivation

Generating a root key from `SomeMnemonic`

:set -XOverloadedStrings
:set -XTypeApplications
:set -XDataKinds
import Cardano.Mnemonic ( mkSomeMnemonic )

let (Right mw) = mkSomeMnemonic @'[15] ["network","empty","cause","mean","expire","private","finger","accident","session","problem","absurd","banner","stage","void","what"]
let sndFactor = mempty -- Or alternatively, a second factor mnemonic transformed to bytes via someMnemonicToBytes
let rootK = genMasterKeyFromMnemonic mw sndFactor :: Shelley 'RootK XPrv

Deriving child keys

Let's consider the following 3rd, 4th and 5th derivation paths 0'/0/14

let Just accIx = indexFromWord32 0x80000000
let acctK = deriveAccountPrivateKey rootK accIx

let Just addIx = indexFromWord32 0x00000014
let addrK = deriveAddressPrivateKey acctK UTxOExternal addIx

let stakeK = deriveDelegationPrivateKey acctK

genMasterKeyFromXPrv :: XPrv -> Shelley 'RootK XPrv Source #

Generate a root key from a corresponding root XPrv

Since: 2.0.0

genMasterKeyFromMnemonic Source #

Arguments

:: SomeMnemonic	Some valid mnemonic sentence.
-> ScrubbedBytes	An optional second-factor passphrase (or `mempty`)
-> Shelley 'RootK XPrv

Generate a root key from a corresponding mnemonic.

Since: 2.0.0

deriveAccountPrivateKey :: Shelley 'RootK XPrv -> Index 'Hardened 'AccountK -> Shelley 'AccountK XPrv Source #

Derives an account private key from the given root private key.

Since: 2.0.0

deriveAddressPrivateKey :: Shelley 'AccountK XPrv -> Role -> Index 'Soft 'PaymentK -> Shelley 'PaymentK XPrv Source #

Derives an address private key from the given account private key.

Since: 2.0.0

deriveDelegationPrivateKey :: Shelley 'AccountK XPrv -> Shelley 'DelegationK XPrv Source #

Derive a delegation key for a corresponding AccountK. Note that wallet software are by convention only using one delegation key per account, and always the first account (with index 0').

Deriving delegation keys for something else than the initial account is not recommended and can lead to incompatibility with existing wallet softwares (Daedalus, Yoroi, Adalite...).

Since: 2.0.0

deriveAddressPublicKey :: Shelley 'AccountK XPub -> Role -> Index 'Soft 'PaymentK -> Shelley 'PaymentK XPub Source #

Derives an address public key from the given account public key.

Since: 2.0.0

derivePolicyPrivateKey :: Shelley 'RootK XPrv -> Index 'Hardened 'PolicyK -> Shelley 'PolicyK XPrv Source #

Derives a policy private key from the given root private key.

Since: 3.9.0

Addresses

Generating a `PaymentAddress` from public key credential

import Cardano.Address ( bech32 )
import Cardano.Address.Derivation ( toXPub )

let (Right tag) = mkNetworkDiscriminant 1
let paymentCredential = PaymentFromExtendedKey $ (toXPub <$> addrK)
bech32 $ paymentAddress tag paymentCredential
"addr1vxpfffuj3zkp5g7ct6h4va89caxx9ayq2gvkyfvww48sdncxsce5t"

Generating a `PaymentAddress` from script credential

import Cardano.Address.Script.Parser ( scriptFromString )
import Cardano.Address.Script ( toScriptHash )
import Codec.Binary.Encoding ( encode )
import Data.Text.Encoding ( decodeUtf8 )

let (Right tag) = mkNetworkDiscriminant 1
let verKey1 = "script_vkh18srsxr3khll7vl3w9mqfu55n6wzxxlxj7qzr2mhnyreluzt36ms"
let verKey2 = "script_vkh18srsxr3khll7vl3w9mqfu55n6wzxxlxj7qzr2mhnyrenxv223vj"
let scriptStr = "all [" ++ verKey1 ++ ", " ++ verKey2 ++ "]"
let (Right script) = scriptFromString scriptStr
let infoScriptHash@(ScriptHash bytes) = toScriptHash script
decodeUtf8 (encode EBase16 bytes)
"a015ae61075e25c3d9250bdcbc35c6557272127927ecf2a2d716e29f"
bech32 $ paymentAddress tag (PaymentFromScriptHash infoScriptHash)
"addr1wxspttnpqa0zts7ey59ae0p4ce2hyusj0yn7eu4z6utw98c9uxm83"

Generating a `DelegationAddress`

let (Right tag) = mkNetworkDiscriminant 1
let paymentCredential = PaymentFromExtendedKey $ (toXPub <$> addrK)
let delegationCredential = DelegationFromExtendedKey $ (toXPub <$> stakeK)
bech32 $ delegationAddress tag paymentCredential delegationCredential
"addr1qxpfffuj3zkp5g7ct6h4va89caxx9ayq2gvkyfvww48sdn7nudck0fzve4346yytz3wpwv9yhlxt7jwuc7ytwx2vfkyqmkc5xa"

Generating a `PointerAddress`

import Cardano.Address ( ChainPointer (..) )

let (Right tag) = mkNetworkDiscriminant 1
let ptr = ChainPointer 123 1 2
let paymentCredential = PaymentFromExtendedKey $ (toXPub <$> addrK)
bech32 $ pointerAddress tag paymentCredential ptr
"addr1gxpfffuj3zkp5g7ct6h4va89caxx9ayq2gvkyfvww48sdnmmqypqfcp5um"

Generating a `DelegationAddress` from using the same script credential in both payment and delegation

bech32 $ delegationAddress tag (PaymentFromScriptHash infoScriptHash) (DelegationFromScript infoScriptHash)
"addr1xxspttnpqa0zts7ey59ae0p4ce2hyusj0yn7eu4z6utw98aqzkhxzp67yhpajfgtmj7rt3j4wfepy7f8ane294cku20swucnrl"

data InspectAddress Source #

The result of eitherInspectAddress.

Since: 3.4.0

Constructors

InspectAddressShelley AddressInfo
InspectAddressIcarus AddressInfo
InspectAddressByron AddressInfo

Instances

Instances details

Eq InspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: InspectAddress -> InspectAddress -> Bool # (/=) :: InspectAddress -> InspectAddress -> Bool #
Show InspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> InspectAddress -> ShowS # show :: InspectAddress -> String # showList :: [InspectAddress] -> ShowS #
Generic InspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep InspectAddress :: Type -> Type # Methods from :: InspectAddress -> Rep InspectAddress x # to :: Rep InspectAddress x -> InspectAddress #
ToJSON InspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods toJSON :: InspectAddress -> Value toEncoding :: InspectAddress -> Encoding toJSONList :: [InspectAddress] -> Value toEncodingList :: [InspectAddress] -> Encoding
type Rep InspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep InspectAddress = D1 ('MetaData "InspectAddress" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'False) (C1 ('MetaCons "InspectAddressShelley" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddressInfo)) :+: (C1 ('MetaCons "InspectAddressIcarus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddressInfo)) :+: C1 ('MetaCons "InspectAddressByron" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddressInfo))))

data AddressInfo Source #

An inspected Shelley address.

Since: 3.4.0

Constructors

AddressInfo
Fields infoStakeReference :: !(Maybe ReferenceInfo) infoSpendingKeyHash :: !(Maybe ByteString) infoStakeKeyHash :: !(Maybe ByteString) infoScriptHash :: !(Maybe ByteString) infoStakeScriptHash :: !(Maybe ByteString) infoNetworkTag :: !NetworkTag infoAddressType :: !Word8

Instances

Instances details

Eq AddressInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: AddressInfo -> AddressInfo -> Bool # (/=) :: AddressInfo -> AddressInfo -> Bool #
Show AddressInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> AddressInfo -> ShowS # show :: AddressInfo -> String # showList :: [AddressInfo] -> ShowS #
Generic AddressInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep AddressInfo :: Type -> Type # Methods from :: AddressInfo -> Rep AddressInfo x # to :: Rep AddressInfo x -> AddressInfo #
ToJSON AddressInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods toJSON :: AddressInfo -> Value toEncoding :: AddressInfo -> Encoding toJSONList :: [AddressInfo] -> Value toEncodingList :: [AddressInfo] -> Encoding
type Rep AddressInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep AddressInfo = D1 ('MetaData "AddressInfo" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'False) (C1 ('MetaCons "AddressInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "infoStakeReference") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ReferenceInfo)) :: (S1 ('MetaSel ('Just "infoSpendingKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteString)) :: S1 ('MetaSel ('Just "infoStakeKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteString)))) :: ((S1 ('MetaSel ('Just "infoScriptHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteString)) :: S1 ('MetaSel ('Just "infoStakeScriptHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteString))) :: (S1 ('MetaSel ('Just "infoNetworkTag") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkTag) :: S1 ('MetaSel ('Just "infoAddressType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8)))))

data ReferenceInfo Source #

Info from Address about how delegation keys are located.

Since: 3.6.1

Constructors

ByValue
ByPointer ChainPointer

Instances

Instances details

Eq ReferenceInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: ReferenceInfo -> ReferenceInfo -> Bool # (/=) :: ReferenceInfo -> ReferenceInfo -> Bool #
Show ReferenceInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> ReferenceInfo -> ShowS # show :: ReferenceInfo -> String # showList :: [ReferenceInfo] -> ShowS #
Generic ReferenceInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep ReferenceInfo :: Type -> Type # Methods from :: ReferenceInfo -> Rep ReferenceInfo x # to :: Rep ReferenceInfo x -> ReferenceInfo #
type Rep ReferenceInfo Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep ReferenceInfo = D1 ('MetaData "ReferenceInfo" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'False) (C1 ('MetaCons "ByValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ByPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPointer)))

eitherInspectAddress :: Maybe XPub -> Address -> Either ErrInspectAddress InspectAddress Source #

Determines whether an Address is a valid address for the Cardano Shelley era. Shelley format addresses, as well as old-style Byron and Icarus addresses can be parsed by this function.

Returns either details about the Address, or ErrInspectAddress if it's not a valid address.

Since: 3.4.0

inspectAddress :: (Alternative m, MonadThrow m) => Maybe XPub -> Address -> m Value Source #

Analyze an Address to know whether it's a valid address for the Cardano Shelley era. Shelley format addresses, as well as old-style Byron and Icarus addresses can be parsed by this function.

Returns a JSON value containing details about the Address, or throws ErrInspectAddress if it's not a valid address.

Since: 3.0.0

paymentAddress :: NetworkDiscriminant Shelley -> Credential 'PaymentK -> Address Source #

Convert a payment credential (key or script) to a payment Address valid for the given network discrimination.

Since: 2.0.0

delegationAddress :: NetworkDiscriminant Shelley -> Credential 'PaymentK -> Credential 'DelegationK -> Address Source #

Convert a payment credential (key or script) and a delegation credential (key or script) to a delegation Address valid for the given network discrimination. Funds sent to this address will be delegated according to the delegation settings attached to the delegation key.

Since: 2.0.0

pointerAddress :: NetworkDiscriminant Shelley -> Credential 'PaymentK -> ChainPointer -> Address Source #

Convert a payment credential (key or script) and pointer to delegation certificate in blockchain to a pointer Address valid for the given network discrimination.

Since: 3.0.0

stakeAddress :: NetworkDiscriminant Shelley -> Credential 'DelegationK -> Either ErrInvalidStakeAddress Address Source #

Convert a delegation credential (key or script) to a stake Address (aka reward account address) for the given network discrimination.

Since: 3.0.0

extendAddress :: Address -> Credential 'DelegationK -> Either ErrExtendAddress Address Source #

Extend an existing payment Address to make it a delegation address.

Since: 2.0.0

data ErrExtendAddress Source #

Captures error occuring when trying to extend an invalid address.

Since: 2.0.0

Constructors

ErrInvalidAddressStyle String
ErrInvalidAddressType String
ErrInvalidKeyHashType String

Instances

Instances details

Show ErrExtendAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> ErrExtendAddress -> ShowS # show :: ErrExtendAddress -> String # showList :: [ErrExtendAddress] -> ShowS #

data ErrInspectAddressOnlyShelley Source #

Possible errors from inspecting a Shelley address

Since: 3.4.0

Constructors

PtrRetrieveError String	Human readable error of underlying operation
UnknownType Word8	Unknown value in address type field

Instances

Instances details

Eq ErrInspectAddressOnlyShelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: ErrInspectAddressOnlyShelley -> ErrInspectAddressOnlyShelley -> Bool # (/=) :: ErrInspectAddressOnlyShelley -> ErrInspectAddressOnlyShelley -> Bool #
Show ErrInspectAddressOnlyShelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> ErrInspectAddressOnlyShelley -> ShowS # show :: ErrInspectAddressOnlyShelley -> String # showList :: [ErrInspectAddressOnlyShelley] -> ShowS #
Generic ErrInspectAddressOnlyShelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep ErrInspectAddressOnlyShelley :: Type -> Type # Methods from :: ErrInspectAddressOnlyShelley -> Rep ErrInspectAddressOnlyShelley x # to :: Rep ErrInspectAddressOnlyShelley x -> ErrInspectAddressOnlyShelley #
Exception ErrInspectAddressOnlyShelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods toException :: ErrInspectAddressOnlyShelley -> SomeException # fromException :: SomeException -> Maybe ErrInspectAddressOnlyShelley # displayException :: ErrInspectAddressOnlyShelley -> String #
ToJSON ErrInspectAddressOnlyShelley Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods toJSON :: ErrInspectAddressOnlyShelley -> Value toEncoding :: ErrInspectAddressOnlyShelley -> Encoding toJSONList :: [ErrInspectAddressOnlyShelley] -> Value toEncodingList :: [ErrInspectAddressOnlyShelley] -> Encoding
type Rep ErrInspectAddressOnlyShelley Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep ErrInspectAddressOnlyShelley = D1 ('MetaData "ErrInspectAddressOnlyShelley" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'False) (C1 ('MetaCons "PtrRetrieveError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "UnknownType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

data ErrInspectAddress Source #

Possible errors from inspecting a Shelley, Icarus, or Byron address.

Since: 3.4.0

Constructors

WrongInputSize Int	Unexpected size
ErrShelley ErrInspectAddressOnlyShelley
ErrIcarus ErrInspectAddress
ErrByron ErrInspectAddress

Instances

Instances details

Eq ErrInspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: ErrInspectAddress -> ErrInspectAddress -> Bool # (/=) :: ErrInspectAddress -> ErrInspectAddress -> Bool #
Show ErrInspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> ErrInspectAddress -> ShowS # show :: ErrInspectAddress -> String # showList :: [ErrInspectAddress] -> ShowS #
Generic ErrInspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Associated Types type Rep ErrInspectAddress :: Type -> Type # Methods from :: ErrInspectAddress -> Rep ErrInspectAddress x # to :: Rep ErrInspectAddress x -> ErrInspectAddress #
Exception ErrInspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods toException :: ErrInspectAddress -> SomeException # fromException :: SomeException -> Maybe ErrInspectAddress # displayException :: ErrInspectAddress -> String #
ToJSON ErrInspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods toJSON :: ErrInspectAddress -> Value toEncoding :: ErrInspectAddress -> Encoding toJSONList :: [ErrInspectAddress] -> Value toEncodingList :: [ErrInspectAddress] -> Encoding
type Rep ErrInspectAddress Source #
Instance details Defined in Cardano.Address.Style.Shelley type Rep ErrInspectAddress = D1 ('MetaData "ErrInspectAddress" "Cardano.Address.Style.Shelley" "cardano-addresses-3.12.0-CXdZXYlvM2IBJZenPvTIY5" 'False) ((C1 ('MetaCons "WrongInputSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "ErrShelley" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ErrInspectAddressOnlyShelley))) :+: (C1 ('MetaCons "ErrIcarus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ErrInspectAddress)) :+: C1 ('MetaCons "ErrByron" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ErrInspectAddress))))

prettyErrInspectAddressOnlyShelley :: ErrInspectAddressOnlyShelley -> String Source #

Pretty-print an ErrInspectAddressOnlyShelley

Since: 3.4.0

prettyErrInspectAddress :: ErrInspectAddress -> String Source #

Pretty-print an ErrInspectAddress

Since: 3.0.0

Network Discrimination

newtype MkNetworkDiscriminantError Source #

Error reported from trying to create a network discriminant from number

Since: 2.0.0

Constructors

ErrWrongNetworkTag Integer

Wrong network tag.

Instances

Instances details

Eq MkNetworkDiscriminantError Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods (==) :: MkNetworkDiscriminantError -> MkNetworkDiscriminantError -> Bool # (/=) :: MkNetworkDiscriminantError -> MkNetworkDiscriminantError -> Bool #
Show MkNetworkDiscriminantError Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods showsPrec :: Int -> MkNetworkDiscriminantError -> ShowS # show :: MkNetworkDiscriminantError -> String # showList :: [MkNetworkDiscriminantError] -> ShowS #
Buildable MkNetworkDiscriminantError Source #
Instance details Defined in Cardano.Address.Style.Shelley Methods build :: MkNetworkDiscriminantError -> Builder

mkNetworkDiscriminant :: Integer -> Either MkNetworkDiscriminantError (NetworkDiscriminant Shelley) Source #

Construct NetworkDiscriminant for Cardano Shelley from a number. If the number is invalid, ie., not between 0 and 15, then MkNetworkDiscriminantError is thrown.

Since: 2.0.0

inspectNetworkDiscriminant :: Address -> Maybe (NetworkDiscriminant Shelley) Source #

Retrieve the network discriminant of a given Address. If the Address is malformed or, not a shelley address, returns Nothing.

Since: 2.0.0

shelleyMainnet :: NetworkDiscriminant Shelley Source #

NetworkDicriminant for Cardano MainNet & Shelley

Since: 2.0.0

shelleyTestnet :: NetworkDiscriminant Shelley Source #

NetworkDicriminant for Cardano Testnet & Shelley

Since: 2.0.0

Unsafe

liftXPrv :: XPrv -> Shelley depth XPrv Source #

Unsafe backdoor for constructing an Shelley key from a raw XPrv. this is unsafe because it lets the caller choose the actually derivation depth.

This can be useful however when serializing / deserializing such a type, or to speed up test code (and avoid having to do needless derivations from a master key down to an address key for instance).

Since: 2.0.0

liftXPub :: XPub -> Shelley depth XPub Source #

Unsafe backdoor for constructing an Shelley key from a raw XPub. this is unsafe because it lets the caller choose the actually derivation depth.

This can be useful however when serializing / deserializing such a type, or to speed up test code (and avoid having to do needless derivations from a master key down to an address key for instance).

Since: 2.0.0

liftPub :: Pub -> Shelley depth Pub Source #

Unsafe backdoor for constructing an Shelley key from a raw Pub. this is unsafe because it lets the caller choose the actually derivation depth.

This can be useful however when serializing / deserializing such a type, or to speed up test code (and avoid having to do needless derivations from a master key down to an address key for instance).

Since: 3.14.0

Documentation

Shelley

Instances

Instances

Instances

Key Derivation

Generating a root key from SomeMnemonic

Deriving child keys

Addresses

Generating a PaymentAddress from public key credential

Generating a PaymentAddress from script credential

Generating a DelegationAddress

Generating a PointerAddress

Generating a DelegationAddress from using the same script credential in both payment and delegation

Instances

Instances

Instances

Instances

Instances

Instances

Network Discrimination

Instances

Unsafe

Generating a root key from `SomeMnemonic`

Generating a `PaymentAddress` from public key credential

Generating a `PaymentAddress` from script credential

Generating a `DelegationAddress`

Generating a `PointerAddress`

Generating a `DelegationAddress` from using the same script credential in both payment and delegation