cardano-node-1.22.1
Safe HaskellNone
LanguageHaskell2010

Cardano.Tracing.Kernel

Contents

Synopsis

Documentation

Re-exports

data NodeKernel (m :: Type -> Type) remotePeer localPeer blk Source #

Interface against running relay node

Constructors

NodeKernel 

Fields

data StrictMaybe a Source #

Strict Maybe.

TODO move to cardano-prelude

Constructors

SNothing 
SJust !a 

Instances

Instances details
Monad StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(>>=) :: StrictMaybe a -> (a -> StrictMaybe b) -> StrictMaybe b #

(>>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b #

return :: a -> StrictMaybe a #

Functor StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fmap :: (a -> b) -> StrictMaybe a -> StrictMaybe b #

(<$) :: a -> StrictMaybe b -> StrictMaybe a #

MonadFail StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fail :: String -> StrictMaybe a #

Applicative StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

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 Shelley.Spec.Ledger.BaseTypes

Methods

fold :: Monoid m => StrictMaybe m -> m #

foldMap :: Monoid 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 #

toList :: StrictMaybe a -> [a] #

null :: StrictMaybe a -> Bool #

length :: StrictMaybe a -> Int #

elem :: Eq a => a -> StrictMaybe a -> Bool #

maximum :: Ord a => StrictMaybe a -> a #

minimum :: Ord a => StrictMaybe a -> a #

sum :: Num a => StrictMaybe a -> a #

product :: Num a => StrictMaybe a -> a #

Traversable StrictMaybe 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

traverse :: Applicative f => (a -> f b) -> StrictMaybe a -> f (StrictMaybe b) #

sequenceA :: Applicative f => StrictMaybe (f a) -> f (StrictMaybe a) #

mapM :: Monad m => (a -> m b) -> StrictMaybe a -> m (StrictMaybe b) #

sequence :: Monad m => StrictMaybe (m a) -> m (StrictMaybe a) #

HasField "mdHash" (TxBody e) (StrictMaybe (MetaDataHash e)) 
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> StrictMaybe (MetaDataHash era) #

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

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody e -> StrictMaybe (Update e) #

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

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> StrictMaybe (Update era) #

Eq a => Eq (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Ord a => Ord (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Show a => Show (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Generic (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep (StrictMaybe a) :: Type -> Type #

Methods

from :: StrictMaybe a -> Rep (StrictMaybe a) x #

to :: Rep (StrictMaybe a) x -> StrictMaybe a #

NFData a => NFData (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnf :: StrictMaybe a -> () #

ToJSON (PParamsUpdate era) Source # 
Instance details

Defined in Cardano.Tracing.OrphanInstances.Shelley

ToJSON a => ToJSON (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

FromJSON a => FromJSON (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Era era => FromCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

FromCBOR a => FromCBOR (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Era era => ToCBOR (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBOR :: PParamsUpdate era -> Encoding Source #

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

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

ToCBOR a => ToCBOR (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBOR :: StrictMaybe a -> Encoding Source #

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

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

NoThunks (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NoThunks a => NoThunks (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Eq (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Ord (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Show (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NFData (PParams' StrictMaybe era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnf :: PParams' StrictMaybe era -> () #

type Rep (StrictMaybe a) 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-92kyZKZr7Mp7w3ug0LA6KH" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))