Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Node.Queries

Contents

KES
General ledger
Node kernel
Re-exports

Synopsis

class ConvertTxId blk where
- txIdToRawBytes :: TxId (GenTx blk) -> ByteString
newtype MaxKESEvolutions = MaxKESEvolutions Word64
newtype OperationalCertStartKESPeriod = OperationalCertStartKESPeriod Period
class GetKESInfo blk where
- getKESInfoFromStateInfo :: Proxy blk -> ForgeStateInfo blk -> Maybe KESInfo
class HasKESInfo blk where
- getKESInfo :: Proxy blk -> ForgeStateUpdateError blk -> Maybe KESInfo
data KESMetricsData
- = NoKESMetricsData
- | TPraosKESMetricsData !Period !MaxKESEvolutions !OperationalCertStartKESPeriod
class HasKESMetricsData blk where
- getKESMetricsData :: Proxy blk -> ForgeStateInfo blk -> KESMetricsData
class LedgerQueries blk where
- ledgerUtxoSize :: LedgerState blk -> Int
- ledgerDelegMapSize :: LedgerState blk -> Int
newtype NodeKernelData blk = NodeKernelData {
- unNodeKernelData :: IORef (StrictMaybe (NodeKernel IO RemoteAddress LocalConnectionId blk))
}
nkQueryChain :: (AnchoredFragment (Header blk) -> a) -> NodeKernel IO RemoteAddress LocalConnectionId blk -> IO a
nkQueryLedger :: IsLedger (LedgerState blk) => (ExtLedgerState blk -> a) -> NodeKernel IO RemoteAddress LocalConnectionId blk -> IO a
mapNodeKernelDataIO :: (NodeKernel IO RemoteAddress LocalConnectionId blk -> IO a) -> NodeKernelData blk -> IO (StrictMaybe a)
setNodeKernel :: NodeKernelData blk -> NodeKernel IO RemoteAddress LocalConnectionId blk -> IO ()
mkNodeKernelData :: IO (NodeKernelData blk)
data NodeKernel (m :: Type -> Type) addrNTN addrNTC blk = NodeKernel {
- getChainDB :: ChainDB m blk
- getMempool :: Mempool m blk
- getTopLevelConfig :: TopLevelConfig blk
- getFetchClientRegistry :: FetchClientRegistry (ConnectionId addrNTN) (Header blk) blk m
- getFetchMode :: STM m FetchMode
- getNodeCandidates :: StrictTVar m (Map (ConnectionId addrNTN) (StrictTVar m (AnchoredFragment (Header blk))))
- getPeerSharingRegistry :: PeerSharingRegistry addrNTN m
- getTracers :: Tracers m (ConnectionId addrNTN) addrNTC blk
- setBlockForging :: [BlockForging m blk] -> m ()
}
type LocalConnectionId = ConnectionId LocalAddress
type RemoteConnectionId = ConnectionId RemoteAddress
data StrictMaybe a
- = SNothing
- | SJust !a
fromSMaybe :: a -> StrictMaybe a -> a

Documentation

class ConvertTxId blk where Source #

Convert a transaction ID to raw bytes.

Methods

txIdToRawBytes :: TxId (GenTx blk) -> ByteString Source #

Instances

Instances details

ConvertTxId ByronBlock Source #
Instance details Defined in Cardano.Node.Queries Methods txIdToRawBytes :: TxId (GenTx ByronBlock) -> ByteString Source #
All ConvertTxId xs => ConvertTxId (HardForkBlock xs) Source #
Instance details Defined in Cardano.Node.Queries Methods txIdToRawBytes :: TxId (GenTx (HardForkBlock xs)) -> ByteString Source #
ConvertTxId (ShelleyBlock protocol c) Source #
Instance details Defined in Cardano.Node.Queries Methods txIdToRawBytes :: TxId (GenTx (ShelleyBlock protocol c)) -> ByteString Source #

KES

newtype MaxKESEvolutions Source #

The maximum number of evolutions that a KES key can undergo before it is considered expired.

Constructors

MaxKESEvolutions Word64

newtype OperationalCertStartKESPeriod Source #

The start KES period of the configured operational certificate.

Constructors

OperationalCertStartKESPeriod Period

class GetKESInfo blk where Source #

Minimal complete definition

Nothing

Methods

getKESInfoFromStateInfo :: Proxy blk -> ForgeStateInfo blk -> Maybe KESInfo Source #

Instances

Instances details

GetKESInfo ByronBlock Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfoFromStateInfo :: Proxy ByronBlock -> ForgeStateInfo ByronBlock -> Maybe KESInfo Source #
All GetKESInfo xs => GetKESInfo (HardForkBlock xs) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfoFromStateInfo :: Proxy (HardForkBlock xs) -> ForgeStateInfo (HardForkBlock xs) -> Maybe KESInfo Source #
GetKESInfo (ShelleyBlock protocol era) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfoFromStateInfo :: Proxy (ShelleyBlock protocol era) -> ForgeStateInfo (ShelleyBlock protocol era) -> Maybe KESInfo Source #

class HasKESInfo blk where Source #

Minimal complete definition

Nothing

Methods

getKESInfo :: Proxy blk -> ForgeStateUpdateError blk -> Maybe KESInfo Source #

Instances

Instances details

HasKESInfo ByronBlock Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfo :: Proxy ByronBlock -> ForgeStateUpdateError ByronBlock -> Maybe KESInfo Source #
All HasKESInfo xs => HasKESInfo (HardForkBlock xs) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfo :: Proxy (HardForkBlock xs) -> ForgeStateUpdateError (HardForkBlock xs) -> Maybe KESInfo Source #
HasKESInfo (ShelleyBlock protocol era) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfo :: Proxy (ShelleyBlock protocol era) -> ForgeStateUpdateError (ShelleyBlock protocol era) -> Maybe KESInfo Source #

data KESMetricsData Source #

KES-related data to be traced as metrics.

Constructors

NoKESMetricsData	The current protocol does not support KES.
TPraosKESMetricsData
Fields !Period The current KES period of the hot key, relative to the start KES period of the operational certificate. !MaxKESEvolutions The configured max KES evolutions. !OperationalCertStartKESPeriod The start KES period of the configured operational certificate.

class HasKESMetricsData blk where Source #

Minimal complete definition

Nothing

Methods

getKESMetricsData :: Proxy blk -> ForgeStateInfo blk -> KESMetricsData Source #

Instances

Instances details

HasKESMetricsData ByronBlock Source #
Instance details Defined in Cardano.Node.Queries Methods getKESMetricsData :: Proxy ByronBlock -> ForgeStateInfo ByronBlock -> KESMetricsData Source #
All HasKESMetricsData xs => HasKESMetricsData (HardForkBlock xs) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESMetricsData :: Proxy (HardForkBlock xs) -> ForgeStateInfo (HardForkBlock xs) -> KESMetricsData Source #
HasKESMetricsData (ShelleyBlock protocol c) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESMetricsData :: Proxy (ShelleyBlock protocol c) -> ForgeStateInfo (ShelleyBlock protocol c) -> KESMetricsData Source #

General ledger

class LedgerQueries blk where Source #

Methods

ledgerUtxoSize :: LedgerState blk -> Int Source #

ledgerDelegMapSize :: LedgerState blk -> Int Source #

Instances

Instances details

LedgerQueries ByronBlock Source #
Instance details Defined in Cardano.Node.Queries Methods ledgerUtxoSize :: LedgerState ByronBlock -> Int Source # ledgerDelegMapSize :: LedgerState ByronBlock -> Int Source #
(LedgerQueries x, NoHardForks x) => LedgerQueries (HardForkBlock '[x]) Source #
Instance details Defined in Cardano.Node.Queries Methods ledgerUtxoSize :: LedgerState (HardForkBlock '[x]) -> Int Source # ledgerDelegMapSize :: LedgerState (HardForkBlock '[x]) -> Int Source #
LedgerQueries (CardanoBlock c) Source #
Instance details Defined in Cardano.Node.Queries Methods ledgerUtxoSize :: LedgerState (CardanoBlock c) -> Int Source # ledgerDelegMapSize :: LedgerState (CardanoBlock c) -> Int Source #
LedgerQueries (ShelleyBlock protocol era) Source #
Instance details Defined in Cardano.Node.Queries Methods ledgerUtxoSize :: LedgerState (ShelleyBlock protocol era) -> Int Source # ledgerDelegMapSize :: LedgerState (ShelleyBlock protocol era) -> Int Source #

Node kernel

newtype NodeKernelData blk Source #

Constructors

NodeKernelData
Fields unNodeKernelData :: IORef (StrictMaybe (NodeKernel IO RemoteAddress LocalConnectionId blk))

nkQueryChain :: (AnchoredFragment (Header blk) -> a) -> NodeKernel IO RemoteAddress LocalConnectionId blk -> IO a Source #

nkQueryLedger :: IsLedger (LedgerState blk) => (ExtLedgerState blk -> a) -> NodeKernel IO RemoteAddress LocalConnectionId blk -> IO a Source #

mapNodeKernelDataIO :: (NodeKernel IO RemoteAddress LocalConnectionId blk -> IO a) -> NodeKernelData blk -> IO (StrictMaybe a) Source #

setNodeKernel :: NodeKernelData blk -> NodeKernel IO RemoteAddress LocalConnectionId blk -> IO () Source #

mkNodeKernelData :: IO (NodeKernelData blk) Source #

Re-exports

data NodeKernel (m :: Type -> Type) addrNTN addrNTC blk Source #

Interface against running relay node

Constructors

NodeKernel

Fields

getChainDB :: ChainDB m blk
The ChainDB of the node
getMempool :: Mempool m blk
The node's mempool
getTopLevelConfig :: TopLevelConfig blk
The node's top-level static configuration
getFetchClientRegistry :: FetchClientRegistry (ConnectionId addrNTN) (Header blk) blk m
The fetch client registry, used for the block fetch clients.
getFetchMode :: STM m FetchMode
The fetch mode, used by diffusion.
getNodeCandidates :: StrictTVar m (Map (ConnectionId addrNTN) (StrictTVar m (AnchoredFragment (Header blk))))
Read the current candidates
getPeerSharingRegistry :: PeerSharingRegistry addrNTN m
Read the current peer sharing registry, used for interacting with the PeerSharing protocol
getTracers :: Tracers m (ConnectionId addrNTN) addrNTC blk
The node's tracers
setBlockForging :: [BlockForging m blk] -> m ()
Set block forging
When set with the empty list '[]' block forging will be disabled.

type LocalConnectionId = ConnectionId LocalAddress Source #

type RemoteConnectionId = ConnectionId RemoteAddress Source #

data StrictMaybe a Source #

Constructors

SNothing
SJust !a

Instances

Instances details

MonadFail StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fail :: String -> StrictMaybe a Source #
Foldable StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fold :: Monoid m => StrictMaybe m -> m Source # foldMap :: Monoid m => (a -> m) -> StrictMaybe a -> m Source # foldMap' :: Monoid m => (a -> m) -> StrictMaybe a -> m Source # foldr :: (a -> b -> b) -> b -> StrictMaybe a -> b Source # foldr' :: (a -> b -> b) -> b -> StrictMaybe a -> b Source # foldl :: (b -> a -> b) -> b -> StrictMaybe a -> b Source # foldl' :: (b -> a -> b) -> b -> StrictMaybe a -> b Source # foldr1 :: (a -> a -> a) -> StrictMaybe a -> a Source # foldl1 :: (a -> a -> a) -> StrictMaybe a -> a Source # toList :: StrictMaybe a -> [a] Source # null :: StrictMaybe a -> Bool Source # length :: StrictMaybe a -> Int Source # elem :: Eq a => a -> StrictMaybe a -> Bool Source # maximum :: Ord a => StrictMaybe a -> a Source # minimum :: Ord a => StrictMaybe a -> a Source # sum :: Num a => StrictMaybe a -> a Source # product :: Num a => StrictMaybe a -> a Source #
Traversable StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods traverse :: Applicative f => (a -> f b) -> StrictMaybe a -> f (StrictMaybe b) Source # sequenceA :: Applicative f => StrictMaybe (f a) -> f (StrictMaybe a) Source # mapM :: Monad m => (a -> m b) -> StrictMaybe a -> m (StrictMaybe b) Source # sequence :: Monad m => StrictMaybe (m a) -> m (StrictMaybe a) Source #
Alternative StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods empty :: StrictMaybe a Source # (<\|>) :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # some :: StrictMaybe a -> StrictMaybe [a] Source # many :: StrictMaybe a -> StrictMaybe [a] Source #
Applicative StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods pure :: a -> StrictMaybe a Source # (<>) :: StrictMaybe (a -> b) -> StrictMaybe a -> StrictMaybe b Source # liftA2 :: (a -> b -> c) -> StrictMaybe a -> StrictMaybe b -> StrictMaybe c Source # (>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b Source # (<*) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe a Source #
Functor StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fmap :: (a -> b) -> StrictMaybe a -> StrictMaybe b Source # (<$) :: a -> StrictMaybe b -> StrictMaybe a Source #
Monad StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods (>>=) :: StrictMaybe a -> (a -> StrictMaybe b) -> StrictMaybe b Source # (>>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b Source # return :: a -> StrictMaybe a Source #
HKDFunctor StrictMaybe
Instance details Defined in Cardano.Ledger.HKD Methods hkdMap :: proxy StrictMaybe -> (a -> b) -> HKD StrictMaybe a -> HKD StrictMaybe b Source # toNoUpdate :: HKD StrictMaybe a -> HKDNoUpdate StrictMaybe a Source # fromNoUpdate :: HKDNoUpdate StrictMaybe a -> HKD StrictMaybe a Source #
FromJSON a => FromJSON (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods parseJSON :: Value -> Parser (StrictMaybe a) # parseJSONList :: Value -> Parser [StrictMaybe a] # omittedField :: Maybe (StrictMaybe a) #
ToJSON a => ToJSON (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods toJSON :: StrictMaybe a -> Value # toEncoding :: StrictMaybe a -> Encoding # toJSONList :: [StrictMaybe a] -> Value # toEncodingList :: [StrictMaybe a] -> Encoding # omitField :: StrictMaybe a -> Bool #
Semigroup a => Monoid (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods mempty :: StrictMaybe a Source # mappend :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # mconcat :: [StrictMaybe a] -> StrictMaybe a Source #
Semigroup a => Semigroup (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods (<>) :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # sconcat :: NonEmpty (StrictMaybe a) -> StrictMaybe a Source # stimes :: Integral b => b -> StrictMaybe a -> StrictMaybe a Source #
Generic (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Associated Types type Rep (StrictMaybe a) :: Type -> Type Source # Methods from :: StrictMaybe a -> Rep (StrictMaybe a) x Source # to :: Rep (StrictMaybe a) x -> StrictMaybe a Source #
Show (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods showsPrec :: Int -> UpgradeConwayPParams StrictMaybe -> ShowS Source # show :: UpgradeConwayPParams StrictMaybe -> String Source # showList :: [UpgradeConwayPParams StrictMaybe] -> ShowS Source #
Show a => Show (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods showsPrec :: Int -> StrictMaybe a -> ShowS Source # show :: StrictMaybe a -> String Source # showList :: [StrictMaybe a] -> ShowS Source #
FromCBOR a => FromCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods fromCBOR :: Decoder s (StrictMaybe a) Source # label :: Proxy (StrictMaybe a) -> Text Source #
ToCBOR a => ToCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict 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 #
DecCBOR a => DecCBOR (StrictMaybe a)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR :: Decoder s (StrictMaybe a) Source # dropCBOR :: Proxy (StrictMaybe a) -> Decoder s () Source # label :: Proxy (StrictMaybe a) -> Text Source #
EncCBOR a => EncCBOR (StrictMaybe a)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: StrictMaybe a -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size Source #
Default (UpgradeAlonzoPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods def :: UpgradeAlonzoPParams StrictMaybe Source #
Default (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods def :: UpgradeConwayPParams StrictMaybe Source #
Default (StrictMaybe t)
Instance details Defined in Data.Maybe.Strict Methods def :: StrictMaybe t Source #
NFData (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods rnf :: UpgradeConwayPParams StrictMaybe -> () Source #
NFData a => NFData (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods rnf :: StrictMaybe a -> () Source #
Eq (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods (==) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (/=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source #
Eq a => Eq (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods (==) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (/=) :: StrictMaybe a -> StrictMaybe a -> Bool Source #
Ord (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods compare :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Ordering Source # (<) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (<=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (>) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (>=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # max :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe Source # min :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe Source #
Ord a => Ord (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods compare :: StrictMaybe a -> StrictMaybe a -> Ordering Source # (<) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (<=) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (>) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (>=) :: StrictMaybe a -> StrictMaybe a -> Bool Source # max :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # min :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source #
NoThunks (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (UpgradeConwayPParams StrictMaybe) -> String Source #
NoThunks a => NoThunks (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods noThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (StrictMaybe a) -> String Source #
Crypto c => ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Value # toEncoding :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Encoding # toJSONList :: [AlonzoPParams StrictMaybe (AlonzoEra c)] -> Value # toEncodingList :: [AlonzoPParams StrictMaybe (AlonzoEra c)] -> Encoding # omitField :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Bool #
(PParamsHKD StrictMaybe era ~ BabbagePParams StrictMaybe era, BabbageEraPParams era, ProtVerAtMost era 8) => ToJSON (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toJSON :: BabbagePParams StrictMaybe era -> Value # toEncoding :: BabbagePParams StrictMaybe era -> Encoding # toJSONList :: [BabbagePParams StrictMaybe era] -> Value # toEncodingList :: [BabbagePParams StrictMaybe era] -> Encoding # omitField :: BabbagePParams StrictMaybe era -> Bool #
(ConwayEraPParams era, PParamsHKD StrictMaybe era ~ ConwayPParams StrictMaybe era) => ToJSON (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: ConwayPParams StrictMaybe era -> Value # toEncoding :: ConwayPParams StrictMaybe era -> Encoding # toJSONList :: [ConwayPParams StrictMaybe era] -> Value # toEncodingList :: [ConwayPParams StrictMaybe era] -> Encoding # omitField :: ConwayPParams StrictMaybe era -> Bool #
(EraPParams era, PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) => ToJSON (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toJSON :: ShelleyPParams StrictMaybe era -> Value # toEncoding :: ShelleyPParams StrictMaybe era -> Encoding # toJSONList :: [ShelleyPParams StrictMaybe era] -> Value # toEncodingList :: [ShelleyPParams StrictMaybe era] -> Encoding # omitField :: ShelleyPParams StrictMaybe era -> Bool #
Show (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec :: Int -> AlonzoPParams StrictMaybe era -> ShowS Source # show :: AlonzoPParams StrictMaybe era -> String Source # showList :: [AlonzoPParams StrictMaybe era] -> ShowS Source #
Show (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec :: Int -> BabbagePParams StrictMaybe era -> ShowS Source # show :: BabbagePParams StrictMaybe era -> String Source # showList :: [BabbagePParams StrictMaybe era] -> ShowS Source #
Show (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods showsPrec :: Int -> ConwayPParams StrictMaybe era -> ShowS Source # show :: ConwayPParams StrictMaybe era -> String Source # showList :: [ConwayPParams StrictMaybe era] -> ShowS Source #
Show (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec :: Int -> ShelleyPParams StrictMaybe era -> ShowS Source # show :: ShelleyPParams StrictMaybe era -> String Source # showList :: [ShelleyPParams StrictMaybe era] -> ShowS Source #
Era era => FromCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods fromCBOR :: Decoder s (AlonzoPParams StrictMaybe era) Source # label :: Proxy (AlonzoPParams StrictMaybe era) -> Text Source #
Era era => FromCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods fromCBOR :: Decoder s (BabbagePParams StrictMaybe era) Source # label :: Proxy (BabbagePParams StrictMaybe era) -> Text Source #
Era era => FromCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods fromCBOR :: Decoder s (ConwayPParams StrictMaybe era) Source # label :: Proxy (ConwayPParams StrictMaybe era) -> Text Source #
Era era => FromCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR :: Decoder s (ShelleyPParams StrictMaybe era) Source # label :: Proxy (ShelleyPParams StrictMaybe era) -> Text Source #
Era era => ToCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toCBOR :: AlonzoPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size Source #
Era era => ToCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toCBOR :: BabbagePParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size Source #
Era era => ToCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toCBOR :: ConwayPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size Source #
Era era => ToCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR :: ShelleyPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size Source #
Era era => DecCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods decCBOR :: Decoder s (AlonzoPParams StrictMaybe era) Source # dropCBOR :: Proxy (AlonzoPParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (AlonzoPParams StrictMaybe era) -> Text Source #
Era era => DecCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods decCBOR :: Decoder s (BabbagePParams StrictMaybe era) Source # dropCBOR :: Proxy (BabbagePParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (BabbagePParams StrictMaybe era) -> Text Source #
Era era => DecCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods decCBOR :: Decoder s (ConwayPParams StrictMaybe era) Source # dropCBOR :: Proxy (ConwayPParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (ConwayPParams StrictMaybe era) -> Text Source #
Era era => DecCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR :: Decoder s (ShelleyPParams StrictMaybe era) Source # dropCBOR :: Proxy (ShelleyPParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (ShelleyPParams StrictMaybe era) -> Text Source #
Era era => EncCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods encCBOR :: AlonzoPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size Source #
Era era => EncCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR :: BabbagePParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size Source #
Era era => EncCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: ConwayPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size Source #
Era era => EncCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR :: ShelleyPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size Source #
NFData (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf :: AlonzoPParams StrictMaybe era -> () Source #
NFData (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods rnf :: BabbagePParams StrictMaybe era -> () Source #
NFData (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods rnf :: ConwayPParams StrictMaybe era -> () Source #
NFData (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf :: ShelleyPParams StrictMaybe era -> () Source #
Eq (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (/=) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source #
Eq (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods (==) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (/=) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source #
Eq (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods (==) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (/=) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source #
Eq (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (/=) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source #
Ord (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods compare :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Ordering Source # (<) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (<=) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (>) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (>=) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # max :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source # min :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source #
Ord (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods compare :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Ordering Source # (<) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (<=) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (>) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (>=) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # max :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source # min :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source #
Ord (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods compare :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Ordering Source # (<) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (<=) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (>) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (>=) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # max :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source # min :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source #
Ord (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods compare :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Ordering Source # (<) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (<=) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (>) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (>=) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # max :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source # min :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source #
NoThunks (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks :: Context -> AlonzoPParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> AlonzoPParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (AlonzoPParams StrictMaybe era) -> String Source #
NoThunks (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods noThunks :: Context -> BabbagePParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BabbagePParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (BabbagePParams StrictMaybe era) -> String Source #
NoThunks (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> ConwayPParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ConwayPParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ConwayPParams StrictMaybe era) -> String Source #
NoThunks (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks :: Context -> ShelleyPParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ShelleyPParams StrictMaybe era -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ShelleyPParams StrictMaybe era) -> String Source #
(Typeable t, FromJSON a) => FromJSON (THKD t StrictMaybe a)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods parseJSON :: Value -> Parser (THKD t StrictMaybe a) # parseJSONList :: Value -> Parser [THKD t StrictMaybe a] # omittedField :: Maybe (THKD t StrictMaybe a) #
(Typeable t, ToJSON a) => ToJSON (THKD t StrictMaybe a)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: THKD t StrictMaybe a -> Value # toEncoding :: THKD t StrictMaybe a -> Encoding # toJSONList :: [THKD t StrictMaybe a] -> Value # toEncodingList :: [THKD t StrictMaybe a] -> Encoding # omitField :: THKD t StrictMaybe a -> Bool #
(Typeable t, DecCBOR a) => DecCBOR (THKD t StrictMaybe a)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods decCBOR :: Decoder s (THKD t StrictMaybe a) Source # dropCBOR :: Proxy (THKD t StrictMaybe a) -> Decoder s () Source # label :: Proxy (THKD t StrictMaybe a) -> Text Source #
(Typeable t, EncCBOR a) => EncCBOR (THKD t StrictMaybe a)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: THKD t StrictMaybe a -> Encoding Source # encodedSizeExpr :: (forall t0. EncCBOR t0 => Proxy t0 -> Size) -> Proxy (THKD t StrictMaybe a) -> Size Source # encodedListSizeExpr :: (forall t0. EncCBOR t0 => Proxy t0 -> Size) -> Proxy [THKD t StrictMaybe a] -> Size Source #
Updatable (K1 t x a) (K1 t (StrictMaybe x) u)
Instance details Defined in Cardano.Ledger.Core.PParams Methods applyUpdate :: K1 t x a -> K1 t (StrictMaybe x) u -> K1 t x a
type Rep (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.3.0-86c2IVFj8yvJB1TAEwUmlH" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

fromSMaybe :: a -> StrictMaybe a -> a Source #

Same as fromMaybe