Safe Haskell	None
Language	Haskell2010

Cardano.CLI.Types.Key

Description

Shelley CLI option data types and functions for cryptographic keys.

Synopsis

data VerificationKeyOrFile keyrole
- = VerificationKeyValue !(VerificationKey keyrole)
- | VerificationKeyFilePath !(VerificationKeyFile 'In)
readVerificationKeyOrFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, HasTextEnvelope (VerificationKey keyrole), SerialiseAsBech32 (VerificationKey keyrole)) => AsType keyrole -> VerificationKeyOrFile keyrole -> t m (VerificationKey keyrole)
readVerificationKeyOrTextEnvFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, HasTextEnvelope (VerificationKey keyrole)) => AsType keyrole -> VerificationKeyOrFile keyrole -> t m (VerificationKey keyrole)
data VerificationKeyTextOrFile
- = VktofVerificationKeyText !Text
- | VktofVerificationKeyFile !(VerificationKeyFile 'In)
data VerificationKeyTextOrFileError
- = VerificationKeyTextError !InputDecodeError
- | VerificationKeyFileError !(FileError InputDecodeError)
readVerificationKeyTextOrFileAnyOf :: VerificationKeyTextOrFile -> IO (Either VerificationKeyTextOrFileError SomeAddressVerificationKey)
renderVerificationKeyTextOrFileError :: VerificationKeyTextOrFileError -> Doc ann
data VerificationKeyOrHashOrFile keyrole
- = VerificationKeyOrFile !(VerificationKeyOrFile keyrole)
- | VerificationKeyHash !(Hash keyrole)
readVerificationKeyOrHashOrFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, Key keyrole, SerialiseAsBech32 (VerificationKey keyrole)) => AsType keyrole -> VerificationKeyOrHashOrFile keyrole -> t m (Hash keyrole)
readVerificationKeyOrHashOrTextEnvFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, Key keyrole) => AsType keyrole -> VerificationKeyOrHashOrFile keyrole -> t m (Hash keyrole)
data VerificationKeyOrHashOrFileOrScript keyrole
- = VkhfsKeyHashFile !(VerificationKeyOrHashOrFile keyrole)
- | VkhfsScript !(File ScriptInAnyLang 'In)
data VerificationKeyOrHashOrFileOrScriptHash keyrole
- = VkhfshKeyHashFile !(VerificationKeyOrHashOrFile keyrole)
- | VkhfshScriptHash !ScriptHash
data VerificationKeySource keyrole
- = VksKeyHashFile !(VerificationKeyOrHashOrFile keyrole)
- | VksScript !(File ScriptInAnyLang 'In)
- | VksScriptHash !ScriptHash
readVerificationKeyOrHashOrFileOrScriptHash :: forall t (m :: Type -> Type) keyrole (kr :: KeyRole). (MonadIOTransError (FileError InputDecodeError) t m, Key keyrole) => AsType keyrole -> (Hash keyrole -> KeyHash kr StandardCrypto) -> VerificationKeyOrHashOrFileOrScriptHash keyrole -> t m (Credential kr StandardCrypto)
data PaymentVerifier
- = PaymentVerifierKey VerificationKeyTextOrFile
- | PaymentVerifierScriptFile ScriptFile
data StakeIdentifier
- = StakeIdentifierVerifier StakeVerifier
- | StakeIdentifierAddress StakeAddress
data StakeVerifier
- = StakeVerifierKey (VerificationKeyOrHashOrFile StakeKey)
- | StakeVerifierScriptFile ScriptFile
generateKeyPair :: (MonadIO m, Key keyrole, HasTypeProxy keyrole) => AsType keyrole -> m (VerificationKey keyrole, SigningKey keyrole)
data StakePoolRegistrationParserRequirements = StakePoolRegistrationParserRequirements {
- sprStakePoolKey :: VerificationKeyOrFile StakePoolKey
- sprVrfKey :: VerificationKeyOrFile VrfKey
- sprPoolPledge :: Lovelace
- sprPoolCost :: Lovelace
- sprPoolMargin :: Rational
- sprRewardAccountKey :: VerificationKeyOrFile StakeKey
- spoPoolOwnerKeys :: [VerificationKeyOrFile StakeKey]
- sprRelays :: [StakePoolRelay]
- sprMetadata :: Maybe (PotentiallyCheckedAnchor StakePoolMetadataReference StakePoolMetadataReference)
- sprNetworkId :: NetworkId
}
data AnyDelegationTarget where
- ShelleyToBabbageDelegTarget :: forall era. ShelleyToBabbageEra era -> VerificationKeyOrHashOrFile StakePoolKey -> AnyDelegationTarget
- ConwayOnwardDelegTarget :: forall era. ConwayEraOnwards era -> StakeTarget era -> AnyDelegationTarget
data StakeTarget era where
- TargetStakePool :: forall era. ConwayEraOnwards era -> VerificationKeyOrHashOrFile StakePoolKey -> StakeTarget era
- TargetVotingDrep :: forall era. ConwayEraOnwards era -> VerificationKeyOrHashOrFile DRepKey -> StakeTarget era
- TargetVotingDrepAndStakePool :: forall era. ConwayEraOnwards era -> VerificationKeyOrHashOrFile DRepKey -> VerificationKeyOrHashOrFile StakePoolKey -> StakeTarget era
- TargetAlwaysAbstain :: forall era. ConwayEraOnwards era -> StakeTarget era
- TargetAlwaysNoConfidence :: forall era. ConwayEraOnwards era -> StakeTarget era
- TargetVotingDRepScriptHash :: forall era. ConwayEraOnwards era -> ScriptHash -> StakeTarget era
data ColdVerificationKeyOrFile
- = ColdStakePoolVerificationKey !(VerificationKey StakePoolKey)
- | ColdGenesisDelegateVerificationKey !(VerificationKey GenesisDelegateKey)
- | ColdVerificationKeyFile !(VerificationKeyFile 'In)
data DRepHashSource
- = DRepHashSourceScript ScriptHash
- | DRepHashSourceVerificationKey (VerificationKeyOrHashOrFile DRepKey)
readDRepCredential :: forall t (m :: Type -> Type). MonadIOTransError (FileError InputDecodeError) t m => DRepHashSource -> t m (Credential 'DRepRole StandardCrypto)
newtype SPOHashSource = SPOHashSourceVerificationKey (VerificationKeyOrHashOrFile StakePoolKey)
readSPOCredential :: forall t (m :: Type -> Type). MonadIOTransError (FileError InputDecodeError) t m => SPOHashSource -> t m (KeyHash 'StakePool StandardCrypto)
data SomeSigningKey
- = AByronSigningKey (SigningKey ByronKey)
- | APaymentSigningKey (SigningKey PaymentKey)
- | APaymentExtendedSigningKey (SigningKey PaymentExtendedKey)
- | AStakeSigningKey (SigningKey StakeKey)
- | AStakeExtendedSigningKey (SigningKey StakeExtendedKey)
- | AStakePoolSigningKey (SigningKey StakePoolKey)
- | AGenesisSigningKey (SigningKey GenesisKey)
- | AGenesisExtendedSigningKey (SigningKey GenesisExtendedKey)
- | AGenesisDelegateSigningKey (SigningKey GenesisDelegateKey)
- | AGenesisDelegateExtendedSigningKey (SigningKey GenesisDelegateExtendedKey)
- | AGenesisUTxOSigningKey (SigningKey GenesisUTxOKey)
- | ADRepSigningKey (SigningKey DRepKey)
- | ADRepExtendedSigningKey (SigningKey DRepExtendedKey)
- | ACommitteeColdSigningKey (SigningKey CommitteeColdKey)
- | ACommitteeColdExtendedSigningKey (SigningKey CommitteeColdExtendedKey)
- | ACommitteeHotSigningKey (SigningKey CommitteeHotKey)
- | ACommitteeHotExtendedSigningKey (SigningKey CommitteeHotExtendedKey)
- | AVrfSigningKey (SigningKey VrfKey)
- | AKesSigningKey (SigningKey KesKey)
withSomeSigningKey :: SomeSigningKey -> (forall keyrole. (Key keyrole, HasTypeProxy keyrole) => SigningKey keyrole -> a) -> a
readSigningKeyFile :: SigningKeyFile 'In -> ExceptT (FileError InputDecodeError) IO SomeSigningKey

Documentation

data VerificationKeyOrFile keyrole Source #

Either a verification key or path to a verification key file.

Constructors

VerificationKeyValue !(VerificationKey keyrole)	A verification key.
VerificationKeyFilePath !(VerificationKeyFile 'In)	A path to a verification key file. Note that this file hasn't been validated at all (whether it exists, contains a key of the correct type, etc.)

Instances

Instances details

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

readVerificationKeyOrFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, HasTextEnvelope (VerificationKey keyrole), SerialiseAsBech32 (VerificationKey keyrole)) => AsType keyrole -> VerificationKeyOrFile keyrole -> t m (VerificationKey keyrole) Source #

Read a verification key or verification key file and return a verification key.

If a filepath is provided, the file can either be formatted as Bech32, hex, or text envelope.

readVerificationKeyOrTextEnvFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, HasTextEnvelope (VerificationKey keyrole)) => AsType keyrole -> VerificationKeyOrFile keyrole -> t m (VerificationKey keyrole) Source #

Read a verification key or verification key file and return a verification key.

If a filepath is provided, it will be interpreted as a text envelope formatted file.

data VerificationKeyTextOrFile Source #

Either an unvalidated text representation of a verification key or a path to a verification key file.

Constructors

VktofVerificationKeyText !Text
VktofVerificationKeyFile !(VerificationKeyFile 'In)

Instances

Instances details

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

data VerificationKeyTextOrFileError Source #

An error in deserialising a VerificationKeyTextOrFile to a VerificationKey.

Constructors

VerificationKeyTextError !InputDecodeError
VerificationKeyFileError !(FileError InputDecodeError)

Instances

Instances details

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

readVerificationKeyTextOrFileAnyOf :: VerificationKeyTextOrFile -> IO (Either VerificationKeyTextOrFileError SomeAddressVerificationKey) Source #

Deserialise a verification key from text or a verification key file. If a filepath is provided, the file can either be formatted as Bech32, hex, or text envelope.

renderVerificationKeyTextOrFileError :: VerificationKeyTextOrFileError -> Doc ann Source #

Render an error message for a VerificationKeyTextOrFileError.

data VerificationKeyOrHashOrFile keyrole Source #

Verification key, verification key hash, or path to a verification key file.

Constructors

VerificationKeyOrFile !(VerificationKeyOrFile keyrole)	Either a verification key or path to a verification key file.
VerificationKeyHash !(Hash keyrole)	A verification key hash.

Instances

Instances details

(Show (VerificationKeyOrFile keyrole), Show (Hash keyrole)) => Show (VerificationKeyOrHashOrFile keyrole) Source #
Instance details Defined in Cardano.CLI.Types.Key Methods showsPrec :: Int -> VerificationKeyOrHashOrFile keyrole -> ShowS Source # show :: VerificationKeyOrHashOrFile keyrole -> String Source # showList :: [VerificationKeyOrHashOrFile keyrole] -> ShowS Source #
(Eq (VerificationKeyOrFile keyrole), Eq (Hash keyrole)) => Eq (VerificationKeyOrHashOrFile keyrole) Source #
Instance details Defined in Cardano.CLI.Types.Key Methods (==) :: VerificationKeyOrHashOrFile keyrole -> VerificationKeyOrHashOrFile keyrole -> Bool Source # (/=) :: VerificationKeyOrHashOrFile keyrole -> VerificationKeyOrHashOrFile keyrole -> Bool Source #

readVerificationKeyOrHashOrFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, Key keyrole, SerialiseAsBech32 (VerificationKey keyrole)) => AsType keyrole -> VerificationKeyOrHashOrFile keyrole -> t m (Hash keyrole) Source #

Read a verification key or verification key hash or verification key file and return a verification key hash.

If a filepath is provided, the file can either be formatted as Bech32, hex, or text envelope.

readVerificationKeyOrHashOrTextEnvFile :: forall t (m :: Type -> Type) keyrole. (MonadIOTransError (FileError InputDecodeError) t m, Key keyrole) => AsType keyrole -> VerificationKeyOrHashOrFile keyrole -> t m (Hash keyrole) Source #

Read a verification key or verification key hash or verification key file and return a verification key hash.

If a filepath is provided, it will be interpreted as a text envelope formatted file.

data VerificationKeyOrHashOrFileOrScript keyrole Source #

Constructors

VkhfsKeyHashFile !(VerificationKeyOrHashOrFile keyrole)
VkhfsScript !(File ScriptInAnyLang 'In)

Instances

Instances details

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

data VerificationKeyOrHashOrFileOrScriptHash keyrole Source #

Constructors

VkhfshKeyHashFile !(VerificationKeyOrHashOrFile keyrole)
VkhfshScriptHash !ScriptHash

Instances

Instances details

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

data VerificationKeySource keyrole Source #

Constructors

VksKeyHashFile !(VerificationKeyOrHashOrFile keyrole)
VksScript !(File ScriptInAnyLang 'In)
VksScriptHash !ScriptHash

Instances

Instances details

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

readVerificationKeyOrHashOrFileOrScriptHash :: forall t (m :: Type -> Type) keyrole (kr :: KeyRole). (MonadIOTransError (FileError InputDecodeError) t m, Key keyrole) => AsType keyrole -> (Hash keyrole -> KeyHash kr StandardCrypto) -> VerificationKeyOrHashOrFileOrScriptHash keyrole -> t m (Credential kr StandardCrypto) Source #

data PaymentVerifier Source #

Constructors

PaymentVerifierKey VerificationKeyTextOrFile
PaymentVerifierScriptFile ScriptFile

Instances

Instances details

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

data StakeIdentifier Source #

Constructors

StakeIdentifierVerifier StakeVerifier
StakeIdentifierAddress StakeAddress

Instances

Instances details

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

data StakeVerifier Source #

Constructors

StakeVerifierKey (VerificationKeyOrHashOrFile StakeKey)
StakeVerifierScriptFile ScriptFile

Instances

Instances details

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

generateKeyPair :: (MonadIO m, Key keyrole, HasTypeProxy keyrole) => AsType keyrole -> m (VerificationKey keyrole, SigningKey keyrole) Source #

data StakePoolRegistrationParserRequirements Source #

Constructors

StakePoolRegistrationParserRequirements

Fields

sprStakePoolKey :: VerificationKeyOrFile StakePoolKey
Stake pool verification key.
sprVrfKey :: VerificationKeyOrFile VrfKey
VRF Verification key.
sprPoolPledge :: Lovelace
Pool pledge.
sprPoolCost :: Lovelace
Pool cost.
sprPoolMargin :: Rational
Pool margin.
sprRewardAccountKey :: VerificationKeyOrFile StakeKey
Reward account verification staking key.
spoPoolOwnerKeys :: [VerificationKeyOrFile StakeKey]
Pool owner verification staking key(s).
sprRelays :: [StakePoolRelay]
Stake pool relays.
sprMetadata :: Maybe (PotentiallyCheckedAnchor StakePoolMetadataReference StakePoolMetadataReference)
Stake pool metadata.
sprNetworkId :: NetworkId

data AnyDelegationTarget where Source #

A resource that identifies the delegation target. We can delegate our stake for two reasons: 1. To gain rewards. This is limited to choosing a stake pool 2. To delegate voting power. We can delegate this to a DRep, always abstain our vote or vote no confidence

Constructors

ShelleyToBabbageDelegTarget
Fields :: forall era. ShelleyToBabbageEra era -> VerificationKeyOrHashOrFile StakePoolKey Stake pool target -> AnyDelegationTarget
ConwayOnwardDelegTarget :: forall era. ConwayEraOnwards era -> StakeTarget era -> AnyDelegationTarget

Instances

Instances details

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

data StakeTarget era where Source #

Constructors

TargetStakePool :: forall era. ConwayEraOnwards era -> VerificationKeyOrHashOrFile StakePoolKey -> StakeTarget era
TargetVotingDrep :: forall era. ConwayEraOnwards era -> VerificationKeyOrHashOrFile DRepKey -> StakeTarget era
TargetVotingDrepAndStakePool :: forall era. ConwayEraOnwards era -> VerificationKeyOrHashOrFile DRepKey -> VerificationKeyOrHashOrFile StakePoolKey -> StakeTarget era
TargetAlwaysAbstain :: forall era. ConwayEraOnwards era -> StakeTarget era
TargetAlwaysNoConfidence :: forall era. ConwayEraOnwards era -> StakeTarget era
TargetVotingDRepScriptHash :: forall era. ConwayEraOnwards era -> ScriptHash -> StakeTarget era

Instances

Instances details

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

data ColdVerificationKeyOrFile Source #

Either a stake pool verification key, genesis delegate verification key, or a path to a cold verification key file.

Note that a "cold verification key" refers to either a stake pool or genesis delegate verification key.

TODO: A genesis delegate extended key should also be valid here.

Constructors

ColdStakePoolVerificationKey !(VerificationKey StakePoolKey)
ColdGenesisDelegateVerificationKey !(VerificationKey GenesisDelegateKey)
ColdVerificationKeyFile !(VerificationKeyFile 'In)

Instances

Instances details

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

data DRepHashSource Source #

Constructors

DRepHashSourceScript ScriptHash
DRepHashSourceVerificationKey (VerificationKeyOrHashOrFile DRepKey)

Instances

Instances details

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

readDRepCredential :: forall t (m :: Type -> Type). MonadIOTransError (FileError InputDecodeError) t m => DRepHashSource -> t m (Credential 'DRepRole StandardCrypto) Source #

newtype SPOHashSource Source #

Constructors

SPOHashSourceVerificationKey (VerificationKeyOrHashOrFile StakePoolKey)

Instances

Instances details

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

readSPOCredential :: forall t (m :: Type -> Type). MonadIOTransError (FileError InputDecodeError) t m => SPOHashSource -> t m (KeyHash 'StakePool StandardCrypto) Source #

data SomeSigningKey Source #

Constructors

AByronSigningKey (SigningKey ByronKey)
APaymentSigningKey (SigningKey PaymentKey)
APaymentExtendedSigningKey (SigningKey PaymentExtendedKey)
AStakeSigningKey (SigningKey StakeKey)
AStakeExtendedSigningKey (SigningKey StakeExtendedKey)
AStakePoolSigningKey (SigningKey StakePoolKey)
AGenesisSigningKey (SigningKey GenesisKey)
AGenesisExtendedSigningKey (SigningKey GenesisExtendedKey)
AGenesisDelegateSigningKey (SigningKey GenesisDelegateKey)
AGenesisDelegateExtendedSigningKey (SigningKey GenesisDelegateExtendedKey)
AGenesisUTxOSigningKey (SigningKey GenesisUTxOKey)
ADRepSigningKey (SigningKey DRepKey)
ADRepExtendedSigningKey (SigningKey DRepExtendedKey)
ACommitteeColdSigningKey (SigningKey CommitteeColdKey)
ACommitteeColdExtendedSigningKey (SigningKey CommitteeColdExtendedKey)
ACommitteeHotSigningKey (SigningKey CommitteeHotKey)
ACommitteeHotExtendedSigningKey (SigningKey CommitteeHotExtendedKey)
AVrfSigningKey (SigningKey VrfKey)
AKesSigningKey (SigningKey KesKey)

withSomeSigningKey :: SomeSigningKey -> (forall keyrole. (Key keyrole, HasTypeProxy keyrole) => SigningKey keyrole -> a) -> a Source #

readSigningKeyFile :: SigningKeyFile 'In -> ExceptT (FileError InputDecodeError) IO SomeSigningKey Source #