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 #

Constructors

NodeKernel

Fields

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 #

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 toNoUpdate :: HKD StrictMaybe a -> HKDNoUpdate StrictMaybe a fromNoUpdate :: HKDNoUpdate StrictMaybe a -> HKD StrictMaybe a
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) label :: Proxy (StrictMaybe a) -> Text
ToCBOR a => ToCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods toCBOR :: StrictMaybe a -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size
DecCBOR a => DecCBOR (StrictMaybe a)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR :: Decoder s (StrictMaybe a) dropCBOR :: Proxy (StrictMaybe a) -> Decoder s () label :: Proxy (StrictMaybe a) -> Text
EncCBOR a => EncCBOR (StrictMaybe a)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: StrictMaybe a -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size
Default (UpgradeAlonzoPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods def :: UpgradeAlonzoPParams StrictMaybe
Default (UpgradeConwayPParams StrictMaybe)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods def :: UpgradeConwayPParams StrictMaybe
Default (StrictMaybe t)
Instance details Defined in Data.Maybe.Strict Methods def :: StrictMaybe t
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) wNoThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (UpgradeConwayPParams StrictMaybe) -> String
NoThunks a => NoThunks (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods noThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) wNoThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (StrictMaybe a) -> String
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) label :: Proxy (AlonzoPParams StrictMaybe era) -> Text
Era era => FromCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods fromCBOR :: Decoder s (BabbagePParams StrictMaybe era) label :: Proxy (BabbagePParams StrictMaybe era) -> Text
Era era => FromCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods fromCBOR :: Decoder s (ConwayPParams StrictMaybe era) label :: Proxy (ConwayPParams StrictMaybe era) -> Text
Era era => FromCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR :: Decoder s (ShelleyPParams StrictMaybe era) label :: Proxy (ShelleyPParams StrictMaybe era) -> Text
Era era => ToCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toCBOR :: AlonzoPParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size
Era era => ToCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toCBOR :: BabbagePParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size
Era era => ToCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toCBOR :: ConwayPParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size
Era era => ToCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR :: ShelleyPParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size
Era era => DecCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods decCBOR :: Decoder s (AlonzoPParams StrictMaybe era) dropCBOR :: Proxy (AlonzoPParams StrictMaybe era) -> Decoder s () label :: Proxy (AlonzoPParams StrictMaybe era) -> Text
Era era => DecCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods decCBOR :: Decoder s (BabbagePParams StrictMaybe era) dropCBOR :: Proxy (BabbagePParams StrictMaybe era) -> Decoder s () label :: Proxy (BabbagePParams StrictMaybe era) -> Text
Era era => DecCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods decCBOR :: Decoder s (ConwayPParams StrictMaybe era) dropCBOR :: Proxy (ConwayPParams StrictMaybe era) -> Decoder s () label :: Proxy (ConwayPParams StrictMaybe era) -> Text
Era era => DecCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR :: Decoder s (ShelleyPParams StrictMaybe era) dropCBOR :: Proxy (ShelleyPParams StrictMaybe era) -> Decoder s () label :: Proxy (ShelleyPParams StrictMaybe era) -> Text
Era era => EncCBOR (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods encCBOR :: AlonzoPParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size
Era era => EncCBOR (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR :: BabbagePParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size
Era era => EncCBOR (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: ConwayPParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size
Era era => EncCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR :: ShelleyPParams StrictMaybe era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size
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) wNoThunks :: Context -> AlonzoPParams StrictMaybe era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (AlonzoPParams StrictMaybe era) -> String
NoThunks (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods noThunks :: Context -> BabbagePParams StrictMaybe era -> IO (Maybe ThunkInfo) wNoThunks :: Context -> BabbagePParams StrictMaybe era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (BabbagePParams StrictMaybe era) -> String
NoThunks (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> ConwayPParams StrictMaybe era -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ConwayPParams StrictMaybe era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (ConwayPParams StrictMaybe era) -> String
NoThunks (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks :: Context -> ShelleyPParams StrictMaybe era -> IO (Maybe ThunkInfo) wNoThunks :: Context -> ShelleyPParams StrictMaybe era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (ShelleyPParams StrictMaybe era) -> String
ToExpr (AlonzoPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toExpr :: AlonzoPParams StrictMaybe era -> Expr listToExpr :: [AlonzoPParams StrictMaybe era] -> Expr
ToExpr (BabbagePParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toExpr :: BabbagePParams StrictMaybe era -> Expr listToExpr :: [BabbagePParams StrictMaybe era] -> Expr
ToExpr (ConwayPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods toExpr :: ConwayPParams StrictMaybe era -> Expr listToExpr :: [ConwayPParams StrictMaybe era] -> Expr
ToExpr (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toExpr :: ShelleyPParams StrictMaybe era -> Expr listToExpr :: [ShelleyPParams StrictMaybe era] -> Expr
(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) dropCBOR :: Proxy (THKD t StrictMaybe a) -> Decoder s () label :: Proxy (THKD t StrictMaybe a) -> Text
(Typeable t, EncCBOR a) => EncCBOR (THKD t StrictMaybe a)
Instance details Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: THKD t StrictMaybe a -> Encoding encodedSizeExpr :: (forall t0. EncCBOR t0 => Proxy t0 -> Size) -> Proxy (THKD t StrictMaybe a) -> Size encodedListSizeExpr :: (forall t0. EncCBOR t0 => Proxy t0 -> Size) -> Proxy [THKD t StrictMaybe a] -> Size
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.2.1-2SiJDtvjISV1PCLQJlEh1U" '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 #