marconi-cardano-core-1.2.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Marconi.Cardano.Core.Types

Description

This module provides several type aliases and utility functions to deal with them.

Synopsis

Config for retrying

data RetryConfig #

Config type for node retries

Constructors

RetryConfig 

Fields

Instances

Instances details
FromJSON RetryConfig # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

parseJSON :: Value -> Parser RetryConfig

parseJSONList :: Value -> Parser [RetryConfig]

ToJSON RetryConfig # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

toJSON :: RetryConfig -> Value

toEncoding :: RetryConfig -> Encoding

toJSONList :: [RetryConfig] -> Value

toEncodingList :: [RetryConfig] -> Encoding

Generic RetryConfig # 
Instance details

Defined in Marconi.Cardano.Core.Types

Associated Types

type Rep RetryConfig :: Type -> Type Source #

Methods

from :: RetryConfig -> Rep RetryConfig x Source #

to :: Rep RetryConfig x -> RetryConfig Source #

Show RetryConfig # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

showsPrec :: Int -> RetryConfig -> ShowS Source #

show :: RetryConfig -> String Source #

showList :: [RetryConfig] -> ShowS Source #

type Rep RetryConfig # 
Instance details

Defined in Marconi.Cardano.Core.Types

type Rep RetryConfig = D1 ('MetaData "RetryConfig" "Marconi.Cardano.Core.Types" "marconi-cardano-core-1.2.0.0-inplace" 'False) (C1 ('MetaCons "RetryConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "baseTimeBeforeNextRetry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "maybeMaxWaitTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Word64))))

A type representing either a ChainTip or a Block, with an attached distance to the tip

data TipAndBlock #

A type representing a ChainTip and maybe a Block, with an attached distance to the tip

Constructors

TipAndBlock ChainTip (Maybe (WithDistance BlockEvent)) 

Instances

Instances details
(MonadIO m, MonadError IndexerError m, IsIndex m TipAndBlock indexer) => IsIndex m TipAndBlock (WithSyncStats indexer) # 
Instance details

Defined in Marconi.Cardano.Core.Transformer.WithSyncStats

Methods

index :: Timed (Point TipAndBlock) (Maybe TipAndBlock) -> WithSyncStats indexer TipAndBlock -> m (WithSyncStats indexer TipAndBlock) Source #

indexAll :: (Eq (Point TipAndBlock), Traversable f) => f (Timed (Point TipAndBlock) (Maybe TipAndBlock)) -> WithSyncStats indexer TipAndBlock -> m (WithSyncStats indexer TipAndBlock) Source #

indexAllDescending :: (Eq (Point TipAndBlock), Traversable f) => f (Timed (Point TipAndBlock) (Maybe TipAndBlock)) -> WithSyncStats indexer TipAndBlock -> m (WithSyncStats indexer TipAndBlock) Source #

rollback :: Point TipAndBlock -> WithSyncStats indexer TipAndBlock -> m (WithSyncStats indexer TipAndBlock) Source #

setLastStablePoint :: Point TipAndBlock -> WithSyncStats indexer TipAndBlock -> m (WithSyncStats indexer TipAndBlock) Source #

type Point TipAndBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

type Point TipAndBlock = ChainPoint

Aliases for the current Cardano era

type TxOut = TxOut CtxTx ConwayEra #

A Cardano TxOut of the current Era

Aliases to ease concept mapping between plutus types and cardano types

type TxOutRef = TxIn #

A reference to a transaction output. This is a pair of a transaction reference, and an index indicating which of the outputs of that transaction we are referring to.

txOutRef :: TxId -> TxIx -> TxIn #

data AnyTxBody #

An existential type representing a transaction with C.TxBody era for any Cardano era.

Constructors

forall era.IsCardanoEra era => AnyTxBody BlockNo TxIndexInBlock (TxBody era) 

Instances

Instances details
type Point [AnyTxBody] # 
Instance details

Defined in Marconi.Cardano.Core.Types

type Point [AnyTxBody] = ChainPoint

Reexport from cardano-api-extended

data BlockEvent #

Constructors

BlockEvent 

Fields

Instances

Instances details
Show BlockEvent 
Instance details

Defined in Cardano.Api.Extended.Streaming

Methods

showsPrec :: Int -> BlockEvent -> ShowS Source #

show :: BlockEvent -> String Source #

showList :: [BlockEvent] -> ShowS Source #

type Point BlockEvent # 
Instance details

Defined in Marconi.Cardano.Core.Types

type Point BlockEvent = ChainPoint
type Point BlockEvent # 
Instance details

Defined in Marconi.Cardano.Core.Runner

type Point BlockEvent = ChainPoint

newtype SecurityParam #

Constructors

SecurityParam Word64 

Instances

Instances details
Bounded SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

minBound :: SecurityParam Source #

maxBound :: SecurityParam Source #

Enum SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

succ :: SecurityParam -> SecurityParam Source #

pred :: SecurityParam -> SecurityParam Source #

toEnum :: Int -> SecurityParam Source #

fromEnum :: SecurityParam -> Int Source #

enumFrom :: SecurityParam -> [SecurityParam] Source #

enumFromThen :: SecurityParam -> SecurityParam -> [SecurityParam] Source #

enumFromTo :: SecurityParam -> SecurityParam -> [SecurityParam] Source #

enumFromThenTo :: SecurityParam -> SecurityParam -> SecurityParam -> [SecurityParam] Source #

Num SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

(+) :: SecurityParam -> SecurityParam -> SecurityParam Source #

(-) :: SecurityParam -> SecurityParam -> SecurityParam Source #

(*) :: SecurityParam -> SecurityParam -> SecurityParam Source #

negate :: SecurityParam -> SecurityParam Source #

abs :: SecurityParam -> SecurityParam Source #

signum :: SecurityParam -> SecurityParam Source #

fromInteger :: Integer -> SecurityParam Source #

Read SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

readsPrec :: Int -> ReadS SecurityParam Source #

readList :: ReadS [SecurityParam] Source #

readPrec :: ReadPrec SecurityParam Source #

readListPrec :: ReadPrec [SecurityParam] Source #

Integral SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

quot :: SecurityParam -> SecurityParam -> SecurityParam Source #

rem :: SecurityParam -> SecurityParam -> SecurityParam Source #

div :: SecurityParam -> SecurityParam -> SecurityParam Source #

mod :: SecurityParam -> SecurityParam -> SecurityParam Source #

quotRem :: SecurityParam -> SecurityParam -> (SecurityParam, SecurityParam) Source #

divMod :: SecurityParam -> SecurityParam -> (SecurityParam, SecurityParam) Source #

toInteger :: SecurityParam -> Integer Source #

Real SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

toRational :: SecurityParam -> Rational Source #

Show SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

showsPrec :: Int -> SecurityParam -> ShowS Source #

show :: SecurityParam -> String Source #

showList :: [SecurityParam] -> ShowS Source #

Eq SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

(==) :: SecurityParam -> SecurityParam -> Bool Source #

(/=) :: SecurityParam -> SecurityParam -> Bool Source #

Ord SecurityParam # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

compare :: SecurityParam -> SecurityParam -> Ordering Source #

(<) :: SecurityParam -> SecurityParam -> Bool Source #

(<=) :: SecurityParam -> SecurityParam -> Bool Source #

(>) :: SecurityParam -> SecurityParam -> Bool Source #

(>=) :: SecurityParam -> SecurityParam -> Bool Source #

max :: SecurityParam -> SecurityParam -> SecurityParam Source #

min :: SecurityParam -> SecurityParam -> SecurityParam Source #

FromField SecurityParam 
Instance details

Defined in Marconi.Cardano.Core.Orphans

Methods

fromField :: FieldParser SecurityParam

ToField SecurityParam 
Instance details

Defined in Marconi.Cardano.Core.Orphans

Methods

toField :: SecurityParam -> SQLData

newtype TxIndexInBlock #

Constructors

TxIndexInBlock Word64 

Instances

Instances details
FromJSON TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

parseJSON :: Value -> Parser TxIndexInBlock

parseJSONList :: Value -> Parser [TxIndexInBlock]

ToJSON TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

toJSON :: TxIndexInBlock -> Value

toEncoding :: TxIndexInBlock -> Encoding

toJSONList :: [TxIndexInBlock] -> Value

toEncodingList :: [TxIndexInBlock] -> Encoding

Bounded TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

minBound :: TxIndexInBlock Source #

maxBound :: TxIndexInBlock Source #

Enum TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

succ :: TxIndexInBlock -> TxIndexInBlock Source #

pred :: TxIndexInBlock -> TxIndexInBlock Source #

toEnum :: Int -> TxIndexInBlock Source #

fromEnum :: TxIndexInBlock -> Int Source #

enumFrom :: TxIndexInBlock -> [TxIndexInBlock] Source #

enumFromThen :: TxIndexInBlock -> TxIndexInBlock -> [TxIndexInBlock] Source #

enumFromTo :: TxIndexInBlock -> TxIndexInBlock -> [TxIndexInBlock] Source #

enumFromThenTo :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock -> [TxIndexInBlock] Source #

Num TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

(+) :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

(-) :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

(*) :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

negate :: TxIndexInBlock -> TxIndexInBlock Source #

abs :: TxIndexInBlock -> TxIndexInBlock Source #

signum :: TxIndexInBlock -> TxIndexInBlock Source #

fromInteger :: Integer -> TxIndexInBlock Source #

Read TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

readsPrec :: Int -> ReadS TxIndexInBlock Source #

readList :: ReadS [TxIndexInBlock] Source #

readPrec :: ReadPrec TxIndexInBlock Source #

readListPrec :: ReadPrec [TxIndexInBlock] Source #

Integral TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

quot :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

rem :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

div :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

mod :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

quotRem :: TxIndexInBlock -> TxIndexInBlock -> (TxIndexInBlock, TxIndexInBlock) Source #

divMod :: TxIndexInBlock -> TxIndexInBlock -> (TxIndexInBlock, TxIndexInBlock) Source #

toInteger :: TxIndexInBlock -> Integer Source #

Real TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

toRational :: TxIndexInBlock -> Rational Source #

Show TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

showsPrec :: Int -> TxIndexInBlock -> ShowS Source #

show :: TxIndexInBlock -> String Source #

showList :: [TxIndexInBlock] -> ShowS Source #

Eq TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

(==) :: TxIndexInBlock -> TxIndexInBlock -> Bool Source #

(/=) :: TxIndexInBlock -> TxIndexInBlock -> Bool Source #

Ord TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

compare :: TxIndexInBlock -> TxIndexInBlock -> Ordering Source #

(<) :: TxIndexInBlock -> TxIndexInBlock -> Bool Source #

(<=) :: TxIndexInBlock -> TxIndexInBlock -> Bool Source #

(>) :: TxIndexInBlock -> TxIndexInBlock -> Bool Source #

(>=) :: TxIndexInBlock -> TxIndexInBlock -> Bool Source #

max :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

min :: TxIndexInBlock -> TxIndexInBlock -> TxIndexInBlock Source #

FromField TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

fromField :: FieldParser TxIndexInBlock

ToField TxIndexInBlock # 
Instance details

Defined in Marconi.Cardano.Core.Types

Methods

toField :: TxIndexInBlock -> SQLData