Safe Haskell	None
Language	Haskell2010

Cardano.CLI.Types.Common

Synopsis

data AllOrOnly a
- = All
- | Only [a]
data AddressKeyType
- = AddressKeyShelley
- | AddressKeyShelleyExtended
- | AddressKeyByron
data AnchorScheme
- = FileScheme
- | HttpScheme
- | HttpsScheme
- | IpfsScheme
data AnyPlutusScriptVersion where
- AnyPlutusScriptVersion :: forall lang. IsPlutusScriptLanguage lang => PlutusScriptVersion lang -> AnyPlutusScriptVersion
data BalanceTxExecUnits
- = AutoBalance
- | ManualBalance
newtype BlockId = BlockId String
data ByronKeyFormat
- = NonLegacyByronKeyFormat
- | LegacyByronKeyFormat
data ByronKeyType
- = ByronPaymentKey ByronKeyFormat
- | ByronGenesisKey ByronKeyFormat
- | ByronDelegateKey ByronKeyFormat
data CardanoAddressKeyType
- = CardanoAddressShelleyPaymentKey
- | CardanoAddressShelleyStakeKey
- | CardanoAddressIcarusPaymentKey
- | CardanoAddressByronPaymentKey
- | CardanoAddressCommitteeColdKey
- | CardanoAddressCommitteeHotKey
- | CardanoAddressDRepKey
data CBORObject
- = CBORBlockByron EpochSlots
- | CBORDelegationCertificateByron
- | CBORTxByron
- | CBORUpdateProposalByron
- | CBORVoteByron
newtype CertificateFile = CertificateFile {
- unCertificateFile :: FilePath
}
data ConstitutionHashSource
- = ConstitutionHashSourceFile (File ConstitutionText 'In)
- | ConstitutionHashSourceText Text
- | ConstitutionHashSourceHash (SafeHash StandardCrypto AnchorData)
newtype ConstitutionText = ConstitutionText {
- unConstitutionText :: Text
}
newtype ConstitutionUrl = ConstitutionUrl {
- unConstitutionUrl :: Url
}
data CredentialGenerationMode
- = OnDisk
- | Transient
newtype CurrentKesPeriod = CurrentKesPeriod {
- unCurrentKesPeriod :: Word64
}
data DRepCredentials = DRepCredentials {
- dRepCredentialGenerationMode :: !CredentialGenerationMode
- numOfDRepCredentials :: !Word
}
data EpochLeadershipSchedule
- = CurrentEpoch
- | NextEpoch
newtype File content (direction :: FileDirection) = File {
- unFile :: FilePath
}
data FileDirection
- = In
- | Out
- | InOut
newtype GenesisDir = GenesisDir FilePath
newtype GenesisFile = GenesisFile {
- unGenesisFile :: FilePath
}
newtype GenesisKeyFile = GenesisKeyFile FilePath
data IncludeStake
- = WithStake
- | NoStake
data InputTxBodyOrTxFile
- = InputTxBodyFile (TxBodyFile 'In)
- | InputTxFile (TxFile 'In)
data KeyOutputFormat
- = KeyOutputFormatTextEnvelope
- | KeyOutputFormatBech32
data MetadataFile
- = MetadataFileJSON (File () 'In)
- | MetadataFileCBOR (File () 'In)
data MustCheckHash a
- = CheckHash
- | TrustHash
data OpCertCounter
type OpCertCounterFile = File OpCertCounter
newtype OpCertEndingKesPeriod = OpCertEndingKesPeriod {
- unOpCertEndingKesPeriod :: Word64
}
data OpCertIntervalInformation
- = OpCertWithinInterval OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod SlotsTillKesKeyExpiry
- | OpCertStartingKesPeriodIsInTheFuture OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod
- | OpCertExpired OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod
- | OpCertSomeOtherError OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod
data OpCertNodeAndOnDiskCounterInformation
- = OpCertOnDiskCounterEqualToNodeState OpCertOnDiskCounter OpCertNodeStateCounter
- | OpCertOnDiskCounterAheadOfNodeState OpCertOnDiskCounter OpCertNodeStateCounter
- | OpCertOnDiskCounterTooFarAheadOfNodeState OpCertOnDiskCounter OpCertNodeStateCounter
- | OpCertOnDiskCounterBehindNodeState OpCertOnDiskCounter OpCertNodeStateCounter
- | OpCertNoBlocksMintedYet OpCertOnDiskCounter
newtype OpCertNodeStateCounter = OpCertNodeStateCounter {
- unOpCertNodeStateCounter :: Word64
}
newtype OpCertOnDiskCounter = OpCertOnDiskCounter {
- unOpCertOnDiskCounter :: Word64
}
newtype OpCertStartingKesPeriod = OpCertStartingKesPeriod {
- unOpCertStartingKesPeriod :: Word64
}
data Params crypto = Params {
- poolParameters :: Maybe (PoolParams crypto)
- futurePoolParameters :: Maybe (PoolParams crypto)
- retiringEpoch :: Maybe EpochNo
}
data ParserFileDirection
- = Input
- | Output
data IdOutputFormat
- = IdOutputFormatHex
- | IdOutputFormatBech32
newtype PrivKeyFile = PrivKeyFile FilePath
data ProposalBinary
type ProposalFile = File ()
data ProposalText
newtype ProposalUrl = ProposalUrl {
- unProposalUrl :: Url
}
newtype ProtocolParamsFile = ProtocolParamsFile FilePath
data OutputFormatJsonOrText
- = OutputFormatJson
- | OutputFormatText
data ReferenceScriptAnyEra
- = ReferenceScriptAnyEraNone
- | ReferenceScriptAnyEra FilePath
newtype ReferenceScriptSize = ReferenceScriptSize {
- unReferenceScriptSize :: Int
}
data RequiredSigner
- = RequiredSignerSkeyFile (SigningKeyFile 'In)
- | RequiredSignerHash (Hash PaymentKey)
data ScriptDataOrFile
- = ScriptDataCborFile FilePath
- | ScriptDataJsonFile FilePath
- | ScriptDataValue HashableScriptData
data ScriptDatumOrFile witctx where
- ScriptDatumOrFileForTxIn :: Maybe ScriptDataOrFile -> ScriptDatumOrFile WitCtxTxIn
- InlineDatumPresentAtTxIn :: ScriptDatumOrFile WitCtxTxIn
- NoScriptDatumOrFileForMint :: ScriptDatumOrFile WitCtxMint
- NoScriptDatumOrFileForStake :: ScriptDatumOrFile WitCtxStake
type ScriptFile = File ScriptInAnyLang 'In
type ScriptRedeemerOrFile = ScriptDataOrFile
data ScriptWitnessFiles witctx where
- SimpleScriptWitnessFile :: forall witctx. ScriptFile -> ScriptWitnessFiles witctx
- PlutusScriptWitnessFiles :: forall witctx. ScriptFile -> ScriptDatumOrFile witctx -> ScriptRedeemerOrFile -> ExecutionUnits -> ScriptWitnessFiles witctx
- PlutusReferenceScriptWitnessFiles :: forall witctx. TxIn -> AnyPlutusScriptVersion -> ScriptDatumOrFile witctx -> ScriptRedeemerOrFile -> ExecutionUnits -> ScriptWitnessFiles witctx
- SimpleReferenceScriptWitnessFiles :: forall witctx. TxIn -> AnyScriptLanguage -> ScriptWitnessFiles witctx
type SigningKeyFile = File (SigningKey ())
newtype SlotsTillKesKeyExpiry = SlotsTillKesKeyExpiry {
- unSlotsTillKesKeyExpiry :: SlotNo
}
data SomeKeyFile (direction :: FileDirection)
- = AVerificationKeyFile (VerificationKeyFile direction)
- | ASigningKeyFile (SigningKeyFile direction)
data StakeDelegators = StakeDelegators {
- stakeDelegatorsGenerationMode :: !CredentialGenerationMode
- numOfStakeDelegators :: !Word
}
type StakePoolMetadataFile = File StakePoolMetadata
type SupportedSchemes = [AnchorScheme]
data TransferDirection
- = TransferToReserves
- | TransferToTreasury
type TxBodyFile = File (TxBody ())
data TxBuildOutputOptions
- = OutputScriptCostOnly (File () 'Out)
- | OutputTxBodyOnly (TxBodyFile 'Out)
newtype TxByronWitnessCount = TxByronWitnessCount Int
type TxFile = File (Tx ())
newtype TxSubmissionResult = TxSubmissionResult {
- txhash :: TxId
}
newtype TxTreasuryDonation = TxTreasuryDonation {
- unTxTreasuryDonation :: Lovelace
}
newtype TxInCount = TxInCount Int
data TxMempoolQuery
- = TxMempoolQueryTxExists TxId
- | TxMempoolQueryNextTx
- | TxMempoolQueryInfo
data TxOutAnyEra = TxOutAnyEra AddressAny Value TxOutDatumAnyEra ReferenceScriptAnyEra
data TxOutShelleyBasedEra = TxOutShelleyBasedEra !(Address ShelleyAddr) Value TxOutDatumAnyEra ReferenceScriptAnyEra
newtype TxOutChangeAddress = TxOutChangeAddress AddressAny
newtype TxOutCount = TxOutCount Int
data TxOutDatumAnyEra
- = TxOutDatumByHashOnly (Hash ScriptData)
- | TxOutDatumByHashOf ScriptDataOrFile
- | TxOutDatumByValue ScriptDataOrFile
- | TxOutInlineDatumByValue ScriptDataOrFile
- | TxOutDatumByNone
newtype TxShelleyWitnessCount = TxShelleyWitnessCount Int
newtype UpdateProposalFile = UpdateProposalFile {
- unUpdateProposalFile :: FilePath
}
newtype VerificationKeyBase64 = VerificationKeyBase64 String
type VerificationKeyFile = File (VerificationKey ())
data ViewOutputFormat
- = ViewOutputFormatJson
- | ViewOutputFormatYaml
newtype VoteUrl = VoteUrl {
- unVoteUrl :: Url
}
newtype VoteText = VoteText {
- unVoteText :: Text
}
data VoteHashSource
- = VoteHashSourceFile (File VoteText 'In)
- | VoteHashSourceText Text
- | VoteHashSourceHash (SafeHash StandardCrypto AnchorData)
newtype WitnessFile = WitnessFile FilePath
data WitnessSigningData = KeyWitnessSigningData !(SigningKeyFile 'In) !(Maybe (Address ByronAddr))
type DRepMetadataFile = File DRepMetadata
data DRepMetadataUrl
data ResignationMetadataUrl
data PotentiallyCheckedAnchor anchorType anchor = PotentiallyCheckedAnchor {
- pcaAnchor :: anchor
- pcaMustCheck :: MustCheckHash anchorType
}

Documentation

data AllOrOnly a Source #

Constructors

All
Only [a]

Instances

Instances details

Show a => Show (AllOrOnly a) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> AllOrOnly a -> ShowS Source # show :: AllOrOnly a -> String Source # showList :: [AllOrOnly a] -> ShowS Source #
Eq a => Eq (AllOrOnly a) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: AllOrOnly a -> AllOrOnly a -> Bool Source # (/=) :: AllOrOnly a -> AllOrOnly a -> Bool Source #

data AddressKeyType Source #

Constructors

AddressKeyShelley
AddressKeyShelleyExtended
AddressKeyByron

Instances

Instances details

Show AddressKeyType Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> AddressKeyType -> ShowS Source # show :: AddressKeyType -> String Source # showList :: [AddressKeyType] -> ShowS Source #

data AnchorScheme Source #

The different schemes that can be used to fetch anchor data.

Constructors

FileScheme
HttpScheme
HttpsScheme
IpfsScheme

Instances

Instances details

Show AnchorScheme Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> AnchorScheme -> ShowS Source # show :: AnchorScheme -> String Source # showList :: [AnchorScheme] -> ShowS Source #
Eq AnchorScheme Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: AnchorScheme -> AnchorScheme -> Bool Source # (/=) :: AnchorScheme -> AnchorScheme -> Bool Source #

data AnyPlutusScriptVersion where #

Constructors

AnyPlutusScriptVersion :: forall lang. IsPlutusScriptLanguage lang => PlutusScriptVersion lang -> AnyPlutusScriptVersion

Instances

Instances details

FromJSON AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods parseJSON :: Value -> Parser AnyPlutusScriptVersion Source # parseJSONList :: Value -> Parser [AnyPlutusScriptVersion] Source # omittedField :: Maybe AnyPlutusScriptVersion Source #
FromJSONKey AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods fromJSONKey :: FromJSONKeyFunction AnyPlutusScriptVersion Source # fromJSONKeyList :: FromJSONKeyFunction [AnyPlutusScriptVersion] Source #
ToJSON AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods toJSON :: AnyPlutusScriptVersion -> Value Source # toEncoding :: AnyPlutusScriptVersion -> Encoding Source # toJSONList :: [AnyPlutusScriptVersion] -> Value Source # toEncodingList :: [AnyPlutusScriptVersion] -> Encoding Source # omitField :: AnyPlutusScriptVersion -> Bool Source #
ToJSONKey AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods toJSONKey :: ToJSONKeyFunction AnyPlutusScriptVersion Source # toJSONKeyList :: ToJSONKeyFunction [AnyPlutusScriptVersion] Source #
Bounded AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods minBound :: AnyPlutusScriptVersion Source # maxBound :: AnyPlutusScriptVersion Source #
Enum AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods succ :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source # pred :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source # toEnum :: Int -> AnyPlutusScriptVersion Source # fromEnum :: AnyPlutusScriptVersion -> Int Source # enumFrom :: AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source # enumFromThen :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source # enumFromTo :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source # enumFromThenTo :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> [AnyPlutusScriptVersion] Source #
Show AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods showsPrec :: Int -> AnyPlutusScriptVersion -> ShowS Source # show :: AnyPlutusScriptVersion -> String Source # showList :: [AnyPlutusScriptVersion] -> ShowS Source #
FromCBOR AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods fromCBOR :: Decoder s AnyPlutusScriptVersion Source # label :: Proxy AnyPlutusScriptVersion -> Text Source #
ToCBOR AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods toCBOR :: AnyPlutusScriptVersion -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AnyPlutusScriptVersion -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AnyPlutusScriptVersion] -> Size Source #
Eq AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods (==) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (/=) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source #
Ord AnyPlutusScriptVersion
Instance details Defined in Cardano.Api.Script Methods compare :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Ordering Source # (<) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (<=) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (>) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # (>=) :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> Bool Source # max :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source # min :: AnyPlutusScriptVersion -> AnyPlutusScriptVersion -> AnyPlutusScriptVersion Source #

data BalanceTxExecUnits Source #

A flag that differentiates between automatically and manually balancing a tx.

Constructors

AutoBalance
ManualBalance

newtype BlockId Source #

Constructors

BlockId String

Instances

Instances details

Show BlockId Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> BlockId -> ShowS Source # show :: BlockId -> String Source # showList :: [BlockId] -> ShowS Source #

data ByronKeyFormat Source #

Constructors

NonLegacyByronKeyFormat
LegacyByronKeyFormat

Instances

Instances details

Show ByronKeyFormat Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ByronKeyFormat -> ShowS Source # show :: ByronKeyFormat -> String Source # showList :: [ByronKeyFormat] -> ShowS Source #

data ByronKeyType Source #

Constructors

ByronPaymentKey ByronKeyFormat
ByronGenesisKey ByronKeyFormat
ByronDelegateKey ByronKeyFormat

Instances

Instances details

Show ByronKeyType Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ByronKeyType -> ShowS Source # show :: ByronKeyType -> String Source # showList :: [ByronKeyType] -> ShowS Source #

data CardanoAddressKeyType Source #

The type of cardano-address key.

Constructors

CardanoAddressShelleyPaymentKey
CardanoAddressShelleyStakeKey
CardanoAddressIcarusPaymentKey
CardanoAddressByronPaymentKey
CardanoAddressCommitteeColdKey
CardanoAddressCommitteeHotKey
CardanoAddressDRepKey

Instances

Instances details

Show CardanoAddressKeyType Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> CardanoAddressKeyType -> ShowS Source # show :: CardanoAddressKeyType -> String Source # showList :: [CardanoAddressKeyType] -> ShowS Source #

data CBORObject Source #

Specify what the CBOR file is i.e a block, a tx, etc

Constructors

CBORBlockByron EpochSlots
CBORDelegationCertificateByron
CBORTxByron
CBORUpdateProposalByron
CBORVoteByron

Instances

Instances details

Show CBORObject Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> CBORObject -> ShowS Source # show :: CBORObject -> String Source # showList :: [CBORObject] -> ShowS Source #

newtype CertificateFile Source #

Constructors

CertificateFile
Fields unCertificateFile :: FilePath

Instances

Instances details

Show CertificateFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> CertificateFile -> ShowS Source # show :: CertificateFile -> String Source # showList :: [CertificateFile] -> ShowS Source #
Eq CertificateFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: CertificateFile -> CertificateFile -> Bool Source # (/=) :: CertificateFile -> CertificateFile -> Bool Source #

data ConstitutionHashSource Source #

Constructors

ConstitutionHashSourceFile (File ConstitutionText 'In)
ConstitutionHashSourceText Text
ConstitutionHashSourceHash (SafeHash StandardCrypto AnchorData)

Instances

Instances details

Show ConstitutionHashSource Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ConstitutionHashSource -> ShowS Source # show :: ConstitutionHashSource -> String Source # showList :: [ConstitutionHashSource] -> ShowS Source #

newtype ConstitutionText Source #

Constructors

ConstitutionText
Fields unConstitutionText :: Text

Instances

Instances details

Show ConstitutionText Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ConstitutionText -> ShowS Source # show :: ConstitutionText -> String Source # showList :: [ConstitutionText] -> ShowS Source #
Eq ConstitutionText Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ConstitutionText -> ConstitutionText -> Bool Source # (/=) :: ConstitutionText -> ConstitutionText -> Bool Source #

newtype ConstitutionUrl Source #

Constructors

ConstitutionUrl
Fields unConstitutionUrl :: Url

Instances

Instances details

Show ConstitutionUrl Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ConstitutionUrl -> ShowS Source # show :: ConstitutionUrl -> String Source # showList :: [ConstitutionUrl] -> ShowS Source #
Eq ConstitutionUrl Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ConstitutionUrl -> ConstitutionUrl -> Bool Source # (/=) :: ConstitutionUrl -> ConstitutionUrl -> Bool Source #

data CredentialGenerationMode Source #

Constructors

OnDisk	Write credentials to disk
Transient	Don't write them to disk (process them in memory)

Instances

Instances details

Show CredentialGenerationMode Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> CredentialGenerationMode -> ShowS Source # show :: CredentialGenerationMode -> String Source # showList :: [CredentialGenerationMode] -> ShowS Source #
Eq CredentialGenerationMode Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: CredentialGenerationMode -> CredentialGenerationMode -> Bool Source # (/=) :: CredentialGenerationMode -> CredentialGenerationMode -> Bool Source #

newtype CurrentKesPeriod Source #

Constructors

CurrentKesPeriod
Fields unCurrentKesPeriod :: Word64

Instances

Instances details

FromJSON CurrentKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser CurrentKesPeriod Source # parseJSONList :: Value -> Parser [CurrentKesPeriod] Source # omittedField :: Maybe CurrentKesPeriod Source #
ToJSON CurrentKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: CurrentKesPeriod -> Value Source # toEncoding :: CurrentKesPeriod -> Encoding Source # toJSONList :: [CurrentKesPeriod] -> Value Source # toEncodingList :: [CurrentKesPeriod] -> Encoding Source # omitField :: CurrentKesPeriod -> Bool Source #
Show CurrentKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> CurrentKesPeriod -> ShowS Source # show :: CurrentKesPeriod -> String Source # showList :: [CurrentKesPeriod] -> ShowS Source #
Eq CurrentKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: CurrentKesPeriod -> CurrentKesPeriod -> Bool Source # (/=) :: CurrentKesPeriod -> CurrentKesPeriod -> Bool Source #

data DRepCredentials Source #

Constructors

DRepCredentials
Fields dRepCredentialGenerationMode :: !CredentialGenerationMode Whether to write them to disk numOfDRepCredentials :: !Word The number of DRep credentials to generate

Instances

Instances details

Show DRepCredentials Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> DRepCredentials -> ShowS Source # show :: DRepCredentials -> String Source # showList :: [DRepCredentials] -> ShowS Source #

data EpochLeadershipSchedule Source #

Which leadership schedule we are interested in. TODO: Implement Previous and Next epochs

Constructors

CurrentEpoch
NextEpoch

Instances

Instances details

Show EpochLeadershipSchedule Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> EpochLeadershipSchedule -> ShowS Source # show :: EpochLeadershipSchedule -> String Source # showList :: [EpochLeadershipSchedule] -> ShowS Source #

newtype File content (direction :: FileDirection) #

Constructors

File
Fields unFile :: FilePath

Instances

Instances details

FromJSON (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods parseJSON :: Value -> Parser (File content direction) Source # parseJSONList :: Value -> Parser [File content direction] Source # omittedField :: Maybe (File content direction) Source #
ToJSON (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods toJSON :: File content direction -> Value Source # toEncoding :: File content direction -> Encoding Source # toJSONList :: [File content direction] -> Value Source # toEncodingList :: [File content direction] -> Encoding Source # omitField :: File content direction -> Bool Source #
IsString (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods fromString :: String -> File content direction Source #
Read (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods readsPrec :: Int -> ReadS (File content direction) Source # readList :: ReadS [File content direction] Source # readPrec :: ReadPrec (File content direction) Source # readListPrec :: ReadPrec [File content direction] Source #
Show (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods showsPrec :: Int -> File content direction -> ShowS Source # show :: File content direction -> String Source # showList :: [File content direction] -> ShowS Source #
Eq (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods (==) :: File content direction -> File content direction -> Bool Source # (/=) :: File content direction -> File content direction -> Bool Source #
Ord (File content direction)
Instance details Defined in Cardano.Api.IO.Base Methods compare :: File content direction -> File content direction -> Ordering Source # (<) :: File content direction -> File content direction -> Bool Source # (<=) :: File content direction -> File content direction -> Bool Source # (>) :: File content direction -> File content direction -> Bool Source # (>=) :: File content direction -> File content direction -> Bool Source # max :: File content direction -> File content direction -> File content direction Source # min :: File content direction -> File content direction -> File content direction Source #

data FileDirection #

Constructors

In
Out
InOut

newtype GenesisDir Source #

Constructors

GenesisDir FilePath

Instances

Instances details

Show GenesisDir Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> GenesisDir -> ShowS Source # show :: GenesisDir -> String Source # showList :: [GenesisDir] -> ShowS Source #

newtype GenesisFile Source #

Constructors

GenesisFile
Fields unGenesisFile :: FilePath

Instances

Instances details

FromJSON GenesisFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser GenesisFile Source # parseJSONList :: Value -> Parser [GenesisFile] Source # omittedField :: Maybe GenesisFile Source #
IsString GenesisFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods fromString :: String -> GenesisFile Source #
Show GenesisFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> GenesisFile -> ShowS Source # show :: GenesisFile -> String Source # showList :: [GenesisFile] -> ShowS Source #
Eq GenesisFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: GenesisFile -> GenesisFile -> Bool Source # (/=) :: GenesisFile -> GenesisFile -> Bool Source #
Ord GenesisFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods compare :: GenesisFile -> GenesisFile -> Ordering Source # (<) :: GenesisFile -> GenesisFile -> Bool Source # (<=) :: GenesisFile -> GenesisFile -> Bool Source # (>) :: GenesisFile -> GenesisFile -> Bool Source # (>=) :: GenesisFile -> GenesisFile -> Bool Source # max :: GenesisFile -> GenesisFile -> GenesisFile Source # min :: GenesisFile -> GenesisFile -> GenesisFile Source #

newtype GenesisKeyFile Source #

Constructors

GenesisKeyFile FilePath

Instances

Instances details

Show GenesisKeyFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> GenesisKeyFile -> ShowS Source # show :: GenesisKeyFile -> String Source # showList :: [GenesisKeyFile] -> ShowS Source #

data IncludeStake Source #

Whether to include the stake, as queried by drep-stake-distribution, in the output of drep-state. This is (computationally) expensive, but sometimes convenient.

Constructors

WithStake
NoStake

Instances

Instances details

Show IncludeStake Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> IncludeStake -> ShowS Source # show :: IncludeStake -> String Source # showList :: [IncludeStake] -> ShowS Source #

data InputTxBodyOrTxFile Source #

Constructors

InputTxBodyFile (TxBodyFile 'In)
InputTxFile (TxFile 'In)

Instances

Instances details

Show InputTxBodyOrTxFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> InputTxBodyOrTxFile -> ShowS Source # show :: InputTxBodyOrTxFile -> String Source # showList :: [InputTxBodyOrTxFile] -> ShowS Source #

data KeyOutputFormat Source #

Constructors

KeyOutputFormatTextEnvelope
KeyOutputFormatBech32

Instances

Instances details

Show KeyOutputFormat Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> KeyOutputFormat -> ShowS Source # show :: KeyOutputFormat -> String Source # showList :: [KeyOutputFormat] -> ShowS Source #
Eq KeyOutputFormat Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: KeyOutputFormat -> KeyOutputFormat -> Bool Source # (/=) :: KeyOutputFormat -> KeyOutputFormat -> Bool Source #

data MetadataFile Source #

Constructors

MetadataFileJSON (File () 'In)
MetadataFileCBOR (File () 'In)

Instances

Instances details

Show MetadataFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> MetadataFile -> ShowS Source # show :: MetadataFile -> String Source # showList :: [MetadataFile] -> ShowS Source #

data MustCheckHash a Source #

Constructors

CheckHash
TrustHash

Instances

Instances details

Show (MustCheckHash a) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> MustCheckHash a -> ShowS Source # show :: MustCheckHash a -> String Source # showList :: [MustCheckHash a] -> ShowS Source #
Eq (MustCheckHash a) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: MustCheckHash a -> MustCheckHash a -> Bool Source # (/=) :: MustCheckHash a -> MustCheckHash a -> Bool Source #

data OpCertCounter Source #

type OpCertCounterFile = File OpCertCounter Source #

newtype OpCertEndingKesPeriod Source #

Constructors

OpCertEndingKesPeriod
Fields unOpCertEndingKesPeriod :: Word64

Instances

Instances details

FromJSON OpCertEndingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser OpCertEndingKesPeriod Source # parseJSONList :: Value -> Parser [OpCertEndingKesPeriod] Source # omittedField :: Maybe OpCertEndingKesPeriod Source #
ToJSON OpCertEndingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: OpCertEndingKesPeriod -> Value Source # toEncoding :: OpCertEndingKesPeriod -> Encoding Source # toJSONList :: [OpCertEndingKesPeriod] -> Value Source # toEncodingList :: [OpCertEndingKesPeriod] -> Encoding Source # omitField :: OpCertEndingKesPeriod -> Bool Source #
Show OpCertEndingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OpCertEndingKesPeriod -> ShowS Source # show :: OpCertEndingKesPeriod -> String Source # showList :: [OpCertEndingKesPeriod] -> ShowS Source #
Eq OpCertEndingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: OpCertEndingKesPeriod -> OpCertEndingKesPeriod -> Bool Source # (/=) :: OpCertEndingKesPeriod -> OpCertEndingKesPeriod -> Bool Source #

data OpCertIntervalInformation Source #

Constructors

OpCertWithinInterval OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod SlotsTillKesKeyExpiry
OpCertStartingKesPeriodIsInTheFuture OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod
OpCertExpired OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod
OpCertSomeOtherError OpCertStartingKesPeriod OpCertEndingKesPeriod CurrentKesPeriod	Shouldn't be possible

Instances

Instances details

Show OpCertIntervalInformation Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OpCertIntervalInformation -> ShowS Source # show :: OpCertIntervalInformation -> String Source # showList :: [OpCertIntervalInformation] -> ShowS Source #
Eq OpCertIntervalInformation Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: OpCertIntervalInformation -> OpCertIntervalInformation -> Bool Source # (/=) :: OpCertIntervalInformation -> OpCertIntervalInformation -> Bool Source #

data OpCertNodeAndOnDiskCounterInformation Source #

Constructors

OpCertOnDiskCounterEqualToNodeState OpCertOnDiskCounter OpCertNodeStateCounter	The on disk operational certificate has a counter that is equal to its corresponding counter in the node state. The on disk operational certificate therefore has a valid counter.
OpCertOnDiskCounterAheadOfNodeState OpCertOnDiskCounter OpCertNodeStateCounter	The on disk operational certificate has a counter that is ahead of the counter in the node state by 1. The on disk operational certificate is invalid in this case.
OpCertOnDiskCounterTooFarAheadOfNodeState OpCertOnDiskCounter OpCertNodeStateCounter	The on disk operational certificate has a counter that is less than the counter in the node state. The on disk operational certificate is invalid in this case.
OpCertOnDiskCounterBehindNodeState OpCertOnDiskCounter OpCertNodeStateCounter	The corresponding counter for operational certificate was not found in the node state. This means the relevant stake pool has not minted a block yet. When the stake pool has minted a block the corresponding operational certificate's counter will be present in the node state.
OpCertNoBlocksMintedYet OpCertOnDiskCounter	The on disk operational certificate has a counter that is ahead of the counter in the node state by more than 1. The on disk operational certificate is invalid in this case.

Instances

Instances details

Show OpCertNodeAndOnDiskCounterInformation Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OpCertNodeAndOnDiskCounterInformation -> ShowS Source # show :: OpCertNodeAndOnDiskCounterInformation -> String Source # showList :: [OpCertNodeAndOnDiskCounterInformation] -> ShowS Source #
Eq OpCertNodeAndOnDiskCounterInformation Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: OpCertNodeAndOnDiskCounterInformation -> OpCertNodeAndOnDiskCounterInformation -> Bool Source # (/=) :: OpCertNodeAndOnDiskCounterInformation -> OpCertNodeAndOnDiskCounterInformation -> Bool Source #

newtype OpCertNodeStateCounter Source #

Constructors

OpCertNodeStateCounter
Fields unOpCertNodeStateCounter :: Word64

Instances

Instances details

FromJSON OpCertNodeStateCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser OpCertNodeStateCounter Source # parseJSONList :: Value -> Parser [OpCertNodeStateCounter] Source # omittedField :: Maybe OpCertNodeStateCounter Source #
ToJSON OpCertNodeStateCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: OpCertNodeStateCounter -> Value Source # toEncoding :: OpCertNodeStateCounter -> Encoding Source # toJSONList :: [OpCertNodeStateCounter] -> Value Source # toEncodingList :: [OpCertNodeStateCounter] -> Encoding Source # omitField :: OpCertNodeStateCounter -> Bool Source #
Show OpCertNodeStateCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OpCertNodeStateCounter -> ShowS Source # show :: OpCertNodeStateCounter -> String Source # showList :: [OpCertNodeStateCounter] -> ShowS Source #
Eq OpCertNodeStateCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: OpCertNodeStateCounter -> OpCertNodeStateCounter -> Bool Source # (/=) :: OpCertNodeStateCounter -> OpCertNodeStateCounter -> Bool Source #

newtype OpCertOnDiskCounter Source #

Constructors

OpCertOnDiskCounter
Fields unOpCertOnDiskCounter :: Word64

Instances

Instances details

FromJSON OpCertOnDiskCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser OpCertOnDiskCounter Source # parseJSONList :: Value -> Parser [OpCertOnDiskCounter] Source # omittedField :: Maybe OpCertOnDiskCounter Source #
ToJSON OpCertOnDiskCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: OpCertOnDiskCounter -> Value Source # toEncoding :: OpCertOnDiskCounter -> Encoding Source # toJSONList :: [OpCertOnDiskCounter] -> Value Source # toEncodingList :: [OpCertOnDiskCounter] -> Encoding Source # omitField :: OpCertOnDiskCounter -> Bool Source #
Show OpCertOnDiskCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OpCertOnDiskCounter -> ShowS Source # show :: OpCertOnDiskCounter -> String Source # showList :: [OpCertOnDiskCounter] -> ShowS Source #
Eq OpCertOnDiskCounter Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: OpCertOnDiskCounter -> OpCertOnDiskCounter -> Bool Source # (/=) :: OpCertOnDiskCounter -> OpCertOnDiskCounter -> Bool Source #

newtype OpCertStartingKesPeriod Source #

Constructors

OpCertStartingKesPeriod
Fields unOpCertStartingKesPeriod :: Word64

Instances

Instances details

FromJSON OpCertStartingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser OpCertStartingKesPeriod Source # parseJSONList :: Value -> Parser [OpCertStartingKesPeriod] Source # omittedField :: Maybe OpCertStartingKesPeriod Source #
ToJSON OpCertStartingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: OpCertStartingKesPeriod -> Value Source # toEncoding :: OpCertStartingKesPeriod -> Encoding Source # toJSONList :: [OpCertStartingKesPeriod] -> Value Source # toEncodingList :: [OpCertStartingKesPeriod] -> Encoding Source # omitField :: OpCertStartingKesPeriod -> Bool Source #
Show OpCertStartingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OpCertStartingKesPeriod -> ShowS Source # show :: OpCertStartingKesPeriod -> String Source # showList :: [OpCertStartingKesPeriod] -> ShowS Source #
Eq OpCertStartingKesPeriod Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: OpCertStartingKesPeriod -> OpCertStartingKesPeriod -> Bool Source # (/=) :: OpCertStartingKesPeriod -> OpCertStartingKesPeriod -> Bool Source #

data Params crypto Source #

This data structure is used to allow nicely formatted output in the query pool-params command. params are the current pool parameter settings, futureparams are new parameters, retiringEpoch is the epoch that has been set for pool retirement. Any of these may be Nothing.

Constructors

Params
Fields poolParameters :: Maybe (PoolParams crypto) futurePoolParameters :: Maybe (PoolParams crypto) retiringEpoch :: Maybe EpochNo

Instances

Instances details

Crypto crypto => ToJSON (Params crypto) Source #	Pretty printing for pool parameters
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: Params crypto -> Value Source # toEncoding :: Params crypto -> Encoding Source # toJSONList :: [Params crypto] -> Value Source # toEncodingList :: [Params crypto] -> Encoding Source # omitField :: Params crypto -> Bool Source #
Show (Params crypto) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> Params crypto -> ShowS Source # show :: Params crypto -> String Source # showList :: [Params crypto] -> ShowS Source #

data ParserFileDirection Source #

Constructors

Input
Output

Instances

Instances details

Show ParserFileDirection Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ParserFileDirection -> ShowS Source # show :: ParserFileDirection -> String Source # showList :: [ParserFileDirection] -> ShowS Source #
Eq ParserFileDirection Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ParserFileDirection -> ParserFileDirection -> Bool Source # (/=) :: ParserFileDirection -> ParserFileDirection -> Bool Source #

data IdOutputFormat Source #

Some entities such as stake pools and dreps have a notion of an ID and that id can be encoded as either a bech32 or hex string. This type is used to specify which encoding to use.

Constructors

IdOutputFormatHex
IdOutputFormatBech32

Instances

Instances details

Show IdOutputFormat Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> IdOutputFormat -> ShowS Source # show :: IdOutputFormat -> String Source # showList :: [IdOutputFormat] -> ShowS Source #
Eq IdOutputFormat Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: IdOutputFormat -> IdOutputFormat -> Bool Source # (/=) :: IdOutputFormat -> IdOutputFormat -> Bool Source #

newtype PrivKeyFile Source #

Constructors

PrivKeyFile FilePath

Instances

Instances details

Show PrivKeyFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> PrivKeyFile -> ShowS Source # show :: PrivKeyFile -> String Source # showList :: [PrivKeyFile] -> ShowS Source #

data ProposalBinary Source #

Tag for tracking proposals submitted as Bytestring

type ProposalFile = File () Source #

data ProposalText Source #

Tag for tracking proposals submitted as Text

newtype ProposalUrl Source #

Constructors

ProposalUrl
Fields unProposalUrl :: Url

Instances

Instances details

Show ProposalUrl Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ProposalUrl -> ShowS Source # show :: ProposalUrl -> String Source # showList :: [ProposalUrl] -> ShowS Source #
Eq ProposalUrl Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ProposalUrl -> ProposalUrl -> Bool Source # (/=) :: ProposalUrl -> ProposalUrl -> Bool Source #

newtype ProtocolParamsFile Source #

Constructors

ProtocolParamsFile FilePath

Instances

Instances details

Show ProtocolParamsFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ProtocolParamsFile -> ShowS Source # show :: ProtocolParamsFile -> String Source # showList :: [ProtocolParamsFile] -> ShowS Source #
Eq ProtocolParamsFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ProtocolParamsFile -> ProtocolParamsFile -> Bool Source # (/=) :: ProtocolParamsFile -> ProtocolParamsFile -> Bool Source #

data OutputFormatJsonOrText Source #

Constructors

OutputFormatJson
OutputFormatText

Instances

Instances details

Show OutputFormatJsonOrText Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> OutputFormatJsonOrText -> ShowS Source # show :: OutputFormatJsonOrText -> String Source # showList :: [OutputFormatJsonOrText] -> ShowS Source #

data ReferenceScriptAnyEra Source #

Constructors

ReferenceScriptAnyEraNone
ReferenceScriptAnyEra FilePath

Instances

Instances details

Show ReferenceScriptAnyEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ReferenceScriptAnyEra -> ShowS Source # show :: ReferenceScriptAnyEra -> String Source # showList :: [ReferenceScriptAnyEra] -> ShowS Source #
Eq ReferenceScriptAnyEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ReferenceScriptAnyEra -> ReferenceScriptAnyEra -> Bool Source # (/=) :: ReferenceScriptAnyEra -> ReferenceScriptAnyEra -> Bool Source #

newtype ReferenceScriptSize Source #

Constructors

ReferenceScriptSize
Fields unReferenceScriptSize :: Int

Instances

Instances details

Show ReferenceScriptSize Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ReferenceScriptSize -> ShowS Source # show :: ReferenceScriptSize -> String Source # showList :: [ReferenceScriptSize] -> ShowS Source #

data RequiredSigner Source #

Plutus script required signers

Constructors

RequiredSignerSkeyFile (SigningKeyFile 'In)
RequiredSignerHash (Hash PaymentKey)

Instances

Instances details

Show RequiredSigner Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> RequiredSigner -> ShowS Source # show :: RequiredSigner -> String Source # showList :: [RequiredSigner] -> ShowS Source #

data ScriptDataOrFile Source #

Constructors

ScriptDataCborFile FilePath	By reference to a CBOR file
ScriptDataJsonFile FilePath	By reference to a JSON file
ScriptDataValue HashableScriptData	By value

Instances

Instances details

Show ScriptDataOrFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ScriptDataOrFile -> ShowS Source # show :: ScriptDataOrFile -> String Source # showList :: [ScriptDataOrFile] -> ShowS Source #
Eq ScriptDataOrFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: ScriptDataOrFile -> ScriptDataOrFile -> Bool Source # (/=) :: ScriptDataOrFile -> ScriptDataOrFile -> Bool Source #

data ScriptDatumOrFile witctx where Source #

Constructors

ScriptDatumOrFileForTxIn :: Maybe ScriptDataOrFile -> ScriptDatumOrFile WitCtxTxIn
InlineDatumPresentAtTxIn :: ScriptDatumOrFile WitCtxTxIn
NoScriptDatumOrFileForMint :: ScriptDatumOrFile WitCtxMint
NoScriptDatumOrFileForStake :: ScriptDatumOrFile WitCtxStake

Instances

Instances details

Show (ScriptDatumOrFile witctx) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ScriptDatumOrFile witctx -> ShowS Source # show :: ScriptDatumOrFile witctx -> String Source # showList :: [ScriptDatumOrFile witctx] -> ShowS Source #

type ScriptFile = File ScriptInAnyLang 'In Source #

type ScriptRedeemerOrFile = ScriptDataOrFile Source #

data ScriptWitnessFiles witctx where Source #

This type is like ScriptWitness, but the file paths from which to load the script witness data representation.

It is era-independent, but witness context-dependent. NB: This is in the process of being deprecated because it is difficult to accomodate for changes for specific plutus script purposes. As an example when minting a multi-asset with a plutus script we need the policy id of the said script. This is fine when we have access to the plutus script however in the case of a reference script we demand the user provides the policy id. Enshrining that change in the ScriptWitnessFiles is difficult because only minting scripts require this but not the other kinds of plutus scripts (spending, certifying etc.) Another example is CIP-69 where datums are no longer required for spending scripts. This is further complicated by the fact at the parsing level we make user facing simplifications e.g `--mint-script-file` which says nothing about the script type (simple vs plutus) or script version. As a result need to separate the different script purposes into their own separate data definitions where we can make changes specific to that script purpose more easily without affecting the rest of the api.

Constructors

SimpleScriptWitnessFile :: forall witctx. ScriptFile -> ScriptWitnessFiles witctx
PlutusScriptWitnessFiles :: forall witctx. ScriptFile -> ScriptDatumOrFile witctx -> ScriptRedeemerOrFile -> ExecutionUnits -> ScriptWitnessFiles witctx
PlutusReferenceScriptWitnessFiles
Fields :: forall witctx. TxIn -> AnyPlutusScriptVersion -> ScriptDatumOrFile witctx -> ScriptRedeemerOrFile -> ExecutionUnits For minting reference scripts -> ScriptWitnessFiles witctx
SimpleReferenceScriptWitnessFiles :: forall witctx. TxIn -> AnyScriptLanguage -> ScriptWitnessFiles witctx

Instances

Instances details

Show (ScriptWitnessFiles witctx) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ScriptWitnessFiles witctx -> ShowS Source # show :: ScriptWitnessFiles witctx -> String Source # showList :: [ScriptWitnessFiles witctx] -> ShowS Source #

type SigningKeyFile = File (SigningKey ()) Source #

newtype SlotsTillKesKeyExpiry Source #

Constructors

SlotsTillKesKeyExpiry
Fields unSlotsTillKesKeyExpiry :: SlotNo

Instances

Instances details

FromJSON SlotsTillKesKeyExpiry Source #
Instance details Defined in Cardano.CLI.Types.Common Methods parseJSON :: Value -> Parser SlotsTillKesKeyExpiry Source # parseJSONList :: Value -> Parser [SlotsTillKesKeyExpiry] Source # omittedField :: Maybe SlotsTillKesKeyExpiry Source #
ToJSON SlotsTillKesKeyExpiry Source #
Instance details Defined in Cardano.CLI.Types.Common Methods toJSON :: SlotsTillKesKeyExpiry -> Value Source # toEncoding :: SlotsTillKesKeyExpiry -> Encoding Source # toJSONList :: [SlotsTillKesKeyExpiry] -> Value Source # toEncodingList :: [SlotsTillKesKeyExpiry] -> Encoding Source # omitField :: SlotsTillKesKeyExpiry -> Bool Source #
Show SlotsTillKesKeyExpiry Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> SlotsTillKesKeyExpiry -> ShowS Source # show :: SlotsTillKesKeyExpiry -> String Source # showList :: [SlotsTillKesKeyExpiry] -> ShowS Source #
Eq SlotsTillKesKeyExpiry Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: SlotsTillKesKeyExpiry -> SlotsTillKesKeyExpiry -> Bool Source # (/=) :: SlotsTillKesKeyExpiry -> SlotsTillKesKeyExpiry -> Bool Source #

data SomeKeyFile (direction :: FileDirection) Source #

Either a verification or signing key, used for conversions and other commands that make sense for both.

Constructors

AVerificationKeyFile (VerificationKeyFile direction)
ASigningKeyFile (SigningKeyFile direction)

Instances

Instances details

Show (SomeKeyFile direction) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> SomeKeyFile direction -> ShowS Source # show :: SomeKeyFile direction -> String Source # showList :: [SomeKeyFile direction] -> ShowS Source #

data StakeDelegators Source #

Constructors

StakeDelegators
Fields stakeDelegatorsGenerationMode :: !CredentialGenerationMode Whether to write them to disk numOfStakeDelegators :: !Word The number of stake credentials to generate

Instances

Instances details

Show StakeDelegators Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> StakeDelegators -> ShowS Source # show :: StakeDelegators -> String Source # showList :: [StakeDelegators] -> ShowS Source #

type StakePoolMetadataFile = File StakePoolMetadata Source #

type SupportedSchemes = [AnchorScheme] Source #

Specifies the schemes that are allowed to fetch anchor data.

data TransferDirection Source #

Determines the direction in which the MIR certificate will transfer ADA.

Constructors

TransferToReserves
TransferToTreasury

Instances

Instances details

Show TransferDirection Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TransferDirection -> ShowS Source # show :: TransferDirection -> String Source # showList :: [TransferDirection] -> ShowS Source #

type TxBodyFile = File (TxBody ()) Source #

data TxBuildOutputOptions Source #

Specify whether to render the script cost as JSON in the cli's build command.

Constructors

OutputScriptCostOnly (File () 'Out)
OutputTxBodyOnly (TxBodyFile 'Out)

Instances

Instances details

Show TxBuildOutputOptions Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxBuildOutputOptions -> ShowS Source # show :: TxBuildOutputOptions -> String Source # showList :: [TxBuildOutputOptions] -> ShowS Source #

newtype TxByronWitnessCount Source #

Constructors

TxByronWitnessCount Int

Instances

Instances details

Show TxByronWitnessCount Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxByronWitnessCount -> ShowS Source # show :: TxByronWitnessCount -> String Source # showList :: [TxByronWitnessCount] -> ShowS Source #

type TxFile = File (Tx ()) Source #

newtype TxSubmissionResult Source #

Type used for serialization when printing the hash of a transaction after having submitted it.

Constructors

TxSubmissionResult
Fields txhash :: TxId

Instances

Instances details

FromJSON TxSubmissionResult Source #

Instance details

Defined in Cardano.CLI.Types.Common

Methods

parseJSON :: Value -> Parser TxSubmissionResult Source #

parseJSONList :: Value -> Parser [TxSubmissionResult] Source #

omittedField :: Maybe TxSubmissionResult Source #

ToJSON TxSubmissionResult Source #

Instance details

Defined in Cardano.CLI.Types.Common

Methods

toJSON :: TxSubmissionResult -> Value Source #

toEncoding :: TxSubmissionResult -> Encoding Source #

toJSONList :: [TxSubmissionResult] -> Value Source #

toEncodingList :: [TxSubmissionResult] -> Encoding Source #

omitField :: TxSubmissionResult -> Bool Source #

Generic TxSubmissionResult Source #

Instance details

Defined in Cardano.CLI.Types.Common

Associated Types

type Rep TxSubmissionResult
Instance details Defined in Cardano.CLI.Types.Common type Rep TxSubmissionResult = D1 ('MetaData "TxSubmissionResult" "Cardano.CLI.Types.Common" "cardano-cli-10.1.1.0-inplace" 'True) (C1 ('MetaCons "TxSubmissionResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "txhash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

Methods

from :: TxSubmissionResult -> Rep TxSubmissionResult x Source #

to :: Rep TxSubmissionResult x -> TxSubmissionResult Source #

Show TxSubmissionResult Source #

Instance details

Defined in Cardano.CLI.Types.Common

Methods

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

show :: TxSubmissionResult -> String Source #

showList :: [TxSubmissionResult] -> ShowS Source #

type Rep TxSubmissionResult Source #

Instance details

Defined in Cardano.CLI.Types.Common

type Rep TxSubmissionResult = D1 ('MetaData "TxSubmissionResult" "Cardano.CLI.Types.Common" "cardano-cli-10.1.1.0-inplace" 'True) (C1 ('MetaCons "TxSubmissionResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "txhash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

newtype TxTreasuryDonation Source #

Constructors

TxTreasuryDonation
Fields unTxTreasuryDonation :: Lovelace

Instances

Instances details

Show TxTreasuryDonation Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxTreasuryDonation -> ShowS Source # show :: TxTreasuryDonation -> String Source # showList :: [TxTreasuryDonation] -> ShowS Source #

newtype TxInCount Source #

Constructors

TxInCount Int

Instances

Instances details

Show TxInCount Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxInCount -> ShowS Source # show :: TxInCount -> String Source # showList :: [TxInCount] -> ShowS Source #

data TxMempoolQuery Source #

Constructors

TxMempoolQueryTxExists TxId
TxMempoolQueryNextTx
TxMempoolQueryInfo

Instances

Instances details

Show TxMempoolQuery Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxMempoolQuery -> ShowS Source # show :: TxMempoolQuery -> String Source # showList :: [TxMempoolQuery] -> ShowS Source #

data TxOutAnyEra Source #

A TxOut value that is the superset of possibilities for any era: any address type and allowing multi-asset values. This is used as the type for values passed on the command line. It can be converted into the era-dependent TxOutValue type.

Constructors

TxOutAnyEra AddressAny Value TxOutDatumAnyEra ReferenceScriptAnyEra

Instances

Instances details

Show TxOutAnyEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxOutAnyEra -> ShowS Source # show :: TxOutAnyEra -> String Source # showList :: [TxOutAnyEra] -> ShowS Source #
Eq TxOutAnyEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: TxOutAnyEra -> TxOutAnyEra -> Bool Source # (/=) :: TxOutAnyEra -> TxOutAnyEra -> Bool Source #

data TxOutShelleyBasedEra Source #

Constructors

TxOutShelleyBasedEra !(Address ShelleyAddr) Value TxOutDatumAnyEra ReferenceScriptAnyEra

Instances

Instances details

Show TxOutShelleyBasedEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxOutShelleyBasedEra -> ShowS Source # show :: TxOutShelleyBasedEra -> String Source # showList :: [TxOutShelleyBasedEra] -> ShowS Source #

newtype TxOutChangeAddress Source #

A partially-specified transaction output indented to use as a change output.

It does not specify a value, since this will be worked out automatically.

It does not use any script data hash, since that's generally not used for change outputs.

Constructors

TxOutChangeAddress AddressAny

Instances

Instances details

Show TxOutChangeAddress Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxOutChangeAddress -> ShowS Source # show :: TxOutChangeAddress -> String Source # showList :: [TxOutChangeAddress] -> ShowS Source #
Eq TxOutChangeAddress Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: TxOutChangeAddress -> TxOutChangeAddress -> Bool Source # (/=) :: TxOutChangeAddress -> TxOutChangeAddress -> Bool Source #

newtype TxOutCount Source #

Constructors

TxOutCount Int

Instances

Instances details

Show TxOutCount Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxOutCount -> ShowS Source # show :: TxOutCount -> String Source # showList :: [TxOutCount] -> ShowS Source #

data TxOutDatumAnyEra Source #

Constructors

TxOutDatumByHashOnly (Hash ScriptData)
TxOutDatumByHashOf ScriptDataOrFile
TxOutDatumByValue ScriptDataOrFile
TxOutInlineDatumByValue ScriptDataOrFile
TxOutDatumByNone

Instances

Instances details

Show TxOutDatumAnyEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxOutDatumAnyEra -> ShowS Source # show :: TxOutDatumAnyEra -> String Source # showList :: [TxOutDatumAnyEra] -> ShowS Source #
Eq TxOutDatumAnyEra Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: TxOutDatumAnyEra -> TxOutDatumAnyEra -> Bool Source # (/=) :: TxOutDatumAnyEra -> TxOutDatumAnyEra -> Bool Source #

newtype TxShelleyWitnessCount Source #

Constructors

TxShelleyWitnessCount Int

Instances

Instances details

Show TxShelleyWitnessCount Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> TxShelleyWitnessCount -> ShowS Source # show :: TxShelleyWitnessCount -> String Source # showList :: [TxShelleyWitnessCount] -> ShowS Source #

newtype UpdateProposalFile Source #

Constructors

UpdateProposalFile
Fields unUpdateProposalFile :: FilePath

Instances

Instances details

Show UpdateProposalFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> UpdateProposalFile -> ShowS Source # show :: UpdateProposalFile -> String Source # showList :: [UpdateProposalFile] -> ShowS Source #
Eq UpdateProposalFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: UpdateProposalFile -> UpdateProposalFile -> Bool Source # (/=) :: UpdateProposalFile -> UpdateProposalFile -> Bool Source #

newtype VerificationKeyBase64 Source #

A raw verification key given in Base64, and decoded into a ByteString.

Constructors

VerificationKeyBase64 String

Instances

Instances details

Show VerificationKeyBase64 Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> VerificationKeyBase64 -> ShowS Source # show :: VerificationKeyBase64 -> String Source # showList :: [VerificationKeyBase64] -> ShowS Source #

type VerificationKeyFile = File (VerificationKey ()) Source #

data ViewOutputFormat Source #

Constructors

ViewOutputFormatJson
ViewOutputFormatYaml

Instances

Instances details

Show ViewOutputFormat Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> ViewOutputFormat -> ShowS Source # show :: ViewOutputFormat -> String Source # showList :: [ViewOutputFormat] -> ShowS Source #

newtype VoteUrl Source #

Constructors

VoteUrl
Fields unVoteUrl :: Url

Instances

Instances details

Show VoteUrl Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> VoteUrl -> ShowS Source # show :: VoteUrl -> String Source # showList :: [VoteUrl] -> ShowS Source #
Eq VoteUrl Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: VoteUrl -> VoteUrl -> Bool Source # (/=) :: VoteUrl -> VoteUrl -> Bool Source #

newtype VoteText Source #

Constructors

VoteText
Fields unVoteText :: Text

Instances

Instances details

Show VoteText Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> VoteText -> ShowS Source # show :: VoteText -> String Source # showList :: [VoteText] -> ShowS Source #
Eq VoteText Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: VoteText -> VoteText -> Bool Source # (/=) :: VoteText -> VoteText -> Bool Source #

data VoteHashSource Source #

Constructors

VoteHashSourceFile (File VoteText 'In)
VoteHashSourceText Text
VoteHashSourceHash (SafeHash StandardCrypto AnchorData)

Instances

Instances details

Show VoteHashSource Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> VoteHashSource -> ShowS Source # show :: VoteHashSource -> String Source # showList :: [VoteHashSource] -> ShowS Source #

newtype WitnessFile Source #

Constructors

WitnessFile FilePath

Instances

Instances details

Show WitnessFile Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> WitnessFile -> ShowS Source # show :: WitnessFile -> String Source # showList :: [WitnessFile] -> ShowS Source #

data WitnessSigningData Source #

Data required to construct a witness.

Constructors

KeyWitnessSigningData
Fields !(SigningKeyFile 'In) Path to a file that should contain a signing key. !(Maybe (Address ByronAddr)) An optionally specified Byron address. If specified, both the network ID and derivation path are extracted from the address and used in the construction of the Byron witness.

Instances

Instances details

Show WitnessSigningData Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> WitnessSigningData -> ShowS Source # show :: WitnessSigningData -> String Source # showList :: [WitnessSigningData] -> ShowS Source #

type DRepMetadataFile = File DRepMetadata Source #

data DRepMetadataUrl Source #

Tag for differentiating between DRep metadata sources and sources for other types of anchor data

data ResignationMetadataUrl Source #

Tag for differentiating between resignation metadatata sources and sources for other types of anchor data

data PotentiallyCheckedAnchor anchorType anchor Source #

Constructors

PotentiallyCheckedAnchor
Fields pcaAnchor :: anchor The anchor data whose hash is to be checked pcaMustCheck :: MustCheckHash anchorType Whether to check the hash or not (CheckHash for checking or TrustHash for not checking)

Instances

Instances details

Show anchor => Show (PotentiallyCheckedAnchor anchorType anchor) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods showsPrec :: Int -> PotentiallyCheckedAnchor anchorType anchor -> ShowS Source # show :: PotentiallyCheckedAnchor anchorType anchor -> String Source # showList :: [PotentiallyCheckedAnchor anchorType anchor] -> ShowS Source #
Eq anchor => Eq (PotentiallyCheckedAnchor anchorType anchor) Source #
Instance details Defined in Cardano.CLI.Types.Common Methods (==) :: PotentiallyCheckedAnchor anchorType anchor -> PotentiallyCheckedAnchor anchorType anchor -> Bool Source # (/=) :: PotentiallyCheckedAnchor anchorType anchor -> PotentiallyCheckedAnchor anchorType anchor -> Bool Source #