cardano-node-1.28.0
Safe HaskellNone
LanguageHaskell2010

Cardano.Tracing.Kernel

Contents

Synopsis

Documentation

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

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

Re-exports

data NodeKernel (m ∷ TypeType) remotePeer localPeer blk #

Constructors

NodeKernel 

Fields

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 #

(>>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

return ∷ a → StrictMaybe a #

Functor StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b #

(<$) ∷ a → StrictMaybe b → StrictMaybe a #

MonadFail StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

failStringStrictMaybe a #

Applicative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

pure ∷ a → StrictMaybe a #

(<*>)StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b #

liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c #

(*>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

(<*)StrictMaybe a → StrictMaybe b → StrictMaybe a #

Foldable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

foldMonoid m ⇒ StrictMaybe m → m #

foldMapMonoid m ⇒ (a → m) → StrictMaybe a → m #

foldMap'Monoid m ⇒ (a → m) → StrictMaybe a → m #

foldr ∷ (a → b → b) → b → StrictMaybe a → b #

foldr' ∷ (a → b → b) → b → StrictMaybe a → b #

foldl ∷ (b → a → b) → b → StrictMaybe a → b #

foldl' ∷ (b → a → b) → b → StrictMaybe a → b #

foldr1 ∷ (a → a → a) → StrictMaybe a → a #

foldl1 ∷ (a → a → a) → StrictMaybe a → a #

toListStrictMaybe a → [a] #

nullStrictMaybe a → Bool #

lengthStrictMaybe a → Int #

elemEq a ⇒ a → StrictMaybe a → Bool #

maximumOrd a ⇒ StrictMaybe a → a #

minimumOrd a ⇒ StrictMaybe a → a #

sumNum a ⇒ StrictMaybe a → a #

productNum a ⇒ StrictMaybe a → a #

Traversable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

traverseApplicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) #

sequenceAApplicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) #

mapMMonad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) #

sequenceMonad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #

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) #

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) #

Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) #

aux ~ AuxiliaryData era ⇒ HasField "auxiliaryData" (Tx era) (StrictMaybe aux) 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

getField ∷ Tx era → StrictMaybe aux #

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) #

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) #

HasField "txnetworkid" (TxBody era) (StrictMaybe Network) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

getField ∷ TxBody era → StrictMaybe Network #

HasField "update" (TxBody era) (StrictMaybe (Update era)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField ∷ TxBody era → StrictMaybe (Update era) #

HasField "update" (TxBody era) (StrictMaybe (Update era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

getField ∷ TxBody era → StrictMaybe (Update era) #

HasField "update" (TxBody era) (StrictMaybe (Update era)) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField ∷ TxBody era → StrictMaybe (Update era) #

c ~ Crypto era ⇒ HasField "wppHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) #

Eq a ⇒ Eq (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

(==)StrictMaybe a → StrictMaybe a → Bool #

(/=)StrictMaybe a → StrictMaybe a → Bool #

Ord a ⇒ Ord (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Show a ⇒ Show (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

showsPrecIntStrictMaybe a → ShowS #

showStrictMaybe a → String #

showList ∷ [StrictMaybe a] → ShowS #

Generic (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Associated Types

type Rep (StrictMaybe a) ∷ TypeType #

Methods

fromStrictMaybe a → Rep (StrictMaybe a) x #

toRep (StrictMaybe a) x → StrictMaybe a #

NFData a ⇒ NFData (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

rnfStrictMaybe a → () #

Era era ⇒ ToCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.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 ⇒ 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 #

ToCBOR a ⇒ ToCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

toCBORStrictMaybe 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 ⇒ FromCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

fromCBOR ∷ Decoder s (PParamsUpdate era) #

labelProxy (PParamsUpdate era) → Text #

Era era ⇒ FromCBOR (PParamsUpdate era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

fromCBOR ∷ Decoder s (PParamsUpdate era) #

labelProxy (PParamsUpdate era) → Text #

FromCBOR a ⇒ FromCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

fromCBOR ∷ Decoder s (StrictMaybe a) #

labelProxy (StrictMaybe a) → Text #

ToJSON a ⇒ ToJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

toJSONStrictMaybe a → Value #

toEncodingStrictMaybe 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] #

NoThunks (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

showTypeOfProxy (PParamsUpdate era) → 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)

showTypeOfProxy (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)

showTypeOfProxy (StrictMaybe a) → String

Default (StrictMaybe t) 
Instance details

Defined in Data.Maybe.Strict

Methods

defStrictMaybe t

Eq (PParams' StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

(==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

Eq (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

(==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

Ord (PParams' StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering #

(<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era #

min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era #

Ord (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering #

(<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

(>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #

max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era #

min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era #

Show (PParams' StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

showsPrecInt → PParams' StrictMaybe era → ShowS #

show ∷ PParams' StrictMaybe era → String #

showList ∷ [PParams' StrictMaybe era] → ShowS #

Show (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

showsPrecInt → PParams' StrictMaybe era → ShowS #

show ∷ PParams' StrictMaybe era → String #

showList ∷ [PParams' StrictMaybe era] → ShowS #

NFData (PParams' StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

rnf ∷ PParams' StrictMaybe era → () #

NFData (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnf ∷ PParams' StrictMaybe era → () #

PrettyA (PParams' StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

prettyA ∷ PParams' StrictMaybe era → PDoc

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-01a34ede31d6a007e9eaf8665a24c1d0a8d1f5fc754c149ff6a0652c036332fd" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

fromSMaybe ∷ a → StrictMaybe a → a #