Safe Haskell	None
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 RemoteConnectionId LocalConnectionId blk))
}
nkQueryChain ∷ (AnchoredFragment (Header blk) → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a
nkQueryLedger ∷ IsLedger (LedgerState blk) ⇒ (ExtLedgerState blk → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a
mapNodeKernelDataIO ∷ (NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a) → NodeKernelData blk → IO (StrictMaybe a)
setNodeKernel ∷ NodeKernelData blk → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO ()
mkNodeKernelData ∷ IO (NodeKernelData blk)
data NodeKernel (m ∷ Type → Type) remotePeer localPeer blk = NodeKernel {
- getChainDB ∷ ChainDB m blk
- getMempool ∷ Mempool m blk TicketNo
- getTopLevelConfig ∷ TopLevelConfig blk
- getFetchClientRegistry ∷ FetchClientRegistry remotePeer (Header blk) blk m
- getFetchMode ∷ STM m FetchMode
- getNodeCandidates ∷ StrictTVar m (Map remotePeer (StrictTVar m (AnchoredFragment (Header blk))))
- getTracers ∷ Tracers m remotePeer localPeer blk
}
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 #
ConvertTxId (ShelleyBlock c) Source #
Instance details Defined in Cardano.Node.Queries Methods txIdToRawBytes ∷ TxId (GenTx (ShelleyBlock c)) → ByteString Source #
All ConvertTxId xs ⇒ ConvertTxId (HardForkBlock xs) Source #
Instance details Defined in Cardano.Node.Queries Methods txIdToRawBytes ∷ TxId (GenTx (HardForkBlock xs)) → 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 #
GetKESInfo (ShelleyBlock era) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfoFromStateInfo ∷ Proxy (ShelleyBlock era) → ForgeStateInfo (ShelleyBlock era) → 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 #

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 #
HasKESInfo (ShelleyBlock era) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESInfo ∷ Proxy (ShelleyBlock era) → ForgeStateUpdateError (ShelleyBlock era) → 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 #

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 #
HasKESMetricsData (ShelleyBlock c) Source #
Instance details Defined in Cardano.Node.Queries Methods getKESMetricsData ∷ Proxy (ShelleyBlock c) → ForgeStateInfo (ShelleyBlock c) → 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 #

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 (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 era) Source #
Instance details Defined in Cardano.Node.Queries Methods ledgerUtxoSize ∷ LedgerState (ShelleyBlock era) → Int Source # ledgerDelegMapSize ∷ LedgerState (ShelleyBlock era) → 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 #

Node kernel

newtype NodeKernelData blk Source #

Constructors

NodeKernelData
Fields unNodeKernelData ∷ IORef (StrictMaybe (NodeKernel IO RemoteConnectionId LocalConnectionId blk))

nkQueryChain ∷ (AnchoredFragment (Header blk) → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a Source #

nkQueryLedger ∷ IsLedger (LedgerState blk) ⇒ (ExtLedgerState blk → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a Source #

mapNodeKernelDataIO ∷ (NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a) → NodeKernelData blk → IO (StrictMaybe a) Source #

setNodeKernel ∷ NodeKernelData blk → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO () Source #

mkNodeKernelData ∷ IO (NodeKernelData blk) Source #

Re-exports

data NodeKernel (m ∷ Type → Type) remotePeer localPeer blk #

Constructors

NodeKernel
Fields getChainDB ∷ ChainDB m blk getMempool ∷ Mempool m blk TicketNo getTopLevelConfig ∷ TopLevelConfig blk getFetchClientRegistry ∷ FetchClientRegistry remotePeer (Header blk) blk m getFetchMode ∷ STM m FetchMode getNodeCandidates ∷ StrictTVar m (Map remotePeer (StrictTVar m (AnchoredFragment (Header blk)))) getTracers ∷ Tracers m remotePeer localPeer blk

type LocalConnectionId = ConnectionId LocalAddress #

type RemoteConnectionId = ConnectionId RemoteAddress #

data StrictMaybe a #

Constructors

SNothing
SJust !a

Instances

Instances details

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 #
Functor StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b Source # (<$) ∷ a → StrictMaybe b → StrictMaybe a Source #
MonadFail StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fail ∷ String → 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 #
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 #
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto))
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) Source #
c ~ Crypto era ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash c) Source #
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto))
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) Source #
aux ~ AuxiliaryData era ⇒ HasField "auxiliaryData" (Tx era) (StrictMaybe aux)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField ∷ Tx era → StrictMaybe aux Source #
(Era era, c ~ Crypto era) ⇒ HasField "datahash" (TxOut era) (StrictMaybe (DataHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxOut era → StrictMaybe (DataHash c) Source #
c ~ Crypto era ⇒ HasField "scriptIntegrityHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) Source #
HasField "txnetworkid" (TxBody era) (StrictMaybe Network)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe Network Source #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) Source #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) Source #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) 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 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 #
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 #
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 #
NFData a ⇒ NFData (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods rnf ∷ StrictMaybe a → () Source #
Era era ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size #
ToCBOR a ⇒ ToCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods toCBOR ∷ StrictMaybe a → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size #
Era era ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size #
Era era ⇒ FromCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) # label ∷ Proxy (PParamsUpdate era) → Text #
FromCBOR a ⇒ FromCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods fromCBOR ∷ Decoder s (StrictMaybe a) # label ∷ Proxy (StrictMaybe a) → Text #
Era era ⇒ FromCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) # label ∷ Proxy (PParamsUpdate era) → Text #
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 #
FromJSON a ⇒ FromJSON (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods parseJSON ∷ Value → Parser (StrictMaybe a) # parseJSONList ∷ Value → Parser [StrictMaybe a] #
Default (StrictMaybe t)
Instance details Defined in Data.Maybe.Strict Methods def ∷ StrictMaybe t
NoThunks (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PParamsUpdate era) → 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
NoThunks (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PParamsUpdate era) → String
Eq (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source #
Eq (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source #
Ord (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering Source # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source #
Ord (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering Source # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source #
Show (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS Source # show ∷ PParams' StrictMaybe era → String Source # showList ∷ [PParams' StrictMaybe era] → ShowS Source #
Show (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS Source # show ∷ PParams' StrictMaybe era → String Source # showList ∷ [PParams' StrictMaybe era] → ShowS Source #
NFData (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ PParams' StrictMaybe era → () Source #
NFData (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ PParams' StrictMaybe era → () Source #
type Rep (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "strict-containers-0.1.0.0-27ca3c72c01b42b0668f5da48e349d0ff6c6c6d94a955fe6921a70c18f338632" '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 #