cardano-api-8.36.1.1: The cardano api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Certificate

Description

Certificates embedded in transactions

Synopsis

Documentation

data Certificate era where Source #

Constructors

ShelleyRelatedCertificate :: ShelleyToBabbageEra era -> ShelleyTxCert (ShelleyLedgerEra era) -> Certificate era 
ConwayCertificate :: ConwayEraOnwards era -> ConwayTxCert (ShelleyLedgerEra era) -> Certificate era 

Instances

Instances details
Eq (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

(==) :: Certificate era -> Certificate era -> Bool Source #

(/=) :: Certificate era -> Certificate era -> Bool Source #

Show (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> Certificate era -> ShowS Source #

show :: Certificate era -> String Source #

showList :: [Certificate era] -> ShowS Source #

IsShelleyBasedEra era => FromCBOR (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

fromCBOR :: Decoder s (Certificate era) #

label :: Proxy (Certificate era) -> Text #

IsShelleyBasedEra era => ToCBOR (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

toCBOR :: Certificate era -> Encoding #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Certificate era) -> Size #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Certificate era] -> Size #

Typeable era => HasTypeProxy (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Associated Types

data AsType (Certificate era) Source #

Methods

proxyToAsType :: Proxy (Certificate era) -> AsType (Certificate era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

serialiseToCBOR :: Certificate era -> ByteString Source #

deserialiseFromCBOR :: AsType (Certificate era) -> ByteString -> Either DecoderError (Certificate era) Source #

IsShelleyBasedEra era => HasTextEnvelope (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

textEnvelopeType :: AsType (Certificate era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: Certificate era -> TextEnvelopeDescr Source #

data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate

Registering stake address and delegating

data StakeAddressRequirements era where Source #

Constructors

StakeAddrRegistrationConway :: ConwayEraOnwards era -> Lovelace -> StakeCredential -> StakeAddressRequirements era 
StakeAddrRegistrationPreConway :: ShelleyToBabbageEra era -> StakeCredential -> StakeAddressRequirements era 

data StakeDelegationRequirements era where Source #

Constructors

StakeDelegationRequirementsConwayOnwards :: ConwayEraOnwards era -> StakeCredential -> Delegatee (EraCrypto (ShelleyLedgerEra era)) -> StakeDelegationRequirements era 
StakeDelegationRequirementsPreConway :: ShelleyToBabbageEra era -> StakeCredential -> PoolId -> StakeDelegationRequirements era 

makeStakeAddressDelegationCertificate :: StakeDelegationRequirements era -> Certificate era Source #

makeStakeAddressRegistrationCertificate :: StakeAddressRequirements era -> Certificate era Source #

makeStakeAddressUnregistrationCertificate :: StakeAddressRequirements era -> Certificate era Source #

type PoolId = Hash StakePoolKey Source #

Registering stake pools

data StakePoolRegistrationRequirements era where Source #

Constructors

StakePoolRegistrationRequirementsConwayOnwards :: ConwayEraOnwards era -> PoolParams (EraCrypto (ShelleyLedgerEra era)) -> StakePoolRegistrationRequirements era 
StakePoolRegistrationRequirementsPreConway :: ShelleyToBabbageEra era -> PoolParams (EraCrypto (ShelleyLedgerEra era)) -> StakePoolRegistrationRequirements era 

data StakePoolRetirementRequirements era where Source #

Constructors

StakePoolRetirementRequirementsConwayOnwards :: ConwayEraOnwards era -> PoolId -> EpochNo -> StakePoolRetirementRequirements era 
StakePoolRetirementRequirementsPreConway :: ShelleyToBabbageEra era -> PoolId -> EpochNo -> StakePoolRetirementRequirements era 

makeStakePoolRegistrationCertificate :: StakePoolRegistrationRequirements era -> Certificate era Source #

makeStakePoolRetirementCertificate :: StakePoolRetirementRequirements era -> Certificate era Source #

data StakePoolParameters Source #

Constructors

StakePoolParameters 

Fields

Instances

Instances details
Eq StakePoolParameters Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

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

(/=) :: StakePoolParameters -> StakePoolParameters -> Bool Source #

Show StakePoolParameters Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> StakePoolParameters -> ShowS Source #

show :: StakePoolParameters -> String Source #

showList :: [StakePoolParameters] -> ShowS Source #

data StakePoolRelay Source #

Constructors

StakePoolRelayIp (Maybe IPv4) (Maybe IPv6) (Maybe PortNumber)

One or both of IPv4 & IPv6

StakePoolRelayDnsARecord ByteString (Maybe PortNumber)

An DNS name pointing to a A or AAAA record.

StakePoolRelayDnsSrvRecord ByteString

A DNS name pointing to a SRV record.

Instances

Instances details
Eq StakePoolRelay Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

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

(/=) :: StakePoolRelay -> StakePoolRelay -> Bool Source #

Show StakePoolRelay Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> StakePoolRelay -> ShowS Source #

show :: StakePoolRelay -> String Source #

showList :: [StakePoolRelay] -> ShowS Source #

data StakePoolMetadataReference Source #

Constructors

StakePoolMetadataReference 

Fields

Instances

Instances details
Eq StakePoolMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

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

(/=) :: StakePoolMetadataReference -> StakePoolMetadataReference -> Bool Source #

Show StakePoolMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> StakePoolMetadataReference -> ShowS Source #

show :: StakePoolMetadataReference -> String Source #

showList :: [StakePoolMetadataReference] -> ShowS Source #

Conway specific certificates

data CommitteeColdkeyResignationRequirements era where Source #

Constructors

CommitteeColdkeyResignationRequirements :: ConwayEraOnwards era -> KeyHash ColdCommitteeRole (EraCrypto (ShelleyLedgerEra era)) -> Maybe (Anchor (EraCrypto (ShelleyLedgerEra era))) -> CommitteeColdkeyResignationRequirements era 

data CommitteeHotKeyAuthorizationRequirements era where Source #

Constructors

CommitteeHotKeyAuthorizationRequirements :: ConwayEraOnwards era -> KeyHash ColdCommitteeRole (EraCrypto (ShelleyLedgerEra era)) -> KeyHash HotCommitteeRole (EraCrypto (ShelleyLedgerEra era)) -> CommitteeHotKeyAuthorizationRequirements era 

data DRepRegistrationRequirements era where Source #

Constructors

DRepRegistrationRequirements :: ConwayEraOnwards era -> Credential DRepRole (EraCrypto (ShelleyLedgerEra era)) -> Lovelace -> DRepRegistrationRequirements era 

data DRepUnregistrationRequirements era where Source #

Constructors

DRepUnregistrationRequirements :: ConwayEraOnwards era -> Credential DRepRole (EraCrypto (ShelleyLedgerEra era)) -> Lovelace -> DRepUnregistrationRequirements era 

makeCommitteeColdkeyResignationCertificate :: CommitteeColdkeyResignationRequirements era -> Certificate era Source #

makeCommitteeHotKeyAuthorizationCertificate :: CommitteeHotKeyAuthorizationRequirements era -> Certificate era Source #

makeDrepRegistrationCertificate :: DRepRegistrationRequirements era -> Maybe (Anchor (EraCrypto (ShelleyLedgerEra era))) -> Certificate era Source #

makeDrepUnregistrationCertificate :: DRepUnregistrationRequirements era -> Certificate era Source #

makeStakeAddressAndDRepDelegationCertificate :: ConwayEraOnwards era -> StakeCredential -> Delegatee (EraCrypto (ShelleyLedgerEra era)) -> Lovelace -> Certificate era Source #

Registering DReps

data DRepMetadataReference Source #

Constructors

DRepMetadataReference 

Fields

Instances

Instances details
Eq DRepMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

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

(/=) :: DRepMetadataReference -> DRepMetadataReference -> Bool Source #

Show DRepMetadataReference Source # 
Instance details

Defined in Cardano.Api.Certificate

Methods

showsPrec :: Int -> DRepMetadataReference -> ShowS Source #

show :: DRepMetadataReference -> String Source #

showList :: [DRepMetadataReference] -> ShowS Source #

Special certificates

data GenesisKeyDelegationRequirements ere where Source #

Constructors

GenesisKeyDelegationRequirements :: ShelleyToBabbageEra era -> Hash GenesisKey -> Hash GenesisDelegateKey -> Hash VrfKey -> GenesisKeyDelegationRequirements era 

data MirCertificateRequirements era where Source #

Constructors

MirCertificateRequirements :: ShelleyToBabbageEra era -> MIRPot -> MIRTarget (EraCrypto (ShelleyLedgerEra era)) -> MirCertificateRequirements era 

makeMIRCertificate :: MirCertificateRequirements era -> Certificate era Source #

makeGenesisKeyDelegationCertificate :: GenesisKeyDelegationRequirements era -> Certificate era Source #

data MIRTarget c #

Constructors

StakeAddressesMIR !(Map (Credential 'Staking c) DeltaCoin) 
SendToOppositePotMIR !Coin 

Instances

Instances details
Eq (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==) :: MIRTarget c -> MIRTarget c -> Bool Source #

(/=) :: MIRTarget c -> MIRTarget c -> Bool Source #

Show (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec :: Int -> MIRTarget c -> ShowS Source #

show :: MIRTarget c -> String Source #

showList :: [MIRTarget c] -> ShowS Source #

Generic (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (MIRTarget c) :: Type -> Type Source #

Methods

from :: MIRTarget c -> Rep (MIRTarget c) x Source #

to :: Rep (MIRTarget c) x -> MIRTarget c Source #

NFData (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf :: MIRTarget c -> () Source #

Crypto c => DecCBOR (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

decCBOR :: Decoder s (MIRTarget c)

dropCBOR :: Proxy (MIRTarget c) -> Decoder s ()

label :: Proxy (MIRTarget c) -> Text

Crypto c => EncCBOR (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBOR :: MIRTarget c -> Encoding

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (MIRTarget c) -> Size

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [MIRTarget c] -> Size

NoThunks (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

noThunks :: Context -> MIRTarget c -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> MIRTarget c -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (MIRTarget c) -> String

ToExpr (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

toExpr :: MIRTarget c -> Expr

listToExpr :: [MIRTarget c] -> Expr

ToJSON (MIRTarget StandardCrypto) Source # 
Instance details

Defined in Cardano.Api.Orphans

Methods

toJSON :: MIRTarget StandardCrypto -> Value #

toEncoding :: MIRTarget StandardCrypto -> Encoding #

toJSONList :: [MIRTarget StandardCrypto] -> Value #

toEncodingList :: [MIRTarget StandardCrypto] -> Encoding #

omitField :: MIRTarget StandardCrypto -> Bool #

type Rep (MIRTarget c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRTarget c) = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.8.0.0-8zSwDh4GiF3HDtP87S8Ej2" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

data MIRPot #

Constructors

ReservesMIR 
TreasuryMIR 

Instances

Instances details
Bounded MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

minBound :: MIRPot Source #

maxBound :: MIRPot Source #

Enum MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

succ :: MIRPot -> MIRPot Source #

pred :: MIRPot -> MIRPot Source #

toEnum :: Int -> MIRPot Source #

fromEnum :: MIRPot -> Int Source #

enumFrom :: MIRPot -> [MIRPot] Source #

enumFromThen :: MIRPot -> MIRPot -> [MIRPot] Source #

enumFromTo :: MIRPot -> MIRPot -> [MIRPot] Source #

enumFromThenTo :: MIRPot -> MIRPot -> MIRPot -> [MIRPot] Source #

Eq MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

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

(/=) :: MIRPot -> MIRPot -> Bool Source #

Ord MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compare :: MIRPot -> MIRPot -> Ordering Source #

(<) :: MIRPot -> MIRPot -> Bool Source #

(<=) :: MIRPot -> MIRPot -> Bool Source #

(>) :: MIRPot -> MIRPot -> Bool Source #

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

max :: MIRPot -> MIRPot -> MIRPot Source #

min :: MIRPot -> MIRPot -> MIRPot Source #

Show MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrec :: Int -> MIRPot -> ShowS Source #

show :: MIRPot -> String Source #

showList :: [MIRPot] -> ShowS Source #

Generic MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep MIRPot :: Type -> Type Source #

Methods

from :: MIRPot -> Rep MIRPot x Source #

to :: Rep MIRPot x -> MIRPot Source #

NFData MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnf :: MIRPot -> () Source #

DecCBOR MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

decCBOR :: Decoder s MIRPot

dropCBOR :: Proxy MIRPot -> Decoder s ()

label :: Proxy MIRPot -> Text

EncCBOR MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBOR :: MIRPot -> Encoding

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy MIRPot -> Size

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [MIRPot] -> Size

NoThunks MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

noThunks :: Context -> MIRPot -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> MIRPot -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy MIRPot -> String

ToExpr MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

toExpr :: MIRPot -> Expr

listToExpr :: [MIRPot] -> Expr

ToJSON MIRPot Source # 
Instance details

Defined in Cardano.Api.Orphans

Methods

toJSON :: MIRPot -> Value #

toEncoding :: MIRPot -> Encoding #

toJSONList :: [MIRPot] -> Value #

toEncodingList :: [MIRPot] -> Encoding #

omitField :: MIRPot -> Bool #

type Rep MIRPot 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.8.0.0-8zSwDh4GiF3HDtP87S8Ej2" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 :: Type -> Type))

selectStakeCredentialWitness :: Certificate era -> Maybe StakeCredential Source #

Get the stake credential witness for a certificate that requires it. Only stake address deregistration and delegation requires witnessing (witness can be script or key).

Internal conversion functions

toShelleyCertificate :: Certificate era -> TxCert (ShelleyLedgerEra era) Source #

fromShelleyCertificate :: ShelleyBasedEra era -> TxCert (ShelleyLedgerEra era) -> Certificate era Source #

toShelleyPoolParams :: StakePoolParameters -> PoolParams StandardCrypto Source #

fromShelleyPoolParams :: PoolParams StandardCrypto -> StakePoolParameters Source #

Data family instances

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ConwayEra = AsConwayEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType BabbageEra = AsBabbageEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType MaryEra = AsMaryEra
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType AllegraEra = AsAllegraEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ShelleyEra = AsShelleyEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras.Core

data AsType ByronEra = AsByronEra
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

data AsType TextEnvelope = AsTextEnvelope
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType DRepKey = AsDRepKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakePoolKey = AsStakePoolKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType GenesisKey = AsGenesisKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType StakeKey = AsStakeKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

data AsType PaymentKey = AsPaymentKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType VrfKey = AsVrfKey
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

data AsType KesKey = AsKesKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

data AsType ByronKey = AsByronKey
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronVote = AsByronVote
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType ScriptData = AsScriptData
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

data AsType SimpleScript' = AsSimpleScript
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId = AsPolicyId
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress = AsStakeAddress
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny = AsAddressAny
data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr = AsShelleyAddr
data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr = AsByronAddr
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Actions.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate

data AsType (Certificate era) = AsCertificate
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.TxBody

data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx

data AsType (Tx era) = AsTx (AsType era)

Internal functions

filterUnRegCreds :: Certificate era -> Maybe StakeCredential Source #

filterUnRegDRepCreds :: Certificate era -> Maybe (Credential DRepRole StandardCrypto) Source #