cardano-api-1.22.1
Safe HaskellNone
LanguageHaskell2010

Cardano.API

Description

This module provides a library interface for interacting with Cardano as a user of the system.

It is intended to be the complete API covering everything but without exposing constructors that reveal any lower level types.

In the interest of simplicity it glosses over some details of the system. Most simple tools should be able to work just using this interface, however you can go deeper and expose the types from the underlying libraries using Cardano.Api.Byron or Cardano.Api.Shelley.

Synopsis

Documentation

class HasTypeProxy t where Source #

Associated Types

data 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

Methods

proxyToAsType :: Proxy t -> AsType t Source #

Instances

Instances details
HasTypeProxy VrfKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType VrfKey Source #

HasTypeProxy KesKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType KesKey Source #

HasTypeProxy StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakePoolKey Source #

HasTypeProxy GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisUTxOKey Source #

HasTypeProxy GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisDelegateKey Source #

HasTypeProxy GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisExtendedKey Source #

HasTypeProxy GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisKey Source #

HasTypeProxy StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakeExtendedKey Source #

HasTypeProxy StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakeKey Source #

HasTypeProxy PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType PaymentExtendedKey Source #

HasTypeProxy PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType PaymentKey Source #

HasTypeProxy ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType ByronKey Source #

HasTypeProxy OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType OperationalCertificate Source #

HasTypeProxy UpdateProposal Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType UpdateProposal Source #

HasTypeProxy TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType TxMetadata Source #

HasTypeProxy StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakePoolMetadata Source #

HasTypeProxy Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType Certificate Source #

HasTypeProxy Script Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType Script Source #

HasTypeProxy TxId Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType TxId Source #

HasTypeProxy StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakeAddress Source #

HasTypeProxy (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Witness Shelley) Source #

HasTypeProxy (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Witness Byron) Source #

HasTypeProxy (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Tx Shelley) Source #

HasTypeProxy (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Tx Byron) Source #

HasTypeProxy (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (TxBody Shelley) Source #

HasTypeProxy (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (TxBody Byron) Source #

HasTypeProxy (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Address Shelley) Source #

HasTypeProxy (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Address Byron) Source #

HasTypeProxy a => HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Hash a) Source #

Methods

proxyToAsType :: Proxy (Hash a) -> AsType (Hash a) Source #

HasTypeProxy a => HasTypeProxy (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (VerificationKey a) Source #

Methods

proxyToAsType :: Proxy (VerificationKey a) -> AsType (VerificationKey a) Source #

HasTypeProxy a => HasTypeProxy (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (SigningKey a) Source #

Methods

proxyToAsType :: Proxy (SigningKey a) -> AsType (SigningKey a) Source #

Cryptographic key interface

class (Eq (VerificationKey keyrole), Show (VerificationKey keyrole), SerialiseAsRawBytes (Hash keyrole), HasTextEnvelope (VerificationKey keyrole), HasTextEnvelope (SigningKey keyrole)) => Key keyrole Source #

An interface for cryptographic keys used for signatures with a SigningKey and a VerificationKey key.

This interface does not provide actual signing or verifying functions since this API is concerned with the management of keys: generating and serialising.

Instances

Instances details
Key VrfKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey VrfKey

data SigningKey VrfKey

Key KesKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey KesKey

data SigningKey KesKey

Key StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey StakePoolKey

data SigningKey StakePoolKey

Key GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisUTxOKey

data SigningKey GenesisUTxOKey

Key GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisDelegateExtendedKey

data SigningKey GenesisDelegateExtendedKey

Key GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisDelegateKey

data SigningKey GenesisDelegateKey

Key GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisExtendedKey

data SigningKey GenesisExtendedKey

Key GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisKey

data SigningKey GenesisKey

Key StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey StakeExtendedKey

data SigningKey StakeExtendedKey

Key StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey StakeKey

data SigningKey StakeKey

Key PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey PaymentExtendedKey

data SigningKey PaymentExtendedKey

Key PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey PaymentKey

data SigningKey PaymentKey

Key ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey ByronKey

data SigningKey ByronKey

getVerificationKey :: Key keyrole => SigningKey keyrole -> VerificationKey keyrole Source #

Get the corresponding verification key from a signing key.

verificationKeyHash :: Key keyrole => VerificationKey keyrole -> Hash keyrole Source #

castVerificationKey :: CastVerificationKeyRole keyroleA keyroleB => VerificationKey keyroleA -> VerificationKey keyroleB Source #

Change the role of a VerificationKey, if the representation permits.

castSigningKey :: CastSigningKeyRole keyroleA keyroleB => SigningKey keyroleA -> SigningKey keyroleB Source #

Change the role of a SigningKey, if the representation permits.

Generating keys

generateSigningKey :: Key keyrole => AsType keyrole -> IO (SigningKey keyrole) Source #

Generate a SigningKey using a seed from operating system entropy.

deterministicSigningKey :: Key keyrole => AsType keyrole -> Seed -> SigningKey keyrole Source #

Generate a SigningKey deterministically, given a Seed. The required size of the seed is given by deterministicSigningKeySeedSize.

Hashes

In Cardano most keys are identified by their hash, and hashes are used in many other places.

data family Hash keyrole :: Type Source #

Instances

Instances details
Eq (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

ToJSON (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy a => HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Hash a) Source #

Methods

proxyToAsType :: Proxy (Hash a) -> AsType (Hash a) Source #

newtype Hash VrfKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash KesKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash Script Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType (Hash a) = AsHash (AsType a)

castHash :: CastHash keyroleA keyroleB => Hash keyroleA -> Hash keyroleB Source #

Payment addresses

Constructing and inspecting normal payment addresses

data Address era Source #

Instances

Instances details
Eq (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAddress (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAddress (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Address Shelley) Source #

HasTypeProxy (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Address Byron) Source #

data AsType (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

data NetworkId Source #

Constructors

Mainnet 
Testnet !NetworkMagic 

Instances

Instances details
Eq NetworkId Source # 
Instance details

Defined in Cardano.Api.Typed

Show NetworkId Source # 
Instance details

Defined in Cardano.Api.Typed

Byron addresses

makeByronAddress :: NetworkId -> VerificationKey ByronKey -> Address era Source #

data ByronKey Source #

Byron-era payment keys. Used for Byron addresses and witnessing transactions that spend from these addresses.

These use Ed25519 but with a 32byte "chaincode" used in HD derivation. The inclusion of the chaincode is a design mistake but one that cannot be corrected for the Byron era. The Shelley era PaymentKeys do not include a chaincode. It is safe to use a zero or random chaincode for new Byron keys.

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
Key ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey ByronKey

data SigningKey ByronKey

HasTypeProxy ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType ByronKey Source #

Eq (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey ByronKey -> VerificationKey ByronKey -> Bool #

(/=) :: VerificationKey ByronKey -> VerificationKey ByronKey -> Bool #

Ord (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey ByronKey -> ShowS #

show :: VerificationKey ByronKey -> String #

showList :: [VerificationKey ByronKey] -> ShowS #

Show (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey ByronKey -> ShowS #

show :: SigningKey ByronKey -> String #

showList :: [SigningKey ByronKey] -> ShowS #

IsString (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey ByronKey #

IsString (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey ByronKey #

ToCBOR (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey ByronKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey ByronKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey ByronKey] -> Size Source #

ToCBOR (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey ByronKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey ByronKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey ByronKey] -> Size Source #

FromCBOR (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey ByronKey) Source #

label :: Proxy (VerificationKey ByronKey) -> Text Source #

FromCBOR (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey ByronKey) Source #

label :: Proxy (SigningKey ByronKey) -> Text Source #

HasTextEnvelope (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey ByronKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey ByronKey) -> [Text]

SerialiseAsBech32 (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey ByronKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey ByronKey) -> [Text]

SerialiseAsRawBytes (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey ByronKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey ByronKey) -> ByteString -> Maybe (VerificationKey ByronKey) Source #

SerialiseAsRawBytes (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey ByronKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey ByronKey) -> ByteString -> Either DecoderError (VerificationKey ByronKey) Source #

SerialiseAsCBOR (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey ByronKey = ByronSigningKey SigningKey
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Typed

Shelley addresses

data PaymentKey Source #

Shelley-era payment keys. Used for Shelley payment addresses and witnessing transactions that spend from these addresses.

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
Key PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey PaymentKey

data SigningKey PaymentKey

HasTypeProxy PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType PaymentKey Source #

Eq (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey PaymentKey -> VerificationKey PaymentKey -> Bool #

(/=) :: VerificationKey PaymentKey -> VerificationKey PaymentKey -> Bool #

Ord (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey PaymentKey -> ShowS #

show :: VerificationKey PaymentKey -> String #

showList :: [VerificationKey PaymentKey] -> ShowS #

Show (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey PaymentKey -> ShowS #

show :: SigningKey PaymentKey -> String #

showList :: [SigningKey PaymentKey] -> ShowS #

IsString (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey PaymentKey #

IsString (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey PaymentKey #

ToCBOR (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey PaymentKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey PaymentKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey PaymentKey] -> Size Source #

ToCBOR (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey PaymentKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey PaymentKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey PaymentKey] -> Size Source #

FromCBOR (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey PaymentKey) Source #

label :: Proxy (VerificationKey PaymentKey) -> Text Source #

FromCBOR (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey PaymentKey) Source #

label :: Proxy (SigningKey PaymentKey) -> Text Source #

HasTextEnvelope (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey PaymentKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey PaymentKey) -> [Text]

SerialiseAsBech32 (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey PaymentKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey PaymentKey) -> [Text]

SerialiseAsRawBytes (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey PaymentKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey PaymentKey) -> ByteString -> Maybe (VerificationKey PaymentKey) Source #

SerialiseAsRawBytes (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey PaymentKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey PaymentKey) -> ByteString -> Either DecoderError (VerificationKey PaymentKey) Source #

SerialiseAsCBOR (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Typed

data PaymentExtendedKey Source #

Shelley-era payment keys using extended ed25519 cryptographic keys.

They can be used for Shelley payment addresses and witnessing transactions that spend from these addresses.

These extended keys are used by HD wallets. So this type provides interoperability with HD wallets. The ITN CLI also supported this key type.

The extended verification keys can be converted (via castVerificationKey) to ordinary keys (i.e. VerificationKey PaymentKey) but this is not the case for the signing keys. The signing keys can be used to witness transactions directly, with verification via their non-extended verification key (VerificationKey PaymentKey).

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
Key PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey PaymentExtendedKey

data SigningKey PaymentExtendedKey

HasTypeProxy PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType PaymentExtendedKey Source #

Eq (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey PaymentExtendedKey -> VerificationKey PaymentExtendedKey -> Bool #

(/=) :: VerificationKey PaymentExtendedKey -> VerificationKey PaymentExtendedKey -> Bool #

Ord (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey PaymentExtendedKey -> ShowS #

show :: VerificationKey PaymentExtendedKey -> String #

showList :: [VerificationKey PaymentExtendedKey] -> ShowS #

Show (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey PaymentExtendedKey -> ShowS #

show :: SigningKey PaymentExtendedKey -> String #

showList :: [SigningKey PaymentExtendedKey] -> ShowS #

IsString (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey PaymentExtendedKey #

IsString (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey PaymentExtendedKey #

ToCBOR (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey PaymentExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey PaymentExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey PaymentExtendedKey] -> Size Source #

ToCBOR (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey PaymentExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey PaymentExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey PaymentExtendedKey] -> Size Source #

FromCBOR (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey PaymentExtendedKey) Source #

label :: Proxy (VerificationKey PaymentExtendedKey) -> Text Source #

FromCBOR (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey PaymentExtendedKey) Source #

label :: Proxy (SigningKey PaymentExtendedKey) -> Text Source #

HasTextEnvelope (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey PaymentExtendedKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey PaymentExtendedKey) -> [Text]

SerialiseAsBech32 (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Stake addresses

Constructing and inspecting stake addresses

data StakeAddress Source #

Instances

Instances details
Eq StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

Ord StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

Show StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAddress StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakeAddress Source #

data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

data StakeKey Source #

Instances

Instances details
Key StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey StakeKey

data SigningKey StakeKey

HasTypeProxy StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakeKey Source #

Eq (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey StakeKey -> VerificationKey StakeKey -> Bool #

(/=) :: VerificationKey StakeKey -> VerificationKey StakeKey -> Bool #

Ord (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey StakeKey -> ShowS #

show :: VerificationKey StakeKey -> String #

showList :: [VerificationKey StakeKey] -> ShowS #

Show (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey StakeKey -> ShowS #

show :: SigningKey StakeKey -> String #

showList :: [SigningKey StakeKey] -> ShowS #

IsString (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey StakeKey #

IsString (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey StakeKey #

ToCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey StakeKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey StakeKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey StakeKey] -> Size Source #

ToCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey StakeKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey StakeKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey StakeKey] -> Size Source #

FromCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey StakeKey) Source #

label :: Proxy (VerificationKey StakeKey) -> Text Source #

FromCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey StakeKey) Source #

label :: Proxy (SigningKey StakeKey) -> Text Source #

HasTextEnvelope (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey StakeKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey StakeKey) -> [Text]

SerialiseAsBech32 (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey StakeKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey StakeKey) -> [Text]

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey StakeKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey StakeKey) -> ByteString -> Maybe (VerificationKey StakeKey) Source #

SerialiseAsRawBytes (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey StakeKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey StakeKey) -> ByteString -> Either DecoderError (VerificationKey StakeKey) Source #

SerialiseAsCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Typed

data StakeExtendedKey Source #

Shelley-era stake keys using extended ed25519 cryptographic keys.

They can be used for Shelley stake addresses and witnessing transactions that use stake addresses.

These extended keys are used by HD wallets. So this type provides interoperability with HD wallets. The ITN CLI also supported this key type.

The extended verification keys can be converted (via castVerificationKey) to ordinary keys (i.e. VerificationKey StakeKey) but this is not the case for the signing keys. The signing keys can be used to witness transactions directly, with verification via their non-extended verification key (VerificationKey StakeKey).

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
Key StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey StakeExtendedKey

data SigningKey StakeExtendedKey

HasTypeProxy StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakeExtendedKey Source #

Eq (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey StakeExtendedKey -> VerificationKey StakeExtendedKey -> Bool #

(/=) :: VerificationKey StakeExtendedKey -> VerificationKey StakeExtendedKey -> Bool #

Ord (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey StakeExtendedKey -> ShowS #

show :: VerificationKey StakeExtendedKey -> String #

showList :: [VerificationKey StakeExtendedKey] -> ShowS #

Show (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey StakeExtendedKey -> ShowS #

show :: SigningKey StakeExtendedKey -> String #

showList :: [SigningKey StakeExtendedKey] -> ShowS #

IsString (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey StakeExtendedKey #

IsString (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey StakeExtendedKey #

ToCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey StakeExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey StakeExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey StakeExtendedKey] -> Size Source #

ToCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey StakeExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey StakeExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey StakeExtendedKey] -> Size Source #

FromCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey StakeExtendedKey) Source #

label :: Proxy (VerificationKey StakeExtendedKey) -> Text Source #

FromCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey StakeExtendedKey) Source #

label :: Proxy (SigningKey StakeExtendedKey) -> Text Source #

HasTextEnvelope (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey StakeExtendedKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey StakeExtendedKey) -> [Text]

SerialiseAsBech32 (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Building transactions

Constructing and inspecting transactions

data TxBody era Source #

Instances

Instances details
Eq (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (TxBody Shelley) Source #

HasTypeProxy (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (TxBody Byron) Source #

data AsType (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

data TxId Source #

Instances

Instances details
Eq TxId Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: TxId -> TxId -> Bool #

(/=) :: TxId -> TxId -> Bool #

Ord TxId Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

compare :: TxId -> TxId -> Ordering #

(<) :: TxId -> TxId -> Bool #

(<=) :: TxId -> TxId -> Bool #

(>) :: TxId -> TxId -> Bool #

(>=) :: TxId -> TxId -> Bool #

max :: TxId -> TxId -> TxId #

min :: TxId -> TxId -> TxId #

Show TxId Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> TxId -> ShowS #

show :: TxId -> String #

showList :: [TxId] -> ShowS #

IsString TxId Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> TxId #

SerialiseAsRawBytes TxId Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy TxId Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType TxId Source #

data AsType TxId Source # 
Instance details

Defined in Cardano.Api.Typed

getTxId :: TxBody era -> TxId Source #

Calculate the transaction identifier for a TxBody.

data TxIn Source #

Constructors

TxIn TxId TxIx 

Instances

Instances details
Eq TxIn Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: TxIn -> TxIn -> Bool #

(/=) :: TxIn -> TxIn -> Bool #

Show TxIn Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> TxIn -> ShowS #

show :: TxIn -> String #

showList :: [TxIn] -> ShowS #

data TxOut era Source #

Constructors

TxOut (Address era) Lovelace 

Instances

Instances details
Eq (TxOut Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (TxOut Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (TxOut Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (TxOut Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype TxIx Source #

Constructors

TxIx Word 

Instances

Instances details
Enum TxIx Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

succ :: TxIx -> TxIx #

pred :: TxIx -> TxIx #

toEnum :: Int -> TxIx #

fromEnum :: TxIx -> Int #

enumFrom :: TxIx -> [TxIx] #

enumFromThen :: TxIx -> TxIx -> [TxIx] #

enumFromTo :: TxIx -> TxIx -> [TxIx] #

enumFromThenTo :: TxIx -> TxIx -> TxIx -> [TxIx] #

Eq TxIx Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: TxIx -> TxIx -> Bool #

(/=) :: TxIx -> TxIx -> Bool #

Ord TxIx Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

compare :: TxIx -> TxIx -> Ordering #

(<) :: TxIx -> TxIx -> Bool #

(<=) :: TxIx -> TxIx -> Bool #

(>) :: TxIx -> TxIx -> Bool #

(>=) :: TxIx -> TxIx -> Bool #

max :: TxIx -> TxIx -> TxIx #

min :: TxIx -> TxIx -> TxIx #

Show TxIx Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> TxIx -> ShowS #

show :: TxIx -> String #

showList :: [TxIx] -> ShowS #

makeByronTransaction :: [TxIn] -> [TxOut Byron] -> Either ByronTxBodyConversionError (TxBody Byron) Source #

data SlotNo Source #

The 0-based index for the Ourboros time slot.

Instances

Instances details
Bounded SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Enum SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Eq SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) :: SlotNo -> SlotNo -> Bool #

(/=) :: SlotNo -> SlotNo -> Bool #

Num SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Ord SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Show SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Generic SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep SlotNo :: Type -> Type #

Methods

from :: SlotNo -> Rep SlotNo x #

to :: Rep SlotNo x -> SlotNo #

NFData SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: SlotNo -> () #

ToJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

FromJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

ToCBOR SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: SlotNo -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size Source #

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

FromCBOR SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

NoThunks SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Serialise SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Condense SlotNo 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

HasField "ttl" (TxBody era) SlotNo 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> SlotNo #

Embed (StakeCreds era) (Map (Credential 'Staking era) SlotNo) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

HasExp (StakeCreds era) (Map (Credential 'Staking era) SlotNo) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toExp :: StakeCreds era -> Exp (Map (Credential 'Staking era) SlotNo) Source #

type Rep SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-H21nBdelt3gCHGeqsQWafy" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data Certificate Source #

Instances

Instances details
Eq Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

Show Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType Certificate Source #

data AsType Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

Signing transactions

Creating transaction witnesses one by one, or all in one go.

data Tx era Source #

Instances

Instances details
Eq (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: Tx Shelley -> Tx Shelley -> Bool #

(/=) :: Tx Shelley -> Tx Shelley -> Bool #

Eq (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: Tx Byron -> Tx Byron -> Bool #

(/=) :: Tx Byron -> Tx Byron -> Bool #

Show (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> Tx Byron -> ShowS #

show :: Tx Byron -> String #

showList :: [Tx Byron] -> ShowS #

HasTextEnvelope (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Tx Shelley) Source #

HasTypeProxy (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Tx Byron) Source #

data AsType (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

getTxBody :: Tx era -> TxBody era Source #

getTxWitnesses :: Tx era -> [Witness era] Source #

Signing in one go

Incremental signing and separate witnesses

data Witness era Source #

Instances

Instances details
Eq (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Witness Shelley) Source #

HasTypeProxy (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType (Witness Byron) Source #

data AsType (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

Fee calculation

transactionFee Source #

Arguments

:: Natural

The fixed tx fee

-> Natural

The tx fee per byte

-> Tx Shelley 
-> Lovelace 

For a concrete fully-constructed transaction, determine the minimum fee that it needs to pay.

This function is simple, but if you are doing input selection then you probably want to consider estimateTransactionFee.

estimateTransactionFee Source #

Arguments

:: NetworkId 
-> Natural

The fixed tx fee

-> Natural

The tx fee per byte

-> Tx Shelley 
-> Int

The number of extra UTxO transaction inputs

-> Int

The number of extra transaction outputs

-> Int

The number of extra Shelley key witnesses

-> Int

The number of extra Byron key witnesses

-> Lovelace 

This can estimate what the transaction fee will be, based on a starting base transaction, plus the numbers of the additional components of the transaction that may be added.

So for example with wallet coin selection, the base transaction should contain all the things not subject to coin selection (such as script inputs, metadata, withdrawals, certs etc)

Transaction metadata

Embedding additional structured data within transactions.

data TxMetadata where Source #

Bundled Patterns

pattern TxMetadata :: Map Word64 TxMetadataValue -> TxMetadata 

Instances

Instances details
Eq TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Show TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Semigroup TxMetadata Source #

Merge metadata maps. When there are clashing entries the left hand side takes precedence.

Instance details

Defined in Cardano.Api.Typed

Monoid TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType TxMetadata Source #

data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Registering stake address and delegating

Certificates that are embedded in transactions for registering and unregistering stake address, and for setting the stake pool delegation choice for a stake address.

Registering stake pools

Certificates that are embedded in transactions for registering and retiring stake pools. This includes updating the stake pool parameters.

Stake pool off-chain metadata

data StakePoolMetadata Source #

A representation of the required fields for off-chain stake pool metadata.

Instances

Instances details
Eq StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Show StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

FromJSON StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType StakePoolMetadata Source #

Eq (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

validateAndHashStakePoolMetadata :: ByteString -> Either StakePoolMetadataValidationError (StakePoolMetadata, Hash StakePoolMetadata) Source #

Decode and validate the provided JSON-encoded bytes as StakePoolMetadata. Return the decoded metadata and the hash of the original bytes.

Scripts

Both PaymentCredentials and StakeCredentials can use scripts. Shelley supports multi-signatures via scripts.

data Script Source #

Instances

Instances details
Eq Script Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: Script -> Script -> Bool #

(/=) :: Script -> Script -> Bool #

Ord Script Source # 
Instance details

Defined in Cardano.Api.Typed

Show Script Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR Script Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: Script -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Script -> Size Source #

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

HasTextEnvelope Script Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR Script Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy Script Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType Script Source #

Eq (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

Ord (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash Script Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType Script Source # 
Instance details

Defined in Cardano.Api.Typed

Script addresses

Making addresses from scripts.

Multi-signature scripts

Making multi-signature scripts.

Serialisation

Support for serialising data in JSON, CBOR and text files.

CBOR

class HasTypeProxy a => SerialiseAsCBOR a Source #

Instances

Instances details
SerialiseAsCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR UpdateProposal Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR TxMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR Script Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey VrfKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey VrfKey) -> ByteString -> Either DecoderError (VerificationKey VrfKey) Source #

SerialiseAsCBOR (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey KesKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey KesKey) -> ByteString -> Either DecoderError (VerificationKey KesKey) Source #

SerialiseAsCBOR (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey StakePoolKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey StakePoolKey) -> ByteString -> Either DecoderError (VerificationKey StakePoolKey) Source #

SerialiseAsCBOR (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey GenesisKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey GenesisKey) -> ByteString -> Either DecoderError (VerificationKey GenesisKey) Source #

SerialiseAsCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey StakeKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey StakeKey) -> ByteString -> Either DecoderError (VerificationKey StakeKey) Source #

SerialiseAsCBOR (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey PaymentKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey PaymentKey) -> ByteString -> Either DecoderError (VerificationKey PaymentKey) Source #

SerialiseAsCBOR (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey ByronKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey ByronKey) -> ByteString -> Either DecoderError (VerificationKey ByronKey) Source #

SerialiseAsCBOR (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

class Typeable a => ToCBOR a Source #

Minimal complete definition

toCBOR

Instances

Instances details
ToCBOR Bool 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Bool -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Bool -> Size Source #

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

ToCBOR Float 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Float -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Float -> Size Source #

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

ToCBOR Int 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Int -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Int -> Size Source #

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

ToCBOR Int32 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Int32 -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Int32 -> Size Source #

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

ToCBOR Int64 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Int64 -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Int64 -> Size Source #

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

ToCBOR Integer 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Integer -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Integer -> Size Source #

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

ToCBOR Natural 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Natural -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Natural -> Size Source #

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

ToCBOR Word 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Word -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Word -> Size Source #

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

ToCBOR Word8 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Word8 -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Word8 -> Size Source #

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

ToCBOR Word16 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Word16 -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Word16 -> Size Source #

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

ToCBOR Word32 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Word32 -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Word32 -> Size Source #

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

ToCBOR Word64 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Word64 -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Word64 -> Size Source #

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

ToCBOR () 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: () -> Encoding Source #

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

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

ToCBOR ByteString 
Instance details

Defined in Cardano.Binary.ToCBOR

ToCBOR ShortByteString 
Instance details

Defined in Cardano.Binary.ToCBOR

ToCBOR ByteString 
Instance details

Defined in Cardano.Binary.ToCBOR

ToCBOR Text 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Text -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Text -> Size Source #

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

ToCBOR Nano 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Nano -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Nano -> Size Source #

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

ToCBOR Pico 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Pico -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Pico -> Size Source #

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

ToCBOR Void 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Void -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Void -> Size Source #

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

ToCBOR Raw 
Instance details

Defined in Cardano.Binary.Raw

Methods

toCBOR :: Raw -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Raw -> Size Source #

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

ToCBOR SigningKey 
Instance details

Defined in Cardano.Crypto.Signing.SigningKey

ToCBOR VerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.VerificationKey

ToCBOR RedeemSigningKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

ToCBOR RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

ToCBOR ProtocolMagicId 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToCBOR ApplyMempoolPayloadErr 
Instance details

Defined in Cardano.Chain.Byron.API.Mempool

ToCBOR ChainValidationState 
Instance details

Defined in Cardano.Chain.Block.Validation

ToCBOR TxValidationError 
Instance details

Defined in Cardano.Chain.UTxO.Validation

ToCBOR UTxOValidationError 
Instance details

Defined in Cardano.Chain.UTxO.Validation

ToCBOR State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Methods

toCBOR :: State -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size Source #

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

ToCBOR State 
Instance details

Defined in Cardano.Chain.Update.Validation.Interface

Methods

toCBOR :: State -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size Source #

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

ToCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Interface

Methods

toCBOR :: Error -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size Source #

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

ToCBOR BlockSignature 
Instance details

Defined in Cardano.Chain.Block.Header

ToCBOR ToSign 
Instance details

Defined in Cardano.Chain.Block.Header

Methods

toCBOR :: ToSign -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ToSign -> Size Source #

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

ToCBOR Proof 
Instance details

Defined in Cardano.Chain.Block.Proof

Methods

toCBOR :: Proof -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proof -> Size Source #

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

ToCBOR Body 
Instance details

Defined in Cardano.Chain.Block.Body

Methods

toCBOR :: Body -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Body -> Size Source #

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

ToCBOR Payload 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

toCBOR :: Payload -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Payload -> Size Source #

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

ToCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Voting

Methods

toCBOR :: Error -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size Source #

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

ToCBOR Vote 
Instance details

Defined in Cardano.Chain.Update.Vote

Methods

toCBOR :: Vote -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Vote -> Size Source #

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

ToCBOR CandidateProtocolUpdate 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

ToCBOR Endorsement 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

ToCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

toCBOR :: Error -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size Source #

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

ToCBOR ApplicationVersion 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

ToCBOR ProtocolUpdateProposal 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

ToCBOR SoftwareUpdateProposal 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

ToCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: Error -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size Source #

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

ToCBOR Adopted 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: Adopted -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Adopted -> Size Source #

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

ToCBOR Proposal 
Instance details

Defined in Cardano.Chain.Update.Proposal

Methods

toCBOR :: Proposal -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proposal -> Size Source #

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

ToCBOR ProposalBody 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToCBOR SystemTag 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

toCBOR :: SystemTag -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SystemTag -> Size Source #

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

ToCBOR SystemTagError 
Instance details

Defined in Cardano.Chain.Update.SystemTag

ToCBOR SoftwareVersion 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

ToCBOR SoftwareVersionError 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

ToCBOR ProtocolParametersUpdate 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

ToCBOR ProtocolParameters 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

ToCBOR SoftforkRule 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

ToCBOR ProtocolVersion 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

ToCBOR InstallerHash 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

ToCBOR ApplicationName 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

ToCBOR ApplicationNameError 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

ToCBOR UTxO 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

toCBOR :: UTxO -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UTxO -> Size Source #

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

ToCBOR UTxOError 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

Methods

toCBOR :: UTxOError -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UTxOError -> Size Source #

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

ToCBOR TxProof 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Methods

toCBOR :: TxProof -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxProof -> Size Source #

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

ToCBOR TxPayload 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Methods

toCBOR :: TxPayload -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxPayload -> Size Source #

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

ToCBOR TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

toCBOR :: TxAux -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxAux -> Size Source #

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

ToCBOR TxInWitness 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToCBOR TxSigData 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

toCBOR :: TxSigData -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxSigData -> Size Source #

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

ToCBOR CompactTxIn 
Instance details

Defined in Cardano.Chain.UTxO.Compact

ToCBOR CompactTxId 
Instance details

Defined in Cardano.Chain.UTxO.Compact

ToCBOR CompactTxOut 
Instance details

Defined in Cardano.Chain.UTxO.Compact

ToCBOR Tx 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR :: Tx -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Tx -> Size Source #

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

ToCBOR TxIn 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR :: TxIn -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxIn -> Size Source #

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

ToCBOR TxOut 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR :: TxOut -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxOut -> Size Source #

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

ToCBOR SscPayload 
Instance details

Defined in Cardano.Chain.Ssc

ToCBOR SscProof 
Instance details

Defined in Cardano.Chain.Ssc

Methods

toCBOR :: SscProof -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SscProof -> Size Source #

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

ToCBOR State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

toCBOR :: State -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size Source #

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

ToCBOR Payload 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

toCBOR :: Payload -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Payload -> Size Source #

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

ToCBOR State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

Methods

toCBOR :: State -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size Source #

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

ToCBOR ScheduledDelegation 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

ToCBOR Error 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

Methods

toCBOR :: Error -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size Source #

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

ToCBOR Certificate 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

ToCBOR EpochAndSlotCount 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

ToCBOR EpochSlots 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

ToCBOR SlotNumber 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

ToCBOR SlotCount 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

toCBOR :: SlotCount -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotCount -> Size Source #

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

ToCBOR EpochNumber 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

ToCBOR GenesisHash 
Instance details

Defined in Cardano.Chain.Genesis.Hash

ToCBOR Map 
Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

toCBOR :: Map -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Map -> Size Source #

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

ToCBOR TxFeePolicy 
Instance details

Defined in Cardano.Chain.Common.TxFeePolicy

ToCBOR TxSizeLinear 
Instance details

Defined in Cardano.Chain.Common.TxSizeLinear

ToCBOR CompactAddress 
Instance details

Defined in Cardano.Chain.Common.Compact

ToCBOR Address' 
Instance details

Defined in Cardano.Chain.Common.Address

Methods

toCBOR :: Address' -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Address' -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Address'] -> Size Source #

ToCBOR Address 
Instance details

Defined in Cardano.Chain.Common.Address

Methods

toCBOR :: Address -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Address -> Size Source #

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

ToCBOR HDAddressPayload 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ToCBOR NetworkMagic 
Instance details

Defined in Cardano.Chain.Common.NetworkMagic

ToCBOR LovelacePortion 
Instance details

Defined in Cardano.Chain.Common.LovelacePortion

ToCBOR Lovelace 
Instance details

Defined in Cardano.Chain.Common.Lovelace

Methods

toCBOR :: Lovelace -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Lovelace -> Size Source #

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

ToCBOR LovelaceError 
Instance details

Defined in Cardano.Chain.Common.Lovelace

ToCBOR KeyHash 
Instance details

Defined in Cardano.Chain.Common.KeyHash

Methods

toCBOR :: KeyHash -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy KeyHash -> Size Source #

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

ToCBOR ChainDifficulty 
Instance details

Defined in Cardano.Chain.Common.ChainDifficulty

ToCBOR BlockCount 
Instance details

Defined in Cardano.Chain.Common.BlockCount

ToCBOR AddrSpendingData 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

ToCBOR AddrType 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

Methods

toCBOR :: AddrType -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AddrType -> Size Source #

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

ToCBOR Coin 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBOR :: Coin -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Coin -> Size Source #

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

ToCBOR ValidityInterval 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

ToCBOR AssetID 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: AssetID -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AssetID -> Size Source #

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

ToCBOR SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: SlotNo -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size Source #

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

ToCBOR EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: EpochNo -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochNo -> Size Source #

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

ToCBOR BlockNo 
Instance details

Defined in Cardano.Slotting.Block

Methods

toCBOR :: BlockNo -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BlockNo -> Size Source #

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

ToCBOR NominalDiffTime

For backwards compatibility we round pico precision to micro

Instance details

Defined in Cardano.Binary.ToCBOR

ToCBOR ByronHash 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

Methods

toCBOR :: ByronHash -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ByronHash -> Size Source #

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

ToCBOR ProtVer 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBOR :: ProtVer -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtVer -> Size Source #

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

ToCBOR Nonce 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: Nonce -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Nonce -> Size Source #

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

ToCBOR VotingPeriod 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

ToCBOR AccountState 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

ToCBOR LogWeight 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

Methods

toCBOR :: LogWeight -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy LogWeight -> Size Source #

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

ToCBOR Likelihood 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

ToCBOR PerformanceEstimate 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

ToCBOR PoolMetaData 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

ToCBOR StakePoolRelay 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

ToCBOR MIRPot 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: MIRPot -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy MIRPot -> Size Source #

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

ToCBOR SizeOfPoolOwners 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

ToCBOR SizeOfPoolRelays 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

ToCBOR Ptr 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

toCBOR :: Ptr -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Ptr -> Size Source #

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

ToCBOR KESPeriod 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBOR :: KESPeriod -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy KESPeriod -> Size Source #

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

ToCBOR ChainCode 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Methods

toCBOR :: ChainCode -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ChainCode -> Size Source #

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

ToCBOR TicknState 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

ToCBOR UnitInterval 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToCBOR Seed 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: Seed -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Seed -> Size Source #

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

ToCBOR Url 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: Url -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Url -> Size Source #

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

ToCBOR DnsName 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: DnsName -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy DnsName -> Size Source #

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

ToCBOR Port 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: Port -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Port -> Size Source #

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

ToCBOR ActiveSlotCoeff 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToCBOR Network 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: Network -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Network -> Size Source #

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

ToCBOR MetaDatum 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBOR :: MetaDatum -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy MetaDatum -> Size Source #

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

ToCBOR MetaData 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBOR :: MetaData -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy MetaData -> Size Source #

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

ToCBOR DeltaCoin 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBOR :: DeltaCoin -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy DeltaCoin -> Size Source #

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

ToCBOR Point 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

toCBOR :: Point -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Point -> Size Source #

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

ToCBOR Proof 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

toCBOR :: Proof -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proof -> Size Source #

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

ToCBOR SignKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

toCBOR :: SignKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SignKey -> Size Source #

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

ToCBOR VerKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

toCBOR :: VerKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy VerKey -> Size Source #

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

ToCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR UpdateProposal Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR Script Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: Script -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Script -> Size Source #

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

ToCBOR a => ToCBOR [a] 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: [a] -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [a] -> Size Source #

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

ToCBOR a => ToCBOR (Maybe a) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Maybe a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Maybe a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Maybe a] -> Size Source #

ToCBOR a => ToCBOR (Ratio a) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Ratio a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Ratio a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Ratio a] -> Size Source #

(Ord a, ToCBOR a) => ToCBOR (Set a) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Set a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Set a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Set a] -> Size Source #

ToCBOR a => ToCBOR (NonEmpty a) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: NonEmpty a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (NonEmpty a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [NonEmpty a] -> Size Source #

Typeable xs => ToCBOR (LengthOf xs) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: LengthOf xs -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LengthOf xs) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LengthOf xs] -> Size Source #

KnownNat t => ToCBOR (SigKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR :: SigKES (MockKES t) -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (MockKES t)) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (MockKES t)] -> Size Source #

(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SigKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

toCBOR :: SigKES (SimpleKES d t) -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (SimpleKES d t)) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (SimpleKES d t)] -> Size Source #

(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => ToCBOR (SigKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

toCBOR :: SigKES (SumKES h d) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SumKES h d)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SumKES h d)] -> Size Source #

SodiumDSIGNAlgorithm d => ToCBOR (SigKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

toCBOR :: SigKES (SingleKES d) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SingleKES d)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SingleKES d)] -> Size Source #

KnownNat t => ToCBOR (SignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR :: SignKeyKES (MockKES t) -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (MockKES t)) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (MockKES t)] -> Size Source #

(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SignKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

toCBOR :: SignKeyKES (SimpleKES d t) -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (SimpleKES d t)) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (SimpleKES d t)] -> Size Source #

(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => ToCBOR (SignKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

toCBOR :: SignKeyKES (SumKES h d) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SumKES h d)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SumKES h d)] -> Size Source #

SodiumDSIGNAlgorithm d => ToCBOR (SignKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

KnownNat t => ToCBOR (VerKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Methods

toCBOR :: VerKeyKES (MockKES t) -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (MockKES t)) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (MockKES t)] -> Size Source #

(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (VerKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

Methods

toCBOR :: VerKeyKES (SimpleKES d t) -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (SimpleKES d t)) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (SimpleKES d t)] -> Size Source #

(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => ToCBOR (VerKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

toCBOR :: VerKeyKES (SumKES h d) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SumKES h d)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SumKES h d)] -> Size Source #

SodiumDSIGNAlgorithm d => ToCBOR (VerKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Methods

toCBOR :: VerKeyKES (SingleKES d) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SingleKES d)) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SingleKES d)] -> Size Source #

ToCBOR (CertVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

ToCBOR (CertVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (CertVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

ToCBOR (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

ToCBOR (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

ToCBOR (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

ToCBOR (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

ToCBOR (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Typeable v => ToCBOR (OutputVRF v) 
Instance details

Defined in Cardano.Crypto.VRF.Class

Methods

toCBOR :: OutputVRF v -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OutputVRF v) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [OutputVRF v] -> Size Source #

ToCBOR (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ToCBOR (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ToCBOR (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

ToCBOR (SigDSIGN Ed25519Bip32DSIGN) Source # 
Instance details

Defined in Cardano.Api.Crypto.Ed25519Bip32

ToCBOR (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ToCBOR (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ToCBOR (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

ToCBOR (SignKeyDSIGN Ed25519Bip32DSIGN) Source # 
Instance details

Defined in Cardano.Api.Crypto.Ed25519Bip32

ToCBOR (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

ToCBOR (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

ToCBOR (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

ToCBOR (VerKeyDSIGN Ed25519Bip32DSIGN) Source # 
Instance details

Defined in Cardano.Api.Crypto.Ed25519Bip32

Typeable a => ToCBOR (Signature a) 
Instance details

Defined in Cardano.Crypto.Signing.Signature

Methods

toCBOR :: Signature a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Signature a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Signature a] -> Size Source #

Typeable a => ToCBOR (RedeemSignature a) 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

ToCBOR n => ToCBOR (TooLarge n) 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

Methods

toCBOR :: TooLarge n -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (TooLarge n) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TooLarge n] -> Size Source #

ToCBOR a => ToCBOR (MerkleRoot a) 
Instance details

Defined in Cardano.Chain.Common.Merkle

Methods

toCBOR :: MerkleRoot a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MerkleRoot a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MerkleRoot a] -> Size Source #

ToCBOR a => ToCBOR (MerkleTree a) 
Instance details

Defined in Cardano.Chain.Common.Merkle

Methods

toCBOR :: MerkleTree a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MerkleTree a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MerkleTree a] -> Size Source #

ToCBOR (Attributes ()) 
Instance details

Defined in Cardano.Chain.Common.Attributes

Methods

toCBOR :: Attributes () -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Attributes ()) -> Size Source #

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

ToCBOR (Attributes AddrAttributes) 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ShelleyBased era => ToCBOR (UtxoPredicateFailure era) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

Typeable era => ToCBOR (TxBody era) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

toCBOR :: TxBody era -> Encoding Source #

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

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

Typeable era => ToCBOR (Script era) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Scripts

Methods

toCBOR :: Script era -> Encoding Source #

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

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

Typeable era => ToCBOR (Timelock era) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

toCBOR :: Timelock era -> Encoding Source #

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

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

(Era era, Typeable (Script era)) => ToCBOR (PolicyID era) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: PolicyID era -> Encoding Source #

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

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

(Era era, Typeable (Script era)) => ToCBOR (Value era) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: Value era -> Encoding Source #

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

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

(Serialise t, Typeable t) => ToCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: WithOrigin t -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (WithOrigin t) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [WithOrigin t] -> Size Source #

ShelleyBasedEra era => ToCBOR (Header (ShelleyBlock era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: Header (ShelleyBlock era) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Header (ShelleyBlock era)) -> Size Source #

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

Era era => ToCBOR (ShelleyGenesisStaking era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

Era era => ToCBOR (ShelleyGenesis era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

Methods

toCBOR :: ShelleyGenesis era -> Encoding Source #

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

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

ShelleyBasedEra era => ToCBOR (ShelleyBlock era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: ShelleyBlock era -> Encoding Source #

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

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

Era era => ToCBOR (CompactGenesis era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

toCBOR :: CompactGenesis era -> Encoding Source #

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

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

Crypto c => ToCBOR (ShelleyHash c) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Methods

toCBOR :: ShelleyHash c -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyHash c) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyHash c] -> Size Source #

(ShelleyBased era, ToCBOR (PredicateFailure (LEDGERS era))) => ToCBOR (ApplyTxError era) 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

Methods

toCBOR :: ApplyTxError era -> Encoding Source #

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

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

Crypto crypto => ToCBOR (ChainDepState crypto) 
Instance details

Defined in Shelley.Spec.Ledger.API.Protocol

Methods

toCBOR :: ChainDepState crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ChainDepState crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ChainDepState crypto] -> Size Source #

Crypto crypto => ToCBOR (PrtclState crypto) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Prtcl

Methods

toCBOR :: PrtclState crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PrtclState crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PrtclState crypto] -> Size Source #

Crypto crypto => ToCBOR (HashHeader crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: HashHeader crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (HashHeader crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [HashHeader crypto] -> Size Source #

Crypto crypto => ToCBOR (HashBBody crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: HashBBody crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (HashBBody crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [HashBBody crypto] -> Size Source #

Crypto crypto => ToCBOR (BHeader crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: BHeader crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BHeader crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BHeader crypto] -> Size Source #

Crypto crypto => ToCBOR (PrevHash crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: PrevHash crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PrevHash crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PrevHash crypto] -> Size Source #

Crypto crypto => ToCBOR (LastAppliedBlock crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: LastAppliedBlock crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LastAppliedBlock crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LastAppliedBlock crypto] -> Size Source #

Crypto crypto => ToCBOR (BHBody crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: BHBody crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BHBody crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BHBody crypto] -> Size Source #

Era era => ToCBOR (Block era) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: Block era -> Encoding Source #

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

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

Era era => ToCBOR (LaxBlock era) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

toCBOR :: LaxBlock era -> Encoding Source #

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

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

(ShelleyBased era, ToCBOR (PredicateFailure (LEDGER era))) => ToCBOR (LedgersPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledgers

(ToCBOR (PredicateFailure (DELEGS era)), ToCBOR (PredicateFailure (UTXOW era)), ShelleyBased era) => ToCBOR (LedgerPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(Typeable era, Era era, Typeable (Script era)) => ToCBOR (DelegsPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delegs

(Typeable era, Era era, Typeable (Script era)) => ToCBOR (DelplPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delpl

(Typeable era, Era era, Typeable (Script era)) => ToCBOR (DelegPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Deleg

(Typeable era, Era era) => ToCBOR (PoolPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Pool

(Era era, Typeable (Script era), ToCBOR (PredicateFailure (UTXO era))) => ToCBOR (UtxowPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

ShelleyBased era => ToCBOR (UtxoPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

(Typeable era, Era era) => ToCBOR (PpupPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Crypto crypto => ToCBOR (FutureGenDeleg crypto) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: FutureGenDeleg crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (FutureGenDeleg crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [FutureGenDeleg crypto] -> Size Source #

(Era era, AnnotatedData (Script era)) => ToCBOR (InstantaneousRewards era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

(Era era, AnnotatedData (Script era)) => ToCBOR (DState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: DState era -> Encoding Source #

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

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

Era era => ToCBOR (PState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: PState era -> Encoding Source #

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

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

(Era era, AnnotatedData (Script era)) => ToCBOR (DPState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: DPState era -> Encoding Source #

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

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

(Era era, AnnotatedData (Script era)) => ToCBOR (RewardUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: RewardUpdate era -> Encoding Source #

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

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

ShelleyBased era => ToCBOR (EpochState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: EpochState era -> Encoding Source #

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

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

Era era => ToCBOR (PPUPState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: PPUPState era -> Encoding Source #

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

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

ShelleyBased era => ToCBOR (UTxOState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: UTxOState era -> Encoding Source #

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

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

ShelleyBased era => ToCBOR (NewEpochState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: NewEpochState era -> Encoding Source #

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

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

ShelleyBased era => ToCBOR (LedgerState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

toCBOR :: LedgerState era -> Encoding Source #

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

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

Era era => ToCBOR (NonMyopic era) 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

Methods

toCBOR :: NonMyopic era -> Encoding Source #

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

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

Era era => ToCBOR (BlocksMade era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

Methods

toCBOR :: BlocksMade era -> Encoding Source #

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

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

(Era era, AnnotatedData (Script era)) => ToCBOR (Stake era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

Methods

toCBOR :: Stake era -> Encoding Source #

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

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

(Era era, AnnotatedData (Script era)) => ToCBOR (SnapShot era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

Methods

toCBOR :: SnapShot era -> Encoding Source #

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

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

(Era era, AnnotatedData (Script era)) => ToCBOR (SnapShots era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

Methods

toCBOR :: SnapShots era -> Encoding Source #

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

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

ShelleyBased era => ToCBOR (UTxO era) 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toCBOR :: UTxO era -> Encoding Source #

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

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

Crypto crypto => ToCBOR (PoolDistr crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toCBOR :: PoolDistr crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PoolDistr crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PoolDistr crypto] -> Size Source #

Crypto crypto => ToCBOR (IndividualPoolStake crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toCBOR :: IndividualPoolStake crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (IndividualPoolStake crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [IndividualPoolStake crypto] -> Size Source #

ShelleyBased era => ToCBOR (Tx era) 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

toCBOR :: Tx era -> Encoding Source #

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

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

Era era => ToCBOR (PoolParams era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: PoolParams era -> Encoding Source #

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

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

Era era => ToCBOR (Wdrl era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: Wdrl era -> Encoding Source #

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

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

Era era => ToCBOR (TxId era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: TxId era -> Encoding Source #

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

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

Era era => ToCBOR (TxIn era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: TxIn era -> Encoding Source #

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

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

(Era era, ToCBOR (Value era), ToCBOR (CompactForm (Value era))) => ToCBOR (TxOut era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: TxOut era -> Encoding Source #

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

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

(Era era, ToCBOR (Script era)) => ToCBOR (MIRCert era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: MIRCert era -> Encoding Source #

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

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

(Era era, ToCBOR (Script era)) => ToCBOR (DCert era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: DCert era -> Encoding Source #

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

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

Era era => ToCBOR (TxBody era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: TxBody era -> Encoding Source #

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

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

(Era era, ToCBOR (Script era)) => ToCBOR (StakeCreds era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: StakeCreds era -> Encoding Source #

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

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

Era era => ToCBOR (Addr era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toCBOR :: Addr era -> Encoding Source #

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

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

Era era => ToCBOR (RewardAcnt era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

toCBOR :: RewardAcnt era -> Encoding Source #

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

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

(Typeable era, Era era) => ToCBOR (GenesisCredential era) 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Crypto crypto => ToCBOR (OCert crypto) 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBOR :: OCert crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OCert crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [OCert crypto] -> Size Source #

Era era => ToCBOR (PParams era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBOR :: PParams era -> Encoding Source #

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

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

Era era => ToCBOR (Update era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBOR :: Update era -> Encoding Source #

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

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

Era era => ToCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBOR :: PParamsUpdate era -> Encoding Source #

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

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

Era era => ToCBOR (ProposedPPUpdates era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Crypto crypto => ToCBOR (OBftSlot crypto) 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

toCBOR :: OBftSlot crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OBftSlot crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [OBftSlot crypto] -> Size Source #

Era era => ToCBOR (BootstrapWitness era) 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Methods

toCBOR :: BootstrapWitness era -> Encoding Source #

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

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

Typeable era => ToCBOR (MultiSig era) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBOR :: MultiSig era -> Encoding Source #

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

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

(Era era, Typeable (Script era)) => ToCBOR (ScriptHash era) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBOR :: ScriptHash era -> Encoding Source #

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

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

ToCBOR a => ToCBOR (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: StrictMaybe a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size Source #

Era era => ToCBOR (MetaDataHash era) 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBOR :: MetaDataHash era -> Encoding Source #

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

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

Crypto crypto => ToCBOR (GenDelegPair crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBOR :: GenDelegPair crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (GenDelegPair crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenDelegPair crypto] -> Size Source #

Crypto crypto => ToCBOR (GenDelegs crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBOR :: GenDelegs crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (GenDelegs crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenDelegs crypto] -> Size Source #

ToCBORGroup a => ToCBOR (CBORGroup a) 
Instance details

Defined in Shelley.Spec.Ledger.Serialization

Methods

toCBOR :: CBORGroup a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CBORGroup a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CBORGroup a] -> Size Source #

ToCBOR a => ToCBOR (CborSeq a) 
Instance details

Defined in Shelley.Spec.Ledger.Serialization

Methods

toCBOR :: CborSeq a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CborSeq a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CborSeq a] -> Size Source #

ToCBOR (CompactForm Coin) 
Instance details

Defined in Shelley.Spec.Ledger.Coin

(Era era, Typeable (Script era)) => ToCBOR (CompactForm (Value era)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

toCBOR :: CompactForm (Value era) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CompactForm (Value era)) -> Size Source #

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

(Typeable a, Compactible a, ToCBOR (CompactForm a)) => ToCBOR (Compact a) 
Instance details

Defined in Cardano.Ledger.Compactible

Methods

toCBOR :: Compact a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Compact a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Compact a] -> Size Source #

Typeable t => ToCBOR (MemoBytes t) 
Instance details

Defined in Data.MemoBytes

Methods

toCBOR :: MemoBytes t -> Encoding Source #

encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (MemoBytes t) -> Size Source #

encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [MemoBytes t] -> Size Source #

ToCBOR a => ToCBOR (Vector a) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Vector a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Vector a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Vector a] -> Size Source #

Typeable era => ToCBOR (WrappedMultiSig era) Source # 
Instance details

Defined in Cardano.Api.Shelley.Serialisation.Legacy

Methods

toCBOR :: WrappedMultiSig era -> Encoding Source #

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

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

ToCBOR (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey VrfKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey VrfKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey VrfKey] -> Size Source #

ToCBOR (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey KesKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey KesKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey KesKey] -> Size Source #

ToCBOR (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey StakePoolKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey StakePoolKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey StakePoolKey] -> Size Source #

ToCBOR (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisUTxOKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisUTxOKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisUTxOKey] -> Size Source #

ToCBOR (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisDelegateExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisDelegateExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisDelegateExtendedKey] -> Size Source #

ToCBOR (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisDelegateKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisDelegateKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisDelegateKey] -> Size Source #

ToCBOR (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisExtendedKey] -> Size Source #

ToCBOR (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisKey] -> Size Source #

ToCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey StakeExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey StakeExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey StakeExtendedKey] -> Size Source #

ToCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey StakeKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey StakeKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey StakeKey] -> Size Source #

ToCBOR (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey PaymentExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey PaymentExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey PaymentExtendedKey] -> Size Source #

ToCBOR (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey PaymentKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey PaymentKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey PaymentKey] -> Size Source #

ToCBOR (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey ByronKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey ByronKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey ByronKey] -> Size Source #

ToCBOR (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey VrfKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey VrfKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey VrfKey] -> Size Source #

ToCBOR (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey KesKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey KesKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey KesKey] -> Size Source #

ToCBOR (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey StakePoolKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey StakePoolKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey StakePoolKey] -> Size Source #

ToCBOR (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisUTxOKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisUTxOKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisUTxOKey] -> Size Source #

ToCBOR (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisDelegateExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisDelegateExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisDelegateExtendedKey] -> Size Source #

ToCBOR (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisDelegateKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisDelegateKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisDelegateKey] -> Size Source #

ToCBOR (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisExtendedKey] -> Size Source #

ToCBOR (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisKey] -> Size Source #

ToCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey StakeExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey StakeExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey StakeExtendedKey] -> Size Source #

ToCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey StakeKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey StakeKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey StakeKey] -> Size Source #

ToCBOR (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey PaymentExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey PaymentExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey PaymentExtendedKey] -> Size Source #

ToCBOR (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey PaymentKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey PaymentKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey PaymentKey] -> Size Source #

ToCBOR (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey ByronKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey ByronKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey ByronKey] -> Size Source #

(ToCBOR a, ToCBOR b) => ToCBOR (Either a b) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Either a b -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Either a b) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Either a b] -> Size Source #

(ToCBOR a, ToCBOR b) => ToCBOR (a, b) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: (a, b) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b)] -> Size Source #

(Ord k, ToCBOR k, ToCBOR v) => ToCBOR (Map k v) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Map k v -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Map k v) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Map k v] -> Size Source #

(VRFAlgorithm v, Typeable a) => ToCBOR (CertifiedVRF v a) 
Instance details

Defined in Cardano.Crypto.VRF.Class

Methods

toCBOR :: CertifiedVRF v a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertifiedVRF v a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertifiedVRF v a] -> Size Source #

(HashAlgorithm h, Typeable a) => ToCBOR (Hash h a) 
Instance details

Defined in Cardano.Crypto.Hash.Class

Methods

toCBOR :: Hash h a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash h a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash h a] -> Size Source #

(Typeable algo, Typeable a, HashAlgorithm algo) => ToCBOR (AbstractHash algo a) 
Instance details

Defined in Cardano.Crypto.Hashing

Methods

toCBOR :: AbstractHash algo a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AbstractHash algo a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AbstractHash algo a] -> Size Source #

Era era => ToCBOR (WitnessSetHKD Identity era) 
Instance details

Defined in Shelley.Spec.Ledger.Tx

(Typeable kr, Era era) => ToCBOR (WitVKey kr era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBOR :: WitVKey kr era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (WitVKey kr era) -> Size Source #

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

(Typeable kr, Era era, Typeable (Script era)) => ToCBOR (Credential kr era) 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

toCBOR :: Credential kr era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Credential kr era) -> Size Source #

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

(Crypto crypto, Typeable kd) => ToCBOR (VKey kd crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBOR :: VKey kd crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VKey kd crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VKey kd crypto] -> Size Source #

(Crypto crypto, Typeable disc) => ToCBOR (KeyHash disc crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBOR :: KeyHash disc crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (KeyHash disc crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [KeyHash disc crypto] -> Size Source #

(ToCBOR a, ToCBOR b, ToCBOR c) => ToCBOR (a, b, c) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: (a, b, c) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c)] -> Size Source #

(Typeable s, ToCBOR a) => ToCBOR (Tagged s a) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Tagged s a -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Tagged s a) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Tagged s a] -> Size Source #

(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d) => ToCBOR (a, b, c, d) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: (a, b, c, d) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d)] -> Size Source #

(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e) => ToCBOR (a, b, c, d, e) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: (a, b, c, d, e) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d, e) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d, e)] -> Size Source #

(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g) => ToCBOR (a, b, c, d, e, f, g) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: (a, b, c, d, e, f, g) -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d, e, f, g) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d, e, f, g)] -> Size Source #

class Typeable a => FromCBOR a Source #

Minimal complete definition

fromCBOR

Instances

Instances details
FromCBOR Bool 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Float 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Int 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Int32 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Int64 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Integer 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Natural 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Word 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Word8 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Word16 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Word32 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Word64 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR () 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s () Source #

label :: Proxy () -> Text Source #

FromCBOR ByteString 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR ShortByteString 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Text 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Nano 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Pico 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Void 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR LByteString 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR Raw 
Instance details

Defined in Cardano.Binary.Raw

FromCBOR SigningKey 
Instance details

Defined in Cardano.Crypto.Signing.SigningKey

FromCBOR VerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.VerificationKey

FromCBOR RedeemSigningKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

FromCBOR RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

FromCBOR ProtocolMagicId 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

FromCBOR ApplyMempoolPayloadErr 
Instance details

Defined in Cardano.Chain.Byron.API.Mempool

FromCBOR ChainValidationState 
Instance details

Defined in Cardano.Chain.Block.Validation

FromCBOR TxValidationError 
Instance details

Defined in Cardano.Chain.UTxO.Validation

FromCBOR UTxOValidationError 
Instance details

Defined in Cardano.Chain.UTxO.Validation

FromCBOR State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

FromCBOR State 
Instance details

Defined in Cardano.Chain.Update.Validation.Interface

FromCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Interface

FromCBOR BlockSignature 
Instance details

Defined in Cardano.Chain.Block.Header

FromCBOR ToSign 
Instance details

Defined in Cardano.Chain.Block.Header

FromCBOR Proof 
Instance details

Defined in Cardano.Chain.Block.Proof

FromCBOR Body 
Instance details

Defined in Cardano.Chain.Block.Body

FromCBOR Payload 
Instance details

Defined in Cardano.Chain.Update.Payload

FromCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Voting

FromCBOR Vote 
Instance details

Defined in Cardano.Chain.Update.Vote

FromCBOR CandidateProtocolUpdate 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR Endorsement 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR ApplicationVersion 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

FromCBOR ProtocolUpdateProposal 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

FromCBOR SoftwareUpdateProposal 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

FromCBOR Error 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

FromCBOR Adopted 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

FromCBOR Proposal 
Instance details

Defined in Cardano.Chain.Update.Proposal

FromCBOR ProposalBody 
Instance details

Defined in Cardano.Chain.Update.Proposal

FromCBOR SystemTag 
Instance details

Defined in Cardano.Chain.Update.SystemTag

FromCBOR SystemTagError 
Instance details

Defined in Cardano.Chain.Update.SystemTag

FromCBOR SoftwareVersion 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

FromCBOR SoftwareVersionError 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

FromCBOR ProtocolParametersUpdate 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

FromCBOR ProtocolParameters 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

FromCBOR SoftforkRule 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

FromCBOR ProtocolVersion 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

FromCBOR InstallerHash 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

FromCBOR ApplicationName 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

FromCBOR ApplicationNameError 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

FromCBOR UTxO 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

FromCBOR UTxOError 
Instance details

Defined in Cardano.Chain.UTxO.UTxO

FromCBOR TxProof 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

FromCBOR TxPayload 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

FromCBOR TxAux 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

FromCBOR TxInWitness 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

FromCBOR TxSigData 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

FromCBOR CompactTxIn 
Instance details

Defined in Cardano.Chain.UTxO.Compact

FromCBOR CompactTxId 
Instance details

Defined in Cardano.Chain.UTxO.Compact

FromCBOR CompactTxOut 
Instance details

Defined in Cardano.Chain.UTxO.Compact

FromCBOR Tx 
Instance details

Defined in Cardano.Chain.UTxO.Tx

FromCBOR TxIn 
Instance details

Defined in Cardano.Chain.UTxO.Tx

FromCBOR TxOut 
Instance details

Defined in Cardano.Chain.UTxO.Tx

FromCBOR SscPayload 
Instance details

Defined in Cardano.Chain.Ssc

FromCBOR SscProof 
Instance details

Defined in Cardano.Chain.Ssc

FromCBOR State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

FromCBOR Payload 
Instance details

Defined in Cardano.Chain.Delegation.Payload

FromCBOR State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

FromCBOR ScheduledDelegation 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

FromCBOR Error 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

FromCBOR Certificate 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

FromCBOR EpochAndSlotCount 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

FromCBOR EpochSlots 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

FromCBOR SlotNumber 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

FromCBOR SlotCount 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

FromCBOR EpochNumber 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

FromCBOR GenesisHash 
Instance details

Defined in Cardano.Chain.Genesis.Hash

FromCBOR Map 
Instance details

Defined in Cardano.Chain.Delegation.Map

FromCBOR TxFeePolicy 
Instance details

Defined in Cardano.Chain.Common.TxFeePolicy

FromCBOR TxSizeLinear 
Instance details

Defined in Cardano.Chain.Common.TxSizeLinear

FromCBOR CompactAddress 
Instance details

Defined in Cardano.Chain.Common.Compact

FromCBOR Address' 
Instance details

Defined in Cardano.Chain.Common.Address

FromCBOR Address 
Instance details

Defined in Cardano.Chain.Common.Address

FromCBOR HDAddressPayload 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

FromCBOR NetworkMagic 
Instance details

Defined in Cardano.Chain.Common.NetworkMagic

FromCBOR LovelacePortion 
Instance details

Defined in Cardano.Chain.Common.LovelacePortion

FromCBOR Lovelace 
Instance details

Defined in Cardano.Chain.Common.Lovelace

FromCBOR LovelaceError 
Instance details

Defined in Cardano.Chain.Common.Lovelace

FromCBOR KeyHash 
Instance details

Defined in Cardano.Chain.Common.KeyHash

FromCBOR ChainDifficulty 
Instance details

Defined in Cardano.Chain.Common.ChainDifficulty

FromCBOR BlockCount 
Instance details

Defined in Cardano.Chain.Common.BlockCount

FromCBOR AddrSpendingData 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

FromCBOR AddrType 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

FromCBOR Coin 
Instance details

Defined in Shelley.Spec.Ledger.Coin

FromCBOR ValidityInterval 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

FromCBOR AssetID 
Instance details

Defined in Cardano.Ledger.Mary.Value

FromCBOR SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

FromCBOR EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

FromCBOR BlockNo 
Instance details

Defined in Cardano.Slotting.Block

FromCBOR NominalDiffTime

For backwards compatibility we round pico precision to micro

Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR ByronHash 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Block

FromCBOR ProtVer 
Instance details

Defined in Shelley.Spec.Ledger.PParams

FromCBOR Nonce 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR VotingPeriod 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

FromCBOR AccountState 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

FromCBOR LogWeight 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

FromCBOR Likelihood 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

FromCBOR PerformanceEstimate 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

FromCBOR PoolMetaData 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

FromCBOR StakePoolRelay 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

FromCBOR MIRPot 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

FromCBOR Ptr 
Instance details

Defined in Shelley.Spec.Ledger.Credential

FromCBOR KESPeriod 
Instance details

Defined in Shelley.Spec.Ledger.OCert

FromCBOR ChainCode 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

FromCBOR TicknState 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

FromCBOR UnitInterval 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR Url 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR DnsName 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR Port 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR ActiveSlotCoeff 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR Network 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromCBOR MetaDatum 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

FromCBOR DeltaCoin 
Instance details

Defined in Shelley.Spec.Ledger.Coin

FromCBOR Point 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Methods

fromCBOR :: Decoder s Point Source #

label :: Proxy Point -> Text Source #

FromCBOR Proof 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

fromCBOR :: Decoder s Proof Source #

label :: Proxy Proof -> Text Source #

FromCBOR SignKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

fromCBOR :: Decoder s SignKey Source #

label :: Proxy SignKey -> Text Source #

FromCBOR VerKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Methods

fromCBOR :: Decoder s VerKey Source #

label :: Proxy VerKey -> Text Source #

FromCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR UpdateProposal Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR a => FromCBOR [a] 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s [a] Source #

label :: Proxy [a] -> Text Source #

FromCBOR a => FromCBOR (Maybe a) 
Instance details

Defined in Cardano.Binary.FromCBOR

(Integral a, FromCBOR a) => FromCBOR (Ratio a) 
Instance details

Defined in Cardano.Binary.FromCBOR

(Ord a, FromCBOR a) => FromCBOR (Set a) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (Set a) Source #

label :: Proxy (Set a) -> Text Source #

FromCBOR a => FromCBOR (NonEmpty a) 
Instance details

Defined in Cardano.Binary.FromCBOR

FamsFrom era => FromCBOR (Annotator (TxBody' era)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

FamsFrom era => FromCBOR (Annotator (TxBody era)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Era era => FromCBOR (Annotator (Script era)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Scripts

Era era => FromCBOR (Annotator (Timelock era)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

ShelleyBasedEra era => FromCBOR (Annotator (Header (ShelleyBlock era))) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

ShelleyBasedEra era => FromCBOR (Annotator (ShelleyBlock era)) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

Crypto crypto => FromCBOR (Annotator (BHeader crypto)) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

fromCBOR :: Decoder s (Annotator (BHeader crypto)) Source #

label :: Proxy (Annotator (BHeader crypto)) -> Text Source #

(ShelleyBased era, ValidateScript era) => FromCBOR (Annotator (Block era)) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

(ShelleyBased era, ValidateScript era) => FromCBOR (Annotator (LaxBlock era)) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

(ShelleyBased era, ValidateScript era) => FromCBOR (Annotator (Tx era)) 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

fromCBOR :: Decoder s (Annotator (Tx era)) Source #

label :: Proxy (Annotator (Tx era)) -> Text Source #

ShelleyBased era => FromCBOR (Annotator (TxBody era)) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

(Typeable kr, Era era) => FromCBOR (Annotator (WitVKey kr era)) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (Annotator (WitVKey kr era)) Source #

label :: Proxy (Annotator (WitVKey kr era)) -> Text Source #

Era era => FromCBOR (Annotator (BootstrapWitness era)) 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Era era => FromCBOR (Annotator (MultiSig era)) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

FromCBOR (Annotator MetaData) 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

(Typeable t, FromCBOR (Annotator t)) => FromCBOR (Annotator (MemoBytes t)) 
Instance details

Defined in Data.MemoBytes

Era era => FromCBOR (Annotator (MultiSig' era)) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

fromCBOR :: Decoder s (Annotator (MultiSig' era)) Source #

label :: Proxy (Annotator (MultiSig' era)) -> Text Source #

Era era => FromCBOR (Annotator (Timelock' era)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

fromCBOR :: Decoder s (Annotator (Timelock' era)) Source #

label :: Proxy (Annotator (Timelock' era)) -> Text Source #

(Era era, Typeable era) => FromCBOR (Annotator (WrappedMultiSig era)) Source # 
Instance details

Defined in Cardano.Api.Shelley.Serialisation.Legacy

KnownNat t => FromCBOR (SigKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (SigKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => FromCBOR (SigKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Methods

fromCBOR :: Decoder s (SigKES (SumKES h d)) Source #

label :: Proxy (SigKES (SumKES h d)) -> Text Source #

SodiumDSIGNAlgorithm d => FromCBOR (SigKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

KnownNat t => FromCBOR (SignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (SignKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => FromCBOR (SignKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

SodiumDSIGNAlgorithm d => FromCBOR (SignKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

KnownNat t => FromCBOR (VerKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

(DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => FromCBOR (VerKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

(KESAlgorithm d, SodiumHashAlgorithm h, Typeable d, SizeHash h ~ SeedSizeKES d) => FromCBOR (VerKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

SodiumDSIGNAlgorithm d => FromCBOR (VerKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

FromCBOR (CertVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

FromCBOR (CertVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (CertVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

FromCBOR (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

FromCBOR (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

FromCBOR (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

FromCBOR (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

FromCBOR (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Typeable v => FromCBOR (OutputVRF v) 
Instance details

Defined in Cardano.Crypto.VRF.Class

FromCBOR (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

FromCBOR (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

FromCBOR (SigDSIGN Ed25519Bip32DSIGN) Source # 
Instance details

Defined in Cardano.Api.Crypto.Ed25519Bip32

FromCBOR (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

FromCBOR (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

FromCBOR (SignKeyDSIGN Ed25519Bip32DSIGN) Source # 
Instance details

Defined in Cardano.Api.Crypto.Ed25519Bip32

FromCBOR (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

FromCBOR (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

FromCBOR (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

FromCBOR (VerKeyDSIGN Ed25519Bip32DSIGN) Source # 
Instance details

Defined in Cardano.Api.Crypto.Ed25519Bip32

Typeable a => FromCBOR (Signature a) 
Instance details

Defined in Cardano.Crypto.Signing.Signature

Typeable a => FromCBOR (RedeemSignature a) 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

FromCBOR (ABlockSignature ByteSpan) 
Instance details

Defined in Cardano.Chain.Block.Header

FromCBOR (ABody ByteSpan) 
Instance details

Defined in Cardano.Chain.Block.Body

FromCBOR (APayload ByteSpan) 
Instance details

Defined in Cardano.Chain.Update.Payload

FromCBOR (AVote ByteSpan) 
Instance details

Defined in Cardano.Chain.Update.Vote

FromCBOR n => FromCBOR (TooLarge n) 
Instance details

Defined in Cardano.Chain.Update.Validation.Registration

FromCBOR (AProposal ByteSpan) 
Instance details

Defined in Cardano.Chain.Update.Proposal

FromCBOR (ATxPayload ByteSpan) 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

FromCBOR (ATxAux ByteSpan) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

FromCBOR (APayload ByteSpan) 
Instance details

Defined in Cardano.Chain.Delegation.Payload

FromCBOR (ACertificate ByteSpan) 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

FromCBOR a => FromCBOR (MerkleRoot a) 
Instance details

Defined in Cardano.Chain.Common.Merkle

(FromCBOR a, ToCBOR a) => FromCBOR (MerkleTree a) 
Instance details

Defined in Cardano.Chain.Common.Merkle

FromCBOR (Attributes ()) 
Instance details

Defined in Cardano.Chain.Common.Attributes

FromCBOR (Attributes AddrAttributes) 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ShelleyBased era => FromCBOR (UtxoPredicateFailure era) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

FamsFrom era => FromCBOR (TxBody' era) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

fromCBOR :: Decoder s (TxBody' era) Source #

label :: Proxy (TxBody' era) -> Text Source #

(Era era, Typeable (Script era)) => FromCBOR (PolicyID era) 
Instance details

Defined in Cardano.Ledger.Mary.Value

(Era era, Typeable (Script era)) => FromCBOR (Value era) 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

fromCBOR :: Decoder s (Value era) Source #

label :: Proxy (Value era) -> Text Source #

(Serialise t, Typeable t) => FromCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Era era => FromCBOR (ShelleyGenesisStaking era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

Era era => FromCBOR (ShelleyGenesis era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

Era era => FromCBOR (CompactGenesis era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Crypto c => FromCBOR (ShelleyHash c) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Block

(ShelleyBased era, FromCBOR (PredicateFailure (LEDGERS era))) => FromCBOR (ApplyTxError era) 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

Crypto crypto => FromCBOR (ChainDepState crypto) 
Instance details

Defined in Shelley.Spec.Ledger.API.Protocol

Crypto crypto => FromCBOR (PrtclState crypto) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Prtcl

Methods

fromCBOR :: Decoder s (PrtclState crypto) Source #

label :: Proxy (PrtclState crypto) -> Text Source #

Crypto crypto => FromCBOR (HashHeader crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

fromCBOR :: Decoder s (HashHeader crypto) Source #

label :: Proxy (HashHeader crypto) -> Text Source #

Crypto crypto => FromCBOR (HashBBody crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

fromCBOR :: Decoder s (HashBBody crypto) Source #

label :: Proxy (HashBBody crypto) -> Text Source #

Crypto crypto => FromCBOR (PrevHash crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

fromCBOR :: Decoder s (PrevHash crypto) Source #

label :: Proxy (PrevHash crypto) -> Text Source #

Crypto crypto => FromCBOR (LastAppliedBlock crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Crypto crypto => FromCBOR (BHBody crypto) 
Instance details

Defined in Shelley.Spec.Ledger.BlockChain

Methods

fromCBOR :: Decoder s (BHBody crypto) Source #

label :: Proxy (BHBody crypto) -> Text Source #

(ShelleyBased era, FromCBOR (PredicateFailure (LEDGER era))) => FromCBOR (LedgersPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledgers

(FromCBOR (PredicateFailure (DELEGS era)), FromCBOR (PredicateFailure (UTXOW era)), ShelleyBased era) => FromCBOR (LedgerPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ledger

(Era era, Typeable (Script era)) => FromCBOR (DelegsPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delegs

(Era era, Typeable (Script era)) => FromCBOR (DelplPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Delpl

(Era era, Typeable (Script era)) => FromCBOR (DelegPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Deleg

Era era => FromCBOR (PoolPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Pool

(Era era, FromCBOR (PredicateFailure (UTXO era)), Typeable (Script era)) => FromCBOR (UtxowPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

ShelleyBased era => FromCBOR (UtxoPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

Era era => FromCBOR (PpupPredicateFailure era) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Ppup

Crypto crypto => FromCBOR (FutureGenDeleg crypto) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

(Era era, AnnotatedData (Script era)) => FromCBOR (InstantaneousRewards era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

(Era era, AnnotatedData (Script era)) => FromCBOR (DState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

fromCBOR :: Decoder s (DState era) Source #

label :: Proxy (DState era) -> Text Source #

Era era => FromCBOR (PState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

fromCBOR :: Decoder s (PState era) Source #

label :: Proxy (PState era) -> Text Source #

(Era era, AnnotatedData (Script era)) => FromCBOR (DPState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Methods

fromCBOR :: Decoder s (DPState era) Source #

label :: Proxy (DPState era) -> Text Source #

(Era era, AnnotatedData (Script era)) => FromCBOR (RewardUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

ShelleyBased era => FromCBOR (EpochState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Era era => FromCBOR (PPUPState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

ShelleyBased era => FromCBOR (UTxOState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

ShelleyBased era => FromCBOR (NewEpochState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

ShelleyBased era => FromCBOR (LedgerState era) 
Instance details

Defined in Shelley.Spec.Ledger.LedgerState

Era era => FromCBOR (NonMyopic era) 
Instance details

Defined in Shelley.Spec.Ledger.Rewards

Era era => FromCBOR (BlocksMade era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

(Era era, AnnotatedData (Script era)) => FromCBOR (Stake era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

Methods

fromCBOR :: Decoder s (Stake era) Source #

label :: Proxy (Stake era) -> Text Source #

(Era era, AnnotatedData (Script era)) => FromCBOR (SnapShot era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

(Era era, AnnotatedData (Script era)) => FromCBOR (SnapShots era) 
Instance details

Defined in Shelley.Spec.Ledger.EpochBoundary

ShelleyBased era => FromCBOR (UTxO era) 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

fromCBOR :: Decoder s (UTxO era) Source #

label :: Proxy (UTxO era) -> Text Source #

Crypto crypto => FromCBOR (PoolDistr crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

fromCBOR :: Decoder s (PoolDistr crypto) Source #

label :: Proxy (PoolDistr crypto) -> Text Source #

Crypto crypto => FromCBOR (IndividualPoolStake crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Era era => FromCBOR (PoolParams era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era => FromCBOR (Wdrl era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (Wdrl era) Source #

label :: Proxy (Wdrl era) -> Text Source #

Era era => FromCBOR (TxId era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (TxId era) Source #

label :: Proxy (TxId era) -> Text Source #

Era era => FromCBOR (TxIn era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (TxIn era) Source #

label :: Proxy (TxIn era) -> Text Source #

(Era era, FromCBOR (Value era), FromCBOR (CompactForm (Value era))) => FromCBOR (TxOut era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (TxOut era) Source #

label :: Proxy (TxOut era) -> Text Source #

(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) => FromCBOR (MIRCert era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (MIRCert era) Source #

label :: Proxy (MIRCert era) -> Text Source #

(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) => FromCBOR (DCert era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBOR :: Decoder s (DCert era) Source #

label :: Proxy (DCert era) -> Text Source #

(Era era, Typeable (Script era)) => FromCBOR (StakeCreds era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era => FromCBOR (Addr era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

Methods

fromCBOR :: Decoder s (Addr era) Source #

label :: Proxy (Addr era) -> Text Source #

Era era => FromCBOR (RewardAcnt era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

Era era => FromCBOR (PParams era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

fromCBOR :: Decoder s (PParams era) Source #

label :: Proxy (PParams era) -> Text Source #

Era era => FromCBOR (Update era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

fromCBOR :: Decoder s (Update era) Source #

label :: Proxy (Update era) -> Text Source #

Era era => FromCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Era era => FromCBOR (ProposedPPUpdates era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Crypto crypto => FromCBOR (OBftSlot crypto) 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

fromCBOR :: Decoder s (OBftSlot crypto) Source #

label :: Proxy (OBftSlot crypto) -> Text Source #

(Era era, Typeable (Script era)) => FromCBOR (ScriptHash era) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

FromCBOR a => FromCBOR (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Era era => FromCBOR (MetaDataHash era) 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Crypto crypto => FromCBOR (GenDelegPair crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBOR :: Decoder s (GenDelegPair crypto) Source #

label :: Proxy (GenDelegPair crypto) -> Text Source #

Crypto crypto => FromCBOR (GenDelegs crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBOR :: Decoder s (GenDelegs crypto) Source #

label :: Proxy (GenDelegs crypto) -> Text Source #

(FromCBORGroup a, ToCBORGroup a) => FromCBOR (CBORGroup a) 
Instance details

Defined in Shelley.Spec.Ledger.Serialization

FromCBOR a => FromCBOR (CborSeq a) 
Instance details

Defined in Shelley.Spec.Ledger.Serialization

FromCBOR (CompactForm Coin) 
Instance details

Defined in Shelley.Spec.Ledger.Coin

(Era era, Typeable (Script era)) => FromCBOR (CompactForm (Value era)) 
Instance details

Defined in Cardano.Ledger.Mary.Value

(Typeable a, Compactible a, FromCBOR (CompactForm a)) => FromCBOR (Compact a) 
Instance details

Defined in Cardano.Ledger.Compactible

FromCBOR a => FromCBOR (Vector a) 
Instance details

Defined in Cardano.Binary.FromCBOR

FromCBOR (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey VrfKey) Source #

label :: Proxy (VerificationKey VrfKey) -> Text Source #

FromCBOR (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey KesKey) Source #

label :: Proxy (VerificationKey KesKey) -> Text Source #

FromCBOR (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey StakePoolKey) Source #

label :: Proxy (VerificationKey StakePoolKey) -> Text Source #

FromCBOR (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisUTxOKey) Source #

label :: Proxy (VerificationKey GenesisUTxOKey) -> Text Source #

FromCBOR (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisDelegateKey) Source #

label :: Proxy (VerificationKey GenesisDelegateKey) -> Text Source #

FromCBOR (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisExtendedKey) Source #

label :: Proxy (VerificationKey GenesisExtendedKey) -> Text Source #

FromCBOR (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisKey) Source #

label :: Proxy (VerificationKey GenesisKey) -> Text Source #

FromCBOR (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey StakeExtendedKey) Source #

label :: Proxy (VerificationKey StakeExtendedKey) -> Text Source #

FromCBOR (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey StakeKey) Source #

label :: Proxy (VerificationKey StakeKey) -> Text Source #

FromCBOR (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey PaymentExtendedKey) Source #

label :: Proxy (VerificationKey PaymentExtendedKey) -> Text Source #

FromCBOR (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey PaymentKey) Source #

label :: Proxy (VerificationKey PaymentKey) -> Text Source #

FromCBOR (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey ByronKey) Source #

label :: Proxy (VerificationKey ByronKey) -> Text Source #

FromCBOR (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey VrfKey) Source #

label :: Proxy (SigningKey VrfKey) -> Text Source #

FromCBOR (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey KesKey) Source #

label :: Proxy (SigningKey KesKey) -> Text Source #

FromCBOR (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey StakePoolKey) Source #

label :: Proxy (SigningKey StakePoolKey) -> Text Source #

FromCBOR (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisUTxOKey) Source #

label :: Proxy (SigningKey GenesisUTxOKey) -> Text Source #

FromCBOR (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisDelegateKey) Source #

label :: Proxy (SigningKey GenesisDelegateKey) -> Text Source #

FromCBOR (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisExtendedKey) Source #

label :: Proxy (SigningKey GenesisExtendedKey) -> Text Source #

FromCBOR (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisKey) Source #

label :: Proxy (SigningKey GenesisKey) -> Text Source #

FromCBOR (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey StakeExtendedKey) Source #

label :: Proxy (SigningKey StakeExtendedKey) -> Text Source #

FromCBOR (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey StakeKey) Source #

label :: Proxy (SigningKey StakeKey) -> Text Source #

FromCBOR (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey PaymentExtendedKey) Source #

label :: Proxy (SigningKey PaymentExtendedKey) -> Text Source #

FromCBOR (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey PaymentKey) Source #

label :: Proxy (SigningKey PaymentKey) -> Text Source #

FromCBOR (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey ByronKey) Source #

label :: Proxy (SigningKey ByronKey) -> Text Source #

(FromCBOR a, FromCBOR b) => FromCBOR (Either a b) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (Either a b) Source #

label :: Proxy (Either a b) -> Text Source #

(FromCBOR a, FromCBOR b) => FromCBOR (a, b) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (a, b) Source #

label :: Proxy (a, b) -> Text Source #

(Ord k, FromCBOR k, FromCBOR v) => FromCBOR (Map k v) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (Map k v) Source #

label :: Proxy (Map k v) -> Text Source #

(VRFAlgorithm v, Typeable a) => FromCBOR (CertifiedVRF v a) 
Instance details

Defined in Cardano.Crypto.VRF.Class

(HashAlgorithm h, Typeable a) => FromCBOR (Hash h a) 
Instance details

Defined in Cardano.Crypto.Hash.Class

Methods

fromCBOR :: Decoder s (Hash h a) Source #

label :: Proxy (Hash h a) -> Text Source #

(Typeable algo, Typeable a, HashAlgorithm algo) => FromCBOR (AbstractHash algo a) 
Instance details

Defined in Cardano.Crypto.Hashing

Methods

fromCBOR :: Decoder s (AbstractHash algo a) Source #

label :: Proxy (AbstractHash algo a) -> Text Source #

(Typeable kr, Era era, Typeable (Script era)) => FromCBOR (Credential kr era) 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

fromCBOR :: Decoder s (Credential kr era) Source #

label :: Proxy (Credential kr era) -> Text Source #

(Crypto crypto, Typeable kd) => FromCBOR (VKey kd crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBOR :: Decoder s (VKey kd crypto) Source #

label :: Proxy (VKey kd crypto) -> Text Source #

(Crypto crypto, Typeable disc) => FromCBOR (KeyHash disc crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBOR :: Decoder s (KeyHash disc crypto) Source #

label :: Proxy (KeyHash disc crypto) -> Text Source #

(FromCBOR a, FromCBOR b, FromCBOR c) => FromCBOR (a, b, c) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (a, b, c) Source #

label :: Proxy (a, b, c) -> Text Source #

(Typeable s, FromCBOR a) => FromCBOR (Tagged s a) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s0 (Tagged s a) Source #

label :: Proxy (Tagged s a) -> Text Source #

(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d) => FromCBOR (a, b, c, d) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (a, b, c, d) Source #

label :: Proxy (a, b, c, d) -> Text Source #

(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e) => FromCBOR (a, b, c, d, e) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (a, b, c, d, e) Source #

label :: Proxy (a, b, c, d, e) -> Text Source #

(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f, FromCBOR g) => FromCBOR (a, b, c, d, e, f, g) 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR :: Decoder s (a, b, c, d, e, f, g) Source #

label :: Proxy (a, b, c, d, e, f, g) -> Text Source #

JSON

class ToJSON a Source #

A type that can be converted to JSON.

Instances in general must specify toJSON and should (but don't need to) specify toEncoding.

An example type and instance:

-- Allow ourselves to write Text literals.
{-# LANGUAGE OverloadedStrings #-}

data Coord = Coord { x :: Double, y :: Double }

instance ToJSON Coord where
  toJSON (Coord x y) = object ["x" .= x, "y" .= y]

  toEncoding (Coord x y) = pairs ("x" .= x <> "y" .= y)

Instead of manually writing your ToJSON instance, there are two options to do it automatically:

  • Data.Aeson.TH provides Template Haskell functions which will derive an instance at compile time. The generated instance is optimized for your type so it will probably be more efficient than the following option.
  • The compiler can provide a default generic implementation for toJSON.

To use the second, simply add a deriving Generic clause to your datatype and declare a ToJSON instance. If you require nothing other than defaultOptions, it is sufficient to write (and this is the only alternative where the default toJSON implementation is sufficient):

{-# LANGUAGE DeriveGeneric #-}

import GHC.Generics

data Coord = Coord { x :: Double, y :: Double } deriving Generic

instance ToJSON Coord where
    toEncoding = genericToEncoding defaultOptions

If on the other hand you wish to customize the generic decoding, you have to implement both methods:

customOptions = defaultOptions
                { fieldLabelModifier = map toUpper
                }

instance ToJSON Coord where
    toJSON     = genericToJSON customOptions
    toEncoding = genericToEncoding customOptions

Previous versions of this library only had the toJSON method. Adding toEncoding had two reasons:

  1. toEncoding is more efficient for the common case that the output of toJSON is directly serialized to a ByteString. Further, expressing either method in terms of the other would be non-optimal.
  2. The choice of defaults allows a smooth transition for existing users: Existing instances that do not define toEncoding still compile and have the correct semantics. This is ensured by making the default implementation of toEncoding use toJSON. This produces correct results, but since it performs an intermediate conversion to a Value, it will be less efficient than directly emitting an Encoding. (this also means that specifying nothing more than instance ToJSON Coord would be sufficient as a generically decoding instance, but there probably exists no good reason to not specify toEncoding in new instances.)

Instances

Instances details
ToJSON Bool 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Char 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Double 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Float 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int8 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int16 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int32 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int64 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Integer 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Ordering 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word8 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word16 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word32 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word64 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON () 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Version 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Scientific 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Text 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON UTCTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Value 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON DotNetTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Text 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Number 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Void 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON CTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON ByteString64 
Instance details

Defined in Data.ByteString.Base64.Type

ToJSON ByteSpan 
Instance details

Defined in Cardano.Binary.Annotated

ToJSON VerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.VerificationKey

ToJSON CompactRedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

ToJSON RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

ToJSON ProtocolMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToJSON ProtocolMagicId 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToJSON RequiresNetworkMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToJSON Proof 
Instance details

Defined in Cardano.Chain.Block.Proof

ToJSON ProposalBody 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToJSON SystemTag 
Instance details

Defined in Cardano.Chain.Update.SystemTag

ToJSON SoftwareVersion 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

ToJSON ProtocolParametersUpdate 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

ToJSON SoftforkRule 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

ToJSON ProtocolVersion 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

ToJSON InstallerHash 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

ToJSON ApplicationName 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

ToJSON TxProof 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

ToJSON TxInWitness 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToJSON TxSigData 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToJSON Tx 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToJSON TxIn 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToJSON TxOut 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToJSON SscPayload 
Instance details

Defined in Cardano.Chain.Ssc

ToJSON SscProof 
Instance details

Defined in Cardano.Chain.Ssc

ToJSON SlotNumber 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

ToJSON EpochNumber 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

ToJSON GenesisHash 
Instance details

Defined in Cardano.Chain.Genesis.Hash

ToJSON TxFeePolicy 
Instance details

Defined in Cardano.Chain.Common.TxFeePolicy

ToJSON TxSizeLinear 
Instance details

Defined in Cardano.Chain.Common.TxSizeLinear

ToJSON Address 
Instance details

Defined in Cardano.Chain.Common.Address

ToJSON AddrAttributes 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ToJSON HDAddressPayload 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ToJSON NetworkMagic 
Instance details

Defined in Cardano.Chain.Common.NetworkMagic

ToJSON LovelacePortion 
Instance details

Defined in Cardano.Chain.Common.LovelacePortion

ToJSON Lovelace 
Instance details

Defined in Cardano.Chain.Common.Lovelace

ToJSON ChainDifficulty 
Instance details

Defined in Cardano.Chain.Common.ChainDifficulty

ToJSON UnparsedFields 
Instance details

Defined in Cardano.Chain.Common.Attributes

ToJSON AddrType 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

ToJSON Coin 
Instance details

Defined in Shelley.Spec.Ledger.Coin

ToJSON IntSet 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON DiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON NominalDiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON ProtVer 
Instance details

Defined in Shelley.Spec.Ledger.PParams

ToJSON Nonce 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToJSON PoolMetaData 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

ToJSON StakePoolRelay 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

ToJSON UnitInterval 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToJSON Url 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToJSON DnsName 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToJSON Port 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToJSON Network 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

ToJSON StudentT 
Instance details

Defined in Statistics.Distribution.StudentT

ToJSON ZonedTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON LocalTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON TimeOfDay 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON CalendarDiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON SystemTime

Encoded as number

Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON DayOfWeek 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Day 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON CalendarDiffDays 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON UUID 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON TextView Source # 
Instance details

Defined in Cardano.Api.TextView

ToJSON MultiSigScript Source # 
Instance details

Defined in Cardano.Api.Typed

ToJSON a => ToJSON [a] 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: [a] -> Value Source #

toEncoding :: [a] -> Encoding Source #

toJSONList :: [[a]] -> Value Source #

toEncodingList :: [[a]] -> Encoding Source #

ToJSON a => ToJSON (Maybe a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, Integral a) => ToJSON (Ratio a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (First a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Set a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (NonEmpty a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Min a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Max a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (WrappedMonoid a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Option a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (First a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Dual a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON (Signature w) 
Instance details

Defined in Cardano.Crypto.Signing.Signature

ToJSON a => ToJSON (RedeemSignature a) 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

ToJSON a => ToJSON (ABlock a) 
Instance details

Defined in Cardano.Chain.Block.Block

ToJSON a => ToJSON (ABlockOrBoundary a) 
Instance details

Defined in Cardano.Chain.Block.Block

ToJSON a => ToJSON (ABoundaryBody a) 
Instance details

Defined in Cardano.Chain.Block.Block

ToJSON a => ToJSON (ABoundaryBlock a) 
Instance details

Defined in Cardano.Chain.Block.Block

ToJSON a => ToJSON (AHeader a) 
Instance details

Defined in Cardano.Chain.Block.Header

ToJSON a => ToJSON (ABoundaryHeader a) 
Instance details

Defined in Cardano.Chain.Block.Header

ToJSON a => ToJSON (ABlockSignature a) 
Instance details

Defined in Cardano.Chain.Block.Header

ToJSON a => ToJSON (ABody a) 
Instance details

Defined in Cardano.Chain.Block.Body

ToJSON a => ToJSON (APayload a) 
Instance details

Defined in Cardano.Chain.Update.Payload

ToJSON a => ToJSON (AVote a) 
Instance details

Defined in Cardano.Chain.Update.Vote

ToJSON a => ToJSON (AProposal a) 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToJSON a => ToJSON (ATxPayload a) 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

ToJSON a => ToJSON (ATxAux a) 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

ToJSON a => ToJSON (APayload a) 
Instance details

Defined in Cardano.Chain.Delegation.Payload

ToJSON a => ToJSON (ACertificate a) 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

ToJSON a => ToJSON (MerkleRoot a) 
Instance details

Defined in Cardano.Chain.Common.Merkle

ToJSON a => ToJSON (Attributes a) 
Instance details

Defined in Cardano.Chain.Common.Attributes

ToJSON v => ToJSON (Tree v) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Seq a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (IntMap a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON1 f => ToJSON (Fix f)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON1 f, Functor f) => ToJSON (Mu f)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON1 f, Functor f) => ToJSON (Nu f)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (DNonEmpty a)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (DList a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Era era => ToJSON (ShelleyGenesisStaking era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

Era era => ToJSON (ShelleyGenesis era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

(Prim a, ToJSON a) => ToJSON (PrimArray a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (SmallArray a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Array a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Era era => ToJSON (PoolParams era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era => ToJSON (StakeCreds era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era => ToJSON (Addr era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

Era era => ToJSON (RewardAcnt era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

ToJSON (PParams era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Era era => ToJSON (ScriptHash era) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

ToJSON a => ToJSON (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Crypto crypto => ToJSON (GenDelegPair crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

ToJSON d => ToJSON (LinearTransform d) 
Instance details

Defined in Statistics.Distribution.Transform

ToJSON a => ToJSON (Maybe a)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (HashSet a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(Vector Vector a, ToJSON a) => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(Storable a, ToJSON a) => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(Prim a, ToJSON a) => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON a => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

(ToJSON a, ToJSON b) => ToJSON (Either a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b) => ToJSON (a, b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b) -> Value Source #

toEncoding :: (a, b) -> Encoding Source #

toJSONList :: [(a, b)] -> Value Source #

toEncodingList :: [(a, b)] -> Encoding Source #

(ToJSON v, ToJSONKey k) => ToJSON (Map k v) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON v, ToJSONKey k) => ToJSON (HashMap k v) 
Instance details

Defined in Data.Aeson.Types.ToJSON

HasResolution a => ToJSON (Fixed a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON b => ToJSON (Annotated b a) 
Instance details

Defined in Cardano.Binary.Annotated

ToJSON (Hash crypto a) 
Instance details

Defined in Cardano.Crypto.Hash.Class

Methods

toJSON :: Hash crypto a -> Value Source #

toEncoding :: Hash crypto a -> Encoding Source #

toJSONList :: [Hash crypto a] -> Value Source #

toEncodingList :: [Hash crypto a] -> Encoding Source #

ToJSON (AbstractHash algo a) 
Instance details

Defined in Cardano.Crypto.Hashing

Era era => ToJSON (Credential kr era) 
Instance details

Defined in Shelley.Spec.Ledger.Credential

ToJSON (KeyHash disc crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toJSON :: KeyHash disc crypto -> Value Source #

toEncoding :: KeyHash disc crypto -> Encoding Source #

toJSONList :: [KeyHash disc crypto] -> Value Source #

toEncodingList :: [KeyHash disc crypto] -> Encoding Source #

(ToJSON a, ToJSON b) => ToJSON (Pair a b)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b) => ToJSON (These a b)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b) => ToJSON (Either a b)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b) => ToJSON (These a b)

Since: aeson-1.5.1.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b, ToJSON c) => ToJSON (a, b, c) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c) -> Value Source #

toEncoding :: (a, b, c) -> Encoding Source #

toJSONList :: [(a, b, c)] -> Value Source #

toEncodingList :: [(a, b, c)] -> Encoding Source #

ToJSON a => ToJSON (Const a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON b => ToJSON (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (These1 f g a)

Since: aeson-1.5.1.0

Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (a, b, c, d) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d) -> Value Source #

toEncoding :: (a, b, c, d) -> Encoding Source #

toJSONList :: [(a, b, c, d)] -> Value Source #

toEncodingList :: [(a, b, c, d)] -> Encoding Source #

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Product f g a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Sum f g a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Sum f g a -> Value Source #

toEncoding :: Sum f g a -> Encoding Source #

toJSONList :: [Sum f g a] -> Value Source #

toEncodingList :: [Sum f g a] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (a, b, c, d, e) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e) -> Value Source #

toEncoding :: (a, b, c, d, e) -> Encoding Source #

toJSONList :: [(a, b, c, d, e)] -> Value Source #

toEncodingList :: [(a, b, c, d, e)] -> Encoding Source #

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Compose f g a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (a, b, c, d, e, f) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f) -> Value Source #

toEncoding :: (a, b, c, d, e, f) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (a, b, c, d, e, f, g) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (a, b, c, d, e, f, g, h) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (a, b, c, d, e, f, g, h, i) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (a, b, c, d, e, f, g, h, i, j) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i, j) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i, j)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k) => ToJSON (a, b, c, d, e, f, g, h, i, j, k) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Encoding Source #

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Value Source #

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Encoding Source #

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Value Source #

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Encoding Source #

class FromJSON a Source #

A type that can be converted from JSON, with the possibility of failure.

In many cases, you can get the compiler to generate parsing code for you (see below). To begin, let's cover writing an instance by hand.

There are various reasons a conversion could fail. For example, an Object could be missing a required key, an Array could be of the wrong size, or a value could be of an incompatible type.

The basic ways to signal a failed conversion are as follows:

  • fail yields a custom error message: it is the recommended way of reporting a failure;
  • empty (or mzero) is uninformative: use it when the error is meant to be caught by some (<|>);
  • typeMismatch can be used to report a failure when the encountered value is not of the expected JSON type; unexpected is an appropriate alternative when more than one type may be expected, or to keep the expected type implicit.

prependFailure (or modifyFailure) add more information to a parser's error messages.

An example type and instance using typeMismatch and prependFailure:

-- Allow ourselves to write Text literals.
{-# LANGUAGE OverloadedStrings #-}

data Coord = Coord { x :: Double, y :: Double }

instance FromJSON Coord where
    parseJSON (Object v) = Coord
        <$> v .: "x"
        <*> v .: "y"

    -- We do not expect a non-Object value here.
    -- We could use empty to fail, but typeMismatch
    -- gives a much more informative error message.
    parseJSON invalid    =
        prependFailure "parsing Coord failed, "
            (typeMismatch "Object" invalid)

For this common case of only being concerned with a single type of JSON value, the functions withObject, withScientific, etc. are provided. Their use is to be preferred when possible, since they are more terse. Using withObject, we can rewrite the above instance (assuming the same language extension and data type) as:

instance FromJSON Coord where
    parseJSON = withObject "Coord" $ \v -> Coord
        <$> v .: "x"
        <*> v .: "y"

Instead of manually writing your FromJSON instance, there are two options to do it automatically:

  • Data.Aeson.TH provides Template Haskell functions which will derive an instance at compile time. The generated instance is optimized for your type so it will probably be more efficient than the following option.
  • The compiler can provide a default generic implementation for parseJSON.

To use the second, simply add a deriving Generic clause to your datatype and declare a FromJSON instance for your datatype without giving a definition for parseJSON.

For example, the previous example can be simplified to just:

{-# LANGUAGE DeriveGeneric #-}

import GHC.Generics

data Coord = Coord { x :: Double, y :: Double } deriving Generic

instance FromJSON Coord

The default implementation will be equivalent to parseJSON = genericParseJSON defaultOptions; if you need different options, you can customize the generic decoding by defining:

customOptions = defaultOptions
                { fieldLabelModifier = map toUpper
                }

instance FromJSON Coord where
    parseJSON = genericParseJSON customOptions

Instances

Instances details
FromJSON Bool 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Char 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Double 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Float 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Int 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Int8 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Int16 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Int32 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Int64 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Integer

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Scientific and provide your own instance using withScientific if you want to allow larger inputs.

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Natural 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Ordering 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Word 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Word8 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Word16 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Word32 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Word64 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON () 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Version 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Scientific 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Text 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON UTCTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Value 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON DotNetTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Text 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Void 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON CTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON ByteString64 
Instance details

Defined in Data.ByteString.Base64.Type

FromJSON VerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.VerificationKey

FromJSON CompactRedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

FromJSON RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

FromJSON ProtocolMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

FromJSON ProtocolMagicId 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

FromJSON RequiresNetworkMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

FromJSON Coin 
Instance details

Defined in Shelley.Spec.Ledger.Coin

FromJSON IntSet 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

FromJSON EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

FromJSON EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

FromJSON DiffTime

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Scientific and provide your own instance using withScientific if you want to allow larger inputs.

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON NominalDiffTime

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Scientific and provide your own instance using withScientific if you want to allow larger inputs.

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON ProtVer 
Instance details

Defined in Shelley.Spec.Ledger.PParams

FromJSON Nonce 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON PoolMetaData 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

FromJSON StakePoolRelay 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

FromJSON UnitInterval 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON Url 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON DnsName 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON Port 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON Network 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON StudentT 
Instance details

Defined in Statistics.Distribution.StudentT

FromJSON ZonedTime

Supported string formats:

YYYY-MM-DD HH:MM Z YYYY-MM-DD HH:MM:SS Z YYYY-MM-DD HH:MM:SS.SSS Z

The first space may instead be a T, and the second space is optional. The Z represents UTC. The Z may be replaced with a time zone offset of the form +0000 or -08:00, where the first two digits are hours, the : is optional and the second two digits (also optional) are minutes.

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON LocalTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON TimeOfDay 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON CalendarDiffTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON SystemTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON DayOfWeek 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON Day 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON CalendarDiffDays 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON UUID 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON TextView Source # 
Instance details

Defined in Cardano.Api.TextView

FromJSON StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Typed

FromJSON MultiSigScript Source # 
Instance details

Defined in Cardano.Api.Typed

FromJSON a => FromJSON [a] 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Maybe a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, Integral a) => FromJSON (Ratio a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (First a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(Ord a, FromJSON a) => FromJSON (Set a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (NonEmpty a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Min a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Max a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (WrappedMonoid a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Option a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (First a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Dual a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON (Signature w) 
Instance details

Defined in Cardano.Crypto.Signing.Signature

FromJSON a => FromJSON (RedeemSignature a) 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Signature

FromJSON v => FromJSON (Tree v) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Seq a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (IntMap a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON1 f => FromJSON (Fix f)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON1 f, Functor f) => FromJSON (Mu f)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON1 f, Functor f) => FromJSON (Nu f)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (DNonEmpty a)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (DList a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Era era => FromJSON (ShelleyGenesisStaking era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

Era era => FromJSON (ShelleyGenesis era) 
Instance details

Defined in Shelley.Spec.Ledger.Genesis

(Prim a, FromJSON a) => FromJSON (PrimArray a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (SmallArray a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Array a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Era era => FromJSON (PoolParams era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era => FromJSON (StakeCreds era) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Era era => FromJSON (Addr era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

Era era => FromJSON (RewardAcnt era) 
Instance details

Defined in Shelley.Spec.Ledger.Address

FromJSON (PParams era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Era era => FromJSON (ScriptHash era) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

FromJSON a => FromJSON (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Crypto crypto => FromJSON (GenDelegPair crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

FromJSON d => FromJSON (LinearTransform d) 
Instance details

Defined in Statistics.Distribution.Transform

FromJSON a => FromJSON (Maybe a)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(Eq a, Hashable a, FromJSON a) => FromJSON (HashSet a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(Vector Vector a, FromJSON a) => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(Storable a, FromJSON a) => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(Prim a, FromJSON a) => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON a => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b) => FromJSON (Either a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b) => FromJSON (a, b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b) Source #

parseJSONList :: Value -> Parser [(a, b)] Source #

(FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON v, FromJSONKey k, Eq k, Hashable k) => FromJSON (HashMap k v) 
Instance details

Defined in Data.Aeson.Types.FromJSON

HasResolution a => FromJSON (Fixed a)

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Scientific and provide your own instance using withScientific if you want to allow larger inputs.

Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON b => FromJSON (Annotated b ()) 
Instance details

Defined in Cardano.Binary.Annotated

HashAlgorithm crypto => FromJSON (Hash crypto a) 
Instance details

Defined in Cardano.Crypto.Hash.Class

Methods

parseJSON :: Value -> Parser (Hash crypto a) Source #

parseJSONList :: Value -> Parser [Hash crypto a] Source #

HashAlgorithm algo => FromJSON (AbstractHash algo a) 
Instance details

Defined in Cardano.Crypto.Hashing

Era era => FromJSON (Credential kr era) 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Crypto crypto => FromJSON (KeyHash disc crypto) 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

parseJSON :: Value -> Parser (KeyHash disc crypto) Source #

parseJSONList :: Value -> Parser [KeyHash disc crypto] Source #

(FromJSON a, FromJSON b) => FromJSON (Pair a b)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b) => FromJSON (These a b)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b) => FromJSON (Either a b)

Since: aeson-1.5.3.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b) => FromJSON (These a b)

Since: aeson-1.5.1.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b, FromJSON c) => FromJSON (a, b, c) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c) Source #

parseJSONList :: Value -> Parser [(a, b, c)] Source #

FromJSON a => FromJSON (Const a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON b => FromJSON (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (These1 f g a)

Since: aeson-1.5.1.0

Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (a, b, c, d) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d) Source #

parseJSONList :: Value -> Parser [(a, b, c, d)] Source #

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Product f g a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Sum f g a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Sum f g a) Source #

parseJSONList :: Value -> Parser [Sum f g a] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (a, b, c, d, e) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e)] Source #

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Compose f g a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (a, b, c, d, e, f) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (a, b, c, d, e, f, g) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (a, b, c, d, e, f, g, h) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (a, b, c, d, e, f, g, h, i) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (a, b, c, d, e, f, g, h, i, j) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k) => FromJSON (a, b, c, d, e, f, g, h, i, j, k) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] Source #

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] Source #

deserialiseFromJSON :: FromJSON a => AsType a -> ByteString -> Either JsonDecodeError a Source #

Bech32

class (HasTypeProxy a, SerialiseAsRawBytes a) => SerialiseAsBech32 a Source #

Minimal complete definition

bech32PrefixFor, bech32PrefixesPermitted

Instances

Instances details
SerialiseAsBech32 StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey VrfKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey VrfKey) -> [Text]

SerialiseAsBech32 (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey KesKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey KesKey) -> [Text]

SerialiseAsBech32 (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey StakePoolKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey StakePoolKey) -> [Text]

SerialiseAsBech32 (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey StakeExtendedKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey StakeExtendedKey) -> [Text]

SerialiseAsBech32 (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey StakeKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey StakeKey) -> [Text]

SerialiseAsBech32 (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey PaymentExtendedKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey PaymentExtendedKey) -> [Text]

SerialiseAsBech32 (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey PaymentKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey PaymentKey) -> [Text]

SerialiseAsBech32 (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: VerificationKey ByronKey -> Text

bech32PrefixesPermitted :: AsType (VerificationKey ByronKey) -> [Text]

SerialiseAsBech32 (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey VrfKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey VrfKey) -> [Text]

SerialiseAsBech32 (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey KesKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey KesKey) -> [Text]

SerialiseAsBech32 (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey StakeKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey StakeKey) -> [Text]

SerialiseAsBech32 (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsBech32 (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey PaymentKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey PaymentKey) -> [Text]

SerialiseAsBech32 (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

bech32PrefixFor :: SigningKey ByronKey -> Text

bech32PrefixesPermitted :: AsType (SigningKey ByronKey) -> [Text]

Addresses

Address serialisation is (sadly) special

class HasTypeProxy addr => SerialiseAddress addr Source #

Address serialisation uses different serialisation formats for different kinds of addresses, so it needs its own class.

In particular, Byron addresses are typically formatted in base 58, while Shelley addresses (payment and stake) are formatted using Bech32.

Minimal complete definition

serialiseAddress, deserialiseAddress

Raw binary

Some types have a natural raw binary format.

class HasTypeProxy a => SerialiseAsRawBytes a Source #

Minimal complete definition

serialiseToRawBytes, deserialiseFromRawBytes

Instances

Instances details
SerialiseAsRawBytes TxId Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes StakeAddress Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Address Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Address Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash Script) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey VrfKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey VrfKey) -> ByteString -> Maybe (VerificationKey VrfKey) Source #

SerialiseAsRawBytes (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey KesKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey KesKey) -> ByteString -> Maybe (VerificationKey KesKey) Source #

SerialiseAsRawBytes (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey StakePoolKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey StakePoolKey) -> ByteString -> Maybe (VerificationKey StakePoolKey) Source #

SerialiseAsRawBytes (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey GenesisKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey GenesisKey) -> ByteString -> Maybe (VerificationKey GenesisKey) Source #

SerialiseAsRawBytes (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey StakeKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey StakeKey) -> ByteString -> Maybe (VerificationKey StakeKey) Source #

SerialiseAsRawBytes (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey PaymentKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey PaymentKey) -> ByteString -> Maybe (VerificationKey PaymentKey) Source #

SerialiseAsRawBytes (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey ByronKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey ByronKey) -> ByteString -> Maybe (VerificationKey ByronKey) Source #

SerialiseAsRawBytes (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: SigningKey VrfKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (SigningKey VrfKey) -> ByteString -> Maybe (SigningKey VrfKey) Source #

SerialiseAsRawBytes (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: SigningKey KesKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (SigningKey KesKey) -> ByteString -> Maybe (SigningKey KesKey) Source #

SerialiseAsRawBytes (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Text envelope

Support for a envelope file format with text headers and a hex-encoded binary payload.

class SerialiseAsCBOR a => HasTextEnvelope a Source #

Minimal complete definition

textEnvelopeType

Instances

Instances details
HasTextEnvelope OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope UpdateProposal Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope Certificate Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope Script Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Witness Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Witness Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Tx Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (Tx Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (TxBody Shelley) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (TxBody Byron) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Reading one of several key types

Errors

throwErrorAsException :: Error e => e -> IO a Source #

The preferred approach is to use Except or ExceptT, but you can if necessary use IO exceptions.

data FileError e Source #

Instances

Instances details
Show e => Show (FileError e) Source # 
Instance details

Defined in Cardano.Api.Typed

Error e => Error (FileError e) Source # 
Instance details

Defined in Cardano.Api.Typed

Node interaction

Operations that involve talking to a local Cardano node.

Queries

Submitting transactions

Low level protocol interaction with a Cardano node

connectToLocalNode :: forall mode block. (ShowProxy block, ShowProxy (ApplyTxErr block), ShowProxy (Query block), ShowProxy (GenTx block), ShowQuery (Query block)) => LocalNodeConnectInfo mode block -> LocalNodeClientProtocols block -> IO () Source #

Establish a connection to a node and execute the given set of protocol handlers.

data LocalNodeConnectInfo mode block Source #

data NodeConsensusMode mode block Source #

Chain sync protocol

data ChainSyncClient header point tip (m :: Type -> Type) a #

runChainSyncClient :: ChainSyncClient header point tip m a -> m (ClientStIdle header point tip m a) #

Local tx submission

data LocalTxSubmissionClient tx reject (m :: Type -> Type) a #

runLocalTxSubmissionClient :: LocalTxSubmissionClient tx reject m a -> m (LocalTxClientStIdle tx reject m a) #

submitTxToNodeLocal :: forall mode block. (ShowProxy block, ShowProxy (ApplyTxErr block), ShowProxy (Query block), ShowProxy (GenTx block), ShowQuery (Query block)) => LocalNodeConnectInfo mode block -> GenTx block -> IO (SubmitResult (ApplyTxErr block)) Source #

Local state query

data LocalStateQueryClient block point (query :: Type -> Type) (m :: Type -> Type) a #

runLocalStateQueryClient :: LocalStateQueryClient block point query m a -> m (ClientStIdle block point query m a) #

queryNodeLocalState :: forall mode block result. (ShowProxy block, ShowProxy (ApplyTxErr block), ShowProxy (Query block), ShowProxy (GenTx block), ShowQuery (Query block)) => LocalNodeConnectInfo mode block -> (Point block, Query block result) -> IO (Either AcquireFailure result) Source #

Establish a connection to a node and execute a single query using the local state query protocol.

Node operation

Support for the steps needed to operate a node

Operational certificates

data OperationalCertificate Source #

Instances

Instances details
Eq OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

Show OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType OperationalCertificate Source #

data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Typed

data OperationalCertificateIssueCounter Source #

Instances

Instances details
Eq OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

Show OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

HasTypeProxy OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Typed

Genesis file

Types and functions needed to inspect or create a genesis file.

data GenesisKey Source #

Instances

Instances details
Key GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisKey

data SigningKey GenesisKey

HasTypeProxy GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisKey Source #

Eq (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey GenesisKey -> VerificationKey GenesisKey -> Bool #

(/=) :: VerificationKey GenesisKey -> VerificationKey GenesisKey -> Bool #

Ord (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey GenesisKey -> ShowS #

show :: VerificationKey GenesisKey -> String #

showList :: [VerificationKey GenesisKey] -> ShowS #

Show (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey GenesisKey -> ShowS #

show :: SigningKey GenesisKey -> String #

showList :: [SigningKey GenesisKey] -> ShowS #

IsString (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey GenesisKey #

IsString (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey GenesisKey #

ToCBOR (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisKey] -> Size Source #

ToCBOR (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisKey] -> Size Source #

FromCBOR (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisKey) Source #

label :: Proxy (VerificationKey GenesisKey) -> Text Source #

FromCBOR (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisKey) Source #

label :: Proxy (SigningKey GenesisKey) -> Text Source #

HasTextEnvelope (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToRawBytes :: VerificationKey GenesisKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (VerificationKey GenesisKey) -> ByteString -> Maybe (VerificationKey GenesisKey) Source #

SerialiseAsRawBytes (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

serialiseToCBOR :: VerificationKey GenesisKey -> ByteString Source #

deserialiseFromCBOR :: AsType (VerificationKey GenesisKey) -> ByteString -> Either DecoderError (VerificationKey GenesisKey) Source #

SerialiseAsCBOR (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Typed

data GenesisExtendedKey Source #

Shelley-era genesis keys using extended ed25519 cryptographic keys.

These serve the same role as normal genesis keys, but are here to support legacy Byron genesis keys which used extended keys.

The extended verification keys can be converted (via castVerificationKey) to ordinary keys (i.e. VerificationKey GenesisKey) but this is not the case for the signing keys. The signing keys can be used to witness transactions directly, with verification via their non-extended verification key (VerificationKey GenesisKey).

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
Key GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisExtendedKey

data SigningKey GenesisExtendedKey

HasTypeProxy GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisExtendedKey Source #

Eq (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey GenesisExtendedKey -> VerificationKey GenesisExtendedKey -> Bool #

(/=) :: VerificationKey GenesisExtendedKey -> VerificationKey GenesisExtendedKey -> Bool #

Ord (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey GenesisExtendedKey -> ShowS #

show :: VerificationKey GenesisExtendedKey -> String #

showList :: [VerificationKey GenesisExtendedKey] -> ShowS #

Show (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey GenesisExtendedKey -> ShowS #

show :: SigningKey GenesisExtendedKey -> String #

showList :: [SigningKey GenesisExtendedKey] -> ShowS #

IsString (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey GenesisExtendedKey #

IsString (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey GenesisExtendedKey #

ToCBOR (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisExtendedKey] -> Size Source #

ToCBOR (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisExtendedKey] -> Size Source #

FromCBOR (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisExtendedKey) Source #

label :: Proxy (VerificationKey GenesisExtendedKey) -> Text Source #

FromCBOR (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisExtendedKey) Source #

label :: Proxy (SigningKey GenesisExtendedKey) -> Text Source #

HasTextEnvelope (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

data GenesisDelegateKey Source #

Instances

Instances details
Key GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisDelegateKey

data SigningKey GenesisDelegateKey

HasTypeProxy GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisDelegateKey Source #

Eq (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey GenesisDelegateKey -> VerificationKey GenesisDelegateKey -> Bool #

(/=) :: VerificationKey GenesisDelegateKey -> VerificationKey GenesisDelegateKey -> Bool #

Ord (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey GenesisDelegateKey -> ShowS #

show :: VerificationKey GenesisDelegateKey -> String #

showList :: [VerificationKey GenesisDelegateKey] -> ShowS #

Show (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey GenesisDelegateKey -> ShowS #

show :: SigningKey GenesisDelegateKey -> String #

showList :: [SigningKey GenesisDelegateKey] -> ShowS #

IsString (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey GenesisDelegateKey #

IsString (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey GenesisDelegateKey #

ToCBOR (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisDelegateKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisDelegateKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisDelegateKey] -> Size Source #

ToCBOR (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisDelegateKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisDelegateKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisDelegateKey] -> Size Source #

FromCBOR (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisDelegateKey) Source #

label :: Proxy (VerificationKey GenesisDelegateKey) -> Text Source #

FromCBOR (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisDelegateKey) Source #

label :: Proxy (SigningKey GenesisDelegateKey) -> Text Source #

HasTextEnvelope (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Typed

data GenesisDelegateExtendedKey Source #

Shelley-era genesis keys using extended ed25519 cryptographic keys.

These serve the same role as normal genesis keys, but are here to support legacy Byron genesis keys which used extended keys.

The extended verification keys can be converted (via castVerificationKey) to ordinary keys (i.e. VerificationKey GenesisKey) but this is not the case for the signing keys. The signing keys can be used to witness transactions directly, with verification via their non-extended verification key (VerificationKey GenesisKey).

This is a type level tag, used with other interfaces like Key.

Instances

Instances details
Key GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisDelegateExtendedKey

data SigningKey GenesisDelegateExtendedKey

HasTypeProxy GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey GenesisDelegateExtendedKey -> VerificationKey GenesisDelegateExtendedKey -> Bool #

(/=) :: VerificationKey GenesisDelegateExtendedKey -> VerificationKey GenesisDelegateExtendedKey -> Bool #

Ord (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey GenesisDelegateExtendedKey -> ShowS #

show :: VerificationKey GenesisDelegateExtendedKey -> String #

showList :: [VerificationKey GenesisDelegateExtendedKey] -> ShowS #

Show (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

IsString (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey GenesisDelegateExtendedKey #

IsString (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

ToCBOR (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisDelegateExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisDelegateExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisDelegateExtendedKey] -> Size Source #

ToCBOR (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisDelegateExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisDelegateExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisDelegateExtendedKey] -> Size Source #

FromCBOR (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

FromCBOR (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Typed

data GenesisUTxOKey Source #

Instances

Instances details
Key GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data VerificationKey GenesisUTxOKey

data SigningKey GenesisUTxOKey

HasTypeProxy GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

Associated Types

data AsType GenesisUTxOKey Source #

Eq (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Eq (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

(==) :: VerificationKey GenesisUTxOKey -> VerificationKey GenesisUTxOKey -> Bool #

(/=) :: VerificationKey GenesisUTxOKey -> VerificationKey GenesisUTxOKey -> Bool #

Ord (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Show (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> VerificationKey GenesisUTxOKey -> ShowS #

show :: VerificationKey GenesisUTxOKey -> String #

showList :: [VerificationKey GenesisUTxOKey] -> ShowS #

Show (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

showsPrec :: Int -> SigningKey GenesisUTxOKey -> ShowS #

show :: SigningKey GenesisUTxOKey -> String #

showList :: [SigningKey GenesisUTxOKey] -> ShowS #

IsString (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> VerificationKey GenesisUTxOKey #

IsString (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromString :: String -> SigningKey GenesisUTxOKey #

ToCBOR (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: VerificationKey GenesisUTxOKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerificationKey GenesisUTxOKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey GenesisUTxOKey] -> Size Source #

ToCBOR (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

toCBOR :: SigningKey GenesisUTxOKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigningKey GenesisUTxOKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey GenesisUTxOKey] -> Size Source #

FromCBOR (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (VerificationKey GenesisUTxOKey) Source #

label :: Proxy (VerificationKey GenesisUTxOKey) -> Text Source #

FromCBOR (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

Methods

fromCBOR :: Decoder s (SigningKey GenesisUTxOKey) Source #

label :: Proxy (SigningKey GenesisUTxOKey) -> Text Source #

HasTextEnvelope (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

HasTextEnvelope (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsRawBytes (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

SerialiseAsCBOR (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Typed

newtype Hash GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype VerificationKey GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

newtype SigningKey GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Typed

genesisUTxOPseudoTxIn :: NetworkId -> Hash GenesisUTxOKey -> TxIn Source #

Compute the TxIn of the initial UTxO pseudo-transaction corresponding to the given address in the genesis initial funds.

The Shelley initial UTxO is constructed from the sgInitialFunds which is not a full UTxO but just a map from addresses to coin values.

This gets turned into a UTxO by making a pseudo-transaction for each address, with the 0th output being the coin value. So to spend from the initial UTxO we need this same TxIn to use as an input to the spending transaction.

Special transactions

There are various additional things that can be embedded in a transaction for special operations.

data NetworkMagic #

Instances

Instances details
Eq NetworkMagic 
Instance details

Defined in Ouroboros.Network.Magic

Show NetworkMagic 
Instance details

Defined in Ouroboros.Network.Magic

Generic NetworkMagic 
Instance details

Defined in Ouroboros.Network.Magic

Associated Types

type Rep NetworkMagic :: Type -> Type #

NoThunks NetworkMagic 
Instance details

Defined in Ouroboros.Network.Magic

type Rep NetworkMagic 
Instance details

Defined in Ouroboros.Network.Magic

type Rep NetworkMagic = D1 ('MetaData "NetworkMagic" "Ouroboros.Network.Magic" "ouroboros-network-0.1.0.0-DgIBwCUrGXaLitNwqCfIcM" 'True) (C1 ('MetaCons "NetworkMagic" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNetworkMagic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))