cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Query

Synopsis

Queries

data QueryInMode result where Source #

Constructors

QueryCurrentEra :: QueryInMode AnyCardanoEra 
QueryInEra :: forall era result1. QueryInEra era result1 -> QueryInMode (Either EraMismatch result1) 
QueryEraHistory :: QueryInMode EraHistory 
QuerySystemStart :: QueryInMode SystemStart 
QueryChainBlockNo :: QueryInMode (WithOrigin BlockNo) 
QueryChainPoint :: QueryInMode ChainPoint 
QueryLedgerConfig :: QueryInMode (HardForkLedgerConfig (CardanoEras StandardCrypto)) 

Instances

Instances details
Show (QueryInMode result) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

showsPrec :: Int -> QueryInMode result -> ShowS Source #

show :: QueryInMode result -> String Source #

showList :: [QueryInMode result] -> ShowS Source #

data QueryInEra era result where Source #

Constructors

QueryByronUpdateState :: QueryInEra ByronEra ByronUpdateState 
QueryInShelleyBasedEra :: forall era result. ShelleyBasedEra era -> QueryInShelleyBasedEra era result -> QueryInEra era result 

Instances

Instances details
Show (QueryInEra era result) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

showsPrec :: Int -> QueryInEra era result -> ShowS Source #

show :: QueryInEra era result -> String Source #

showList :: [QueryInEra era result] -> ShowS Source #

data QueryInShelleyBasedEra era result where Source #

Constructors

QueryEpoch :: forall era. QueryInShelleyBasedEra era EpochNo 
QueryGenesisParameters :: forall era. QueryInShelleyBasedEra era (GenesisParameters ShelleyEra) 
QueryProtocolParameters :: forall era. QueryInShelleyBasedEra era (PParams (ShelleyLedgerEra era)) 
QueryStakeDistribution :: forall era. QueryInShelleyBasedEra era (Map (Hash StakePoolKey) Rational) 
QueryUTxO :: forall era. QueryUTxOFilter -> QueryInShelleyBasedEra era (UTxO era) 
QueryStakeAddresses :: forall era. Set StakeCredential -> NetworkId -> QueryInShelleyBasedEra era (Map StakeAddress Coin, Map StakeAddress PoolId) 
QueryStakePools :: forall era. QueryInShelleyBasedEra era (Set PoolId) 
QueryStakePoolParameters :: forall era. Set PoolId -> QueryInShelleyBasedEra era (Map PoolId StakePoolParameters) 
QueryDebugLedgerState :: forall era. QueryInShelleyBasedEra era (SerialisedDebugLedgerState era) 
QueryProtocolState :: forall era. QueryInShelleyBasedEra era (ProtocolState era) 
QueryCurrentEpochState :: forall era. QueryInShelleyBasedEra era (SerialisedCurrentEpochState era) 
QueryPoolState :: forall era. Maybe (Set PoolId) -> QueryInShelleyBasedEra era SerialisedPoolState 
QueryPoolDistribution :: forall era. Maybe (Set PoolId) -> QueryInShelleyBasedEra era (Serialised (PoolDistribution era)) 
QueryStakeSnapshot :: forall era. Maybe (Set PoolId) -> QueryInShelleyBasedEra era (SerialisedStakeSnapshots era) 
QueryStakeDelegDeposits :: forall era. Set StakeCredential -> QueryInShelleyBasedEra era (Map StakeCredential Coin) 
QueryAccountState :: forall era. QueryInShelleyBasedEra era ChainAccountState 
QueryConstitution :: forall era. QueryInShelleyBasedEra era (Constitution (ShelleyLedgerEra era)) 
QueryGovState :: forall era. QueryInShelleyBasedEra era (GovState (ShelleyLedgerEra era)) 
QueryRatifyState :: forall era. QueryInShelleyBasedEra era (RatifyState (ShelleyLedgerEra era)) 
QueryFuturePParams :: forall era. QueryInShelleyBasedEra era (Maybe (PParams (ShelleyLedgerEra era))) 
QueryDRepState :: forall era. Set (Credential 'DRepRole) -> QueryInShelleyBasedEra era (Map (Credential 'DRepRole) DRepState) 
QueryDRepStakeDistr :: forall era. Set DRep -> QueryInShelleyBasedEra era (Map DRep Coin) 
QuerySPOStakeDistr :: forall era. Set (KeyHash 'StakePool) -> QueryInShelleyBasedEra era (Map (KeyHash 'StakePool) Coin) 
QueryCommitteeMembersState :: forall era. Set (Credential 'ColdCommitteeRole) -> Set (Credential 'HotCommitteeRole) -> Set MemberStatus -> QueryInShelleyBasedEra era CommitteeMembersState 
QueryStakeVoteDelegatees :: forall era. Set StakeCredential -> QueryInShelleyBasedEra era (Map StakeCredential DRep) 
QueryProposals :: forall era. Set GovActionId -> QueryInShelleyBasedEra era (Seq (GovActionState (ShelleyLedgerEra era))) 
QueryLedgerPeerSnapshot :: forall (ledgerPeersKind :: LedgerPeersKind) era. SingLedgerPeersKind ledgerPeersKind -> QueryInShelleyBasedEra era (LedgerPeerSnapshot ledgerPeersKind) 
QueryStakePoolDefaultVote :: forall era. KeyHash 'StakePool -> QueryInShelleyBasedEra era DefaultVote 
GetDRepDelegations :: forall era. Set DRep -> QueryInShelleyBasedEra era (Map DRep (Set (Credential 'Staking))) 

Instances

Instances details
Show (QueryInShelleyBasedEra era result) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

showsPrec :: Int -> QueryInShelleyBasedEra era result -> ShowS Source #

show :: QueryInShelleyBasedEra era result -> String Source #

showList :: [QueryInShelleyBasedEra era result] -> ShowS Source #

data QueryUTxOFilter Source #

Getting the whole UTxO is obviously not efficient since the result can be huge. Filtering by address is also not efficient because it requires a linear search.

The QueryUTxOFilterByTxIn is efficient since it fits with the structure of the UTxO (which is indexed by TxIn).

Constructors

QueryUTxOWhole

O(n) time and space for utxo size n

QueryUTxOByAddress (Set AddressAny)

O(n) time, O(m) space for utxo size n, and address set size m

QueryUTxOByTxIn (Set TxIn)

O(m log n) time, O(m) space for utxo size n, and address set size m

Instances

Instances details
Eq QueryUTxOFilter Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

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

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

Show QueryUTxOFilter Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

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

show :: QueryUTxOFilter -> String Source #

showList :: [QueryUTxOFilter] -> ShowS Source #

data UTxOInAnyEra where Source #

Constructors

UTxOInAnyEra :: forall era. CardanoEra era -> UTxO era -> UTxOInAnyEra 

Instances

Instances details
Show UTxOInAnyEra Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

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

show :: UTxOInAnyEra -> String Source #

showList :: [UTxOInAnyEra] -> ShowS Source #

Internal conversion functions

toConsensusQuery :: (HasCallStack, CardanoBlock StandardCrypto ~ block) => QueryInMode result -> Some (Query block) Source #

fromConsensusQueryResult :: (HasCallStack, CardanoBlock StandardCrypto ~ block) => QueryInMode result -> Query block result' -> result' -> result Source #

Wrapper types used in queries

newtype SerialisedDebugLedgerState era Source #

Constructors

SerialisedDebugLedgerState (Serialised (NewEpochState (ShelleyLedgerEra era))) 

newtype ProtocolState era Source #

Constructors

ProtocolState (Serialised (ChainDepState (ConsensusProtocol era))) 

decodeProtocolState :: FromCBOR (ChainDepState (ConsensusProtocol era)) => ProtocolState era -> Either (ByteString, DecoderError) (ChainDepState (ConsensusProtocol era)) Source #

newtype DebugLedgerState era Source #

Constructors

DebugLedgerState 

Fields

Instances

Instances details
IsShelleyBasedEra era => ToJSON (DebugLedgerState era) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.DebugLedgerState

Methods

toJSON :: DebugLedgerState era -> Value #

toEncoding :: DebugLedgerState era -> Encoding #

toJSONList :: [DebugLedgerState era] -> Value #

toEncodingList :: [DebugLedgerState era] -> Encoding #

omitField :: DebugLedgerState era -> Bool #

IsShelleyBasedEra era => FromCBOR (DebugLedgerState era) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.DebugLedgerState

Methods

fromCBOR :: Decoder s (DebugLedgerState era) Source #

label :: Proxy (DebugLedgerState era) -> Text Source #

decodeDebugLedgerState :: FromCBOR (DebugLedgerState era) => SerialisedDebugLedgerState era -> Either (ByteString, DecoderError) (DebugLedgerState era) Source #

newtype SerialisedCurrentEpochState era Source #

Constructors

SerialisedCurrentEpochState (Serialised (EpochState (ShelleyLedgerEra era))) 

newtype CurrentEpochState era Source #

Constructors

CurrentEpochState (EpochState (ShelleyLedgerEra era)) 

decodeCurrentEpochState :: ShelleyBasedEra era -> SerialisedCurrentEpochState era -> Either DecoderError (CurrentEpochState era) Source #

newtype SerialisedPoolState Source #

Constructors

SerialisedPoolState (Serialised QueryPoolStateResult) 

newtype PoolState era Source #

Constructors

PoolState QueryPoolStateResult 

decodePoolState :: ShelleyBasedEra era -> SerialisedPoolState -> Either DecoderError (PoolState era) Source #

newtype PoolDistribution era Source #

Constructors

PoolDistribution 

Fields

decodePoolDistribution :: ShelleyBasedEra era -> Serialised (PoolDistribution era) -> Either DecoderError (PoolDistribution era) Source #

newtype SerialisedStakeSnapshots era Source #

Constructors

SerialisedStakeSnapshots (Serialised StakeSnapshots) 

newtype StakeSnapshot era Source #

Constructors

StakeSnapshot StakeSnapshots 

Instances

Instances details
Typeable era => DecCBOR (StakeSnapshot era) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

decCBOR :: Decoder s (StakeSnapshot era) Source #

dropCBOR :: Proxy (StakeSnapshot era) -> Decoder s () Source #

label :: Proxy (StakeSnapshot era) -> Text Source #

EncCBOR (StakeSnapshot era) Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

encCBOR :: StakeSnapshot era -> Encoding Source #

decodeStakeSnapshot :: ShelleyBasedEra era -> SerialisedStakeSnapshots era -> Either DecoderError (StakeSnapshot era) Source #

data EraHistory where Source #

Constructors

EraHistory :: forall (xs :: [Type]). CardanoBlock StandardCrypto ~ HardForkBlock xs => Interpreter xs -> EraHistory 

Instances

Instances details
HasTypeProxy EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Associated Types

data AsType EraHistory 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

data AsType EraHistory = AsEraHistory

Methods

proxyToAsType :: Proxy EraHistory -> AsType EraHistory Source #

SerialiseAsCBOR EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

serialiseToCBOR :: EraHistory -> ByteString Source #

deserialiseFromCBOR :: AsType EraHistory -> ByteString -> Either DecoderError EraHistory Source #

HasTextEnvelope EraHistory Source #

The HasTextEnvelope instance for EraHistory is required by the transaction calculate-plutus-script-cost command in cartdano-cli and it can be obtained through the query era-history@ command.

Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Methods

textEnvelopeType :: AsType EraHistory -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: EraHistory -> TextEnvelopeDescr Source #

data AsType EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

data AsType EraHistory = AsEraHistory

newtype SystemStart Source #

System start

Slots are counted from the system start.

Constructors

SystemStart 

Fields

Instances

Instances details
FromJSON SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

parseJSON :: Value -> Parser SystemStart #

parseJSONList :: Value -> Parser [SystemStart] #

omittedField :: Maybe SystemStart #

ToJSON SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

toJSON :: SystemStart -> Value #

toEncoding :: SystemStart -> Encoding #

toJSONList :: [SystemStart] -> Value #

toEncodingList :: [SystemStart] -> Encoding #

omitField :: SystemStart -> Bool #

FromCBOR SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

fromCBOR :: Decoder s SystemStart Source #

label :: Proxy SystemStart -> Text Source #

ToCBOR SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

toCBOR :: SystemStart -> Encoding Source #

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

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

DecCBOR SystemStart Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR :: Decoder s SystemStart Source #

dropCBOR :: Proxy SystemStart -> Decoder s () Source #

label :: Proxy SystemStart -> Text Source #

EncCBOR SystemStart Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR :: SystemStart -> Encoding Source #

Eq SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

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

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

Generic SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Associated Types

type Rep SystemStart 
Instance details

Defined in Cardano.Slotting.Time

type Rep SystemStart = D1 ('MetaData "SystemStart" "Cardano.Slotting.Time" "cardano-slotting-0.2.1.0-4faba7576f1c1ab85107dd4ee538cf49733dbf6f0aeb4c6cc428e01d7a8d7dfc" 'True) (C1 ('MetaCons "SystemStart" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSystemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))

Methods

from :: SystemStart -> Rep SystemStart x Source #

to :: Rep SystemStart x -> SystemStart Source #

Show SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

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

show :: SystemStart -> String Source #

showList :: [SystemStart] -> ShowS Source #

NoThunks SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

Methods

noThunks :: Context -> SystemStart -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SystemStart -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy SystemStart -> String #

Serialise SystemStart 
Instance details

Defined in Cardano.Slotting.Time

Methods

encode :: SystemStart -> Encoding

decode :: Decoder s SystemStart

encodeList :: [SystemStart] -> Encoding

decodeList :: Decoder s [SystemStart]

type Rep SystemStart Source # 
Instance details

Defined in Cardano.Slotting.Time

type Rep SystemStart = D1 ('MetaData "SystemStart" "Cardano.Slotting.Time" "cardano-slotting-0.2.1.0-4faba7576f1c1ab85107dd4ee538cf49733dbf6f0aeb4c6cc428e01d7a8d7dfc" 'True) (C1 ('MetaCons "SystemStart" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSystemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))

newtype LedgerEpochInfo Source #

Constructors

LedgerEpochInfo 

Fields

toLedgerEpochInfo :: EraHistory -> LedgerEpochInfo Source #

newtype SlotsInEpoch Source #

Constructors

SlotsInEpoch Word64 

newtype SlotsToEpochEnd Source #

Constructors

SlotsToEpochEnd Word64 

slotToEpoch :: SlotNo -> EraHistory -> Either PastHorizonException (EpochNo, SlotsInEpoch, SlotsToEpochEnd) Source #

data family LedgerState blk (mk :: MapKind) Source #

Ledger state associated with a block

This is the Consensus notion of a Ledger ledger state. Each block type is associated with one of the Ledger types for the ledger state. Virtually every concept in this codebase revolves around this type, or the referenced blk. Whenever we use the type variable l we intend to signal that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

This type is parametrized over mk :: MapKind to express the LedgerTables contained in such a LedgerState. See LedgerTables for a more thorough description.

The main operations we can do with a LedgerState are ticking (defined in IsLedger), and applying a block (defined in ApplyBlock).

Instances

Instances details
ApplyBlock LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

applyBlockLedgerResultWithValidation :: ValidationPolicy -> ComputeLedgerEvents -> LedgerCfg LedgerState ByronBlock -> ByronBlock -> Ticked LedgerState ByronBlock ValuesMK -> Except (LedgerErr LedgerState ByronBlock) (LedgerResult ByronBlock (LedgerState ByronBlock DiffMK)) Source #

applyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState ByronBlock -> ByronBlock -> Ticked LedgerState ByronBlock ValuesMK -> Except (LedgerErr LedgerState ByronBlock) (LedgerResult ByronBlock (LedgerState ByronBlock DiffMK)) Source #

reapplyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState ByronBlock -> ByronBlock -> Ticked LedgerState ByronBlock ValuesMK -> LedgerResult ByronBlock (LedgerState ByronBlock DiffMK) Source #

IsLedger LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Associated Types

type LedgerErr LedgerState ByronBlock 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type LedgerErr LedgerState ByronBlock = ChainValidationError

Methods

applyChainTickLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState ByronBlock -> SlotNo -> LedgerState ByronBlock EmptyMK -> LedgerResult ByronBlock (Ticked LedgerState ByronBlock DiffMK) Source #

CanUpgradeLedgerTables LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

upgradeTables :: forall (mk1 :: MapKind) (mk2 :: MapKind). LedgerState ByronBlock mk1 -> LedgerState ByronBlock mk2 -> LedgerTables ByronBlock ValuesMK -> LedgerTables ByronBlock ValuesMK Source #

HasLedgerTables LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState ByronBlock mk -> LedgerTables ByronBlock mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState ByronBlock any -> LedgerTables ByronBlock mk -> LedgerState ByronBlock mk Source #

LedgerTablesAreTrivial LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

convertMapKind :: forall (mk :: MapKind) (mk' :: MapKind). LedgerState ByronBlock mk -> LedgerState ByronBlock mk' Source #

SerializeTablesWithHint LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

encodeTablesWithHint :: LedgerState ByronBlock EmptyMK -> LedgerTables ByronBlock ValuesMK -> Encoding Source #

decodeTablesWithHint :: LedgerState ByronBlock EmptyMK -> Decoder s (LedgerTables ByronBlock ValuesMK) Source #

IndexedMemPack LedgerState ByronBlock Void # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

indexedPackedByteCount :: LedgerState ByronBlock EmptyMK -> Void -> Int Source #

indexedPackM :: LedgerState ByronBlock EmptyMK -> Void -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState ByronBlock EmptyMK -> Unpack s b Void Source #

indexedTypeName :: Proxy Void -> LedgerState ByronBlock EmptyMK -> String Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => ApplyBlock LedgerState (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

applyBlockLedgerResultWithValidation :: ValidationPolicy -> ComputeLedgerEvents -> LedgerCfg LedgerState (HardForkBlock xs) -> HardForkBlock xs -> Ticked LedgerState (HardForkBlock xs) ValuesMK -> Except (LedgerErr LedgerState (HardForkBlock xs)) (LedgerResult (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK)) Source #

applyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (HardForkBlock xs) -> HardForkBlock xs -> Ticked LedgerState (HardForkBlock xs) ValuesMK -> Except (LedgerErr LedgerState (HardForkBlock xs)) (LedgerResult (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK)) Source #

reapplyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (HardForkBlock xs) -> HardForkBlock xs -> Ticked LedgerState (HardForkBlock xs) ValuesMK -> LedgerResult (HardForkBlock xs) (LedgerState (HardForkBlock xs) DiffMK) Source #

CanHardFork xs => IsLedger LedgerState (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerErr LedgerState (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

Methods

applyChainTickLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (HardForkBlock xs) -> SlotNo -> LedgerState (HardForkBlock xs) EmptyMK -> LedgerResult (HardForkBlock xs) (Ticked LedgerState (HardForkBlock xs) DiffMK) Source #

(CanHardFork xs, HasHardForkTxOut xs) => CanUpgradeLedgerTables LedgerState (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

upgradeTables :: forall (mk1 :: MapKind) (mk2 :: MapKind). LedgerState (HardForkBlock xs) mk1 -> LedgerState (HardForkBlock xs) mk2 -> LedgerTables (HardForkBlock xs) ValuesMK -> LedgerTables (HardForkBlock xs) ValuesMK Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables LedgerState (HardForkBlock xs) Source #

Warning: projectLedgerTables and withLedgerTables are prohibitively expensive when using big tables or when used multiple times. See the TxOut instance for the HardForkBlock for more information.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState (HardForkBlock xs) mk -> LedgerTables (HardForkBlock xs) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState (HardForkBlock xs) any -> LedgerTables (HardForkBlock xs) mk -> LedgerState (HardForkBlock xs) mk Source #

CardanoHardForkConstraints c => SerializeTablesWithHint LedgerState (HardForkBlock (CardanoEras c)) # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

encodeTablesWithHint :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK -> Encoding Source #

decodeTablesWithHint :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> Decoder s (LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK) Source #

SerializeTablesWithHint LedgerState (HardForkBlock '[ByronBlock]) # 
Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

encodeTablesWithHint :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> LedgerTables (HardForkBlock '[ByronBlock]) ValuesMK -> Encoding Source #

decodeTablesWithHint :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Decoder s (LedgerTables (HardForkBlock '[ByronBlock]) ValuesMK) Source #

ShelleyCompatible proto era => SerializeTablesWithHint LedgerState (HardForkBlock '[ShelleyBlock proto era]) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

encodeTablesWithHint :: LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK -> LedgerTables (HardForkBlock '[ShelleyBlock proto era]) ValuesMK -> Encoding Source #

decodeTablesWithHint :: LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK -> Decoder s (LedgerTables (HardForkBlock '[ShelleyBlock proto era]) ValuesMK) Source #

IndexedMemPack LedgerState (HardForkBlock '[ByronBlock]) Void # 
Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

indexedPackedByteCount :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Void -> Int Source #

indexedPackM :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Void -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Unpack s b Void Source #

indexedTypeName :: Proxy Void -> LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> String Source #

(txout ~ TxOut era, MemPack txout) => IndexedMemPack LedgerState (HardForkBlock '[ShelleyBlock proto era]) txout # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Methods

indexedPackedByteCount :: LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK -> txout -> Int Source #

indexedPackM :: LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK -> txout -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK -> Unpack s b txout Source #

indexedTypeName :: Proxy txout -> LedgerState (HardForkBlock '[ShelleyBlock proto era]) EmptyMK -> String Source #

CardanoHardForkConstraints c => IndexedMemPack LedgerState (HardForkBlock (CardanoEras c)) (CardanoTxOut c) # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

indexedPackedByteCount :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> CardanoTxOut c -> Int Source #

indexedPackM :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> CardanoTxOut c -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> Unpack s b (CardanoTxOut c) Source #

indexedTypeName :: Proxy (CardanoTxOut c) -> LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> String Source #

Bridge m a => ApplyBlock LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

applyBlockLedgerResultWithValidation :: ValidationPolicy -> ComputeLedgerEvents -> LedgerCfg LedgerState (DualBlock m a) -> DualBlock m a -> Ticked LedgerState (DualBlock m a) ValuesMK -> Except (LedgerErr LedgerState (DualBlock m a)) (LedgerResult (DualBlock m a) (LedgerState (DualBlock m a) DiffMK)) Source #

applyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (DualBlock m a) -> DualBlock m a -> Ticked LedgerState (DualBlock m a) ValuesMK -> Except (LedgerErr LedgerState (DualBlock m a)) (LedgerResult (DualBlock m a) (LedgerState (DualBlock m a) DiffMK)) Source #

reapplyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (DualBlock m a) -> DualBlock m a -> Ticked LedgerState (DualBlock m a) ValuesMK -> LedgerResult (DualBlock m a) (LedgerState (DualBlock m a) DiffMK) Source #

ShelleyCompatible proto era => ApplyBlock LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

applyBlockLedgerResultWithValidation :: ValidationPolicy -> ComputeLedgerEvents -> LedgerCfg LedgerState (ShelleyBlock proto era) -> ShelleyBlock proto era -> Ticked LedgerState (ShelleyBlock proto era) ValuesMK -> Except (LedgerErr LedgerState (ShelleyBlock proto era)) (LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK)) Source #

applyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (ShelleyBlock proto era) -> ShelleyBlock proto era -> Ticked LedgerState (ShelleyBlock proto era) ValuesMK -> Except (LedgerErr LedgerState (ShelleyBlock proto era)) (LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK)) Source #

reapplyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (ShelleyBlock proto era) -> ShelleyBlock proto era -> Ticked LedgerState (ShelleyBlock proto era) ValuesMK -> LedgerResult (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) DiffMK) Source #

Bridge m a => IsLedger LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type LedgerErr LedgerState (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a

Methods

applyChainTickLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (DualBlock m a) -> SlotNo -> LedgerState (DualBlock m a) EmptyMK -> LedgerResult (DualBlock m a) (Ticked LedgerState (DualBlock m a) DiffMK) Source #

ShelleyBasedEra era => IsLedger LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type LedgerErr LedgerState (ShelleyBlock proto era) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era

Methods

applyChainTickLedgerResult :: ComputeLedgerEvents -> LedgerCfg LedgerState (ShelleyBlock proto era) -> SlotNo -> LedgerState (ShelleyBlock proto era) EmptyMK -> LedgerResult (ShelleyBlock proto era) (Ticked LedgerState (ShelleyBlock proto era) DiffMK) Source #

CanUpgradeLedgerTables LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

upgradeTables :: forall (mk1 :: MapKind) (mk2 :: MapKind). LedgerState (DualBlock m a) mk1 -> LedgerState (DualBlock m a) mk2 -> LedgerTables (DualBlock m a) ValuesMK -> LedgerTables (DualBlock m a) ValuesMK Source #

CanUpgradeLedgerTables LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

upgradeTables :: forall (mk1 :: MapKind) (mk2 :: MapKind). LedgerState (ShelleyBlock proto era) mk1 -> LedgerState (ShelleyBlock proto era) mk2 -> LedgerTables (ShelleyBlock proto era) ValuesMK -> LedgerTables (ShelleyBlock proto era) ValuesMK Source #

(Bridge m a, HasLedgerTables LedgerState m) => HasLedgerTables LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState (DualBlock m a) mk -> LedgerTables (DualBlock m a) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState (DualBlock m a) any -> LedgerTables (DualBlock m a) mk -> LedgerState (DualBlock m a) mk Source #

ShelleyBasedEra era => HasLedgerTables LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState (ShelleyBlock proto era) mk -> LedgerTables (ShelleyBlock proto era) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState (ShelleyBlock proto era) any -> LedgerTables (ShelleyBlock proto era) mk -> LedgerState (ShelleyBlock proto era) mk Source #

(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) => SerializeTablesWithHint LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

encodeTablesWithHint :: LedgerState (DualBlock m a) EmptyMK -> LedgerTables (DualBlock m a) ValuesMK -> Encoding Source #

decodeTablesWithHint :: LedgerState (DualBlock m a) EmptyMK -> Decoder s (LedgerTables (DualBlock m a) ValuesMK) Source #

ShelleyCompatible proto era => SerializeTablesWithHint LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

encodeTablesWithHint :: LedgerState (ShelleyBlock proto era) EmptyMK -> LedgerTables (ShelleyBlock proto era) ValuesMK -> Encoding Source #

decodeTablesWithHint :: LedgerState (ShelleyBlock proto era) EmptyMK -> Decoder s (LedgerTables (ShelleyBlock proto era) ValuesMK) Source #

DecodeDisk ByronBlock (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s (LedgerState ByronBlock mk) Source #

EncodeDisk ByronBlock (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk :: CodecConfig ByronBlock -> LedgerState ByronBlock mk -> Encoding Source #

(txout ~ TxOut m, IndexedMemPack LedgerState m txout) => IndexedMemPack LedgerState (DualBlock m a) txout Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

indexedPackedByteCount :: LedgerState (DualBlock m a) EmptyMK -> txout -> Int Source #

indexedPackM :: LedgerState (DualBlock m a) EmptyMK -> txout -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (DualBlock m a) EmptyMK -> Unpack s b txout Source #

indexedTypeName :: Proxy txout -> LedgerState (DualBlock m a) EmptyMK -> String Source #

(txout ~ TxOut era, MemPack txout) => IndexedMemPack LedgerState (ShelleyBlock proto era) txout # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

indexedPackedByteCount :: LedgerState (ShelleyBlock proto era) EmptyMK -> txout -> Int Source #

indexedPackM :: LedgerState (ShelleyBlock proto era) EmptyMK -> txout -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (ShelleyBlock proto era) EmptyMK -> Unpack s b txout Source #

indexedTypeName :: Proxy txout -> LedgerState (ShelleyBlock proto era) EmptyMK -> String Source #

(ShelleyBasedEra era, ShelleyBasedEra (PreviousEra era), TranslateEra era (ShelleyTip proto), TranslateEra era NewEpochState, TranslationError era NewEpochState ~ Void, CanMapMK mk, CanMapKeysMK mk) => TranslateEra era (Flip LedgerState mk :.: ShelleyBlock proto) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Associated Types

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void

Methods

translateEra :: TranslationContext era -> (Flip LedgerState mk :.: ShelleyBlock proto) (PreviousEra era) -> Except (TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto)) ((Flip LedgerState mk :.: ShelleyBlock proto) era) Source #

CanHardFork xs => GetTip (LedgerState (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip :: forall (mk :: MapKind). LedgerState (HardForkBlock xs) mk -> Point (LedgerState (HardForkBlock xs)) Source #

Bridge m a => GetTip (LedgerState (DualBlock m a)) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

getTip :: forall (mk :: MapKind). LedgerState (DualBlock m a) mk -> Point (LedgerState (DualBlock m a)) Source #

GetTip (LedgerState ByronBlock) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

getTip :: forall (mk :: MapKind). LedgerState ByronBlock mk -> Point (LedgerState ByronBlock) Source #

GetTip (LedgerState (ShelleyBlock proto era)) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip :: forall (mk :: MapKind). LedgerState (ShelleyBlock proto era) mk -> Point (LedgerState (ShelleyBlock proto era)) Source #

All (Compose CanStowLedgerTables LedgerState) xs => CanStowLedgerTables (LedgerState (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

stowLedgerTables :: LedgerState (HardForkBlock xs) ValuesMK -> LedgerState (HardForkBlock xs) EmptyMK Source #

unstowLedgerTables :: LedgerState (HardForkBlock xs) EmptyMK -> LedgerState (HardForkBlock xs) ValuesMK Source #

CanStowLedgerTables (LedgerState m) => CanStowLedgerTables (LedgerState (DualBlock m a)) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

stowLedgerTables :: LedgerState (DualBlock m a) ValuesMK -> LedgerState (DualBlock m a) EmptyMK Source #

unstowLedgerTables :: LedgerState (DualBlock m a) EmptyMK -> LedgerState (DualBlock m a) ValuesMK Source #

CanStowLedgerTables (LedgerState ByronBlock) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

stowLedgerTables :: LedgerState ByronBlock ValuesMK -> LedgerState ByronBlock EmptyMK Source #

unstowLedgerTables :: LedgerState ByronBlock EmptyMK -> LedgerState ByronBlock ValuesMK Source #

ShelleyBasedEra era => CanStowLedgerTables (LedgerState (ShelleyBlock proto era)) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables :: LedgerState (ShelleyBlock proto era) ValuesMK -> LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables :: LedgerState (ShelleyBlock proto era) EmptyMK -> LedgerState (ShelleyBlock proto era) ValuesMK Source #

SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk :: CodecConfig (HardForkBlock xs) -> forall s. Decoder s (LedgerState (HardForkBlock xs) EmptyMK) Source #

SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk :: CodecConfig (HardForkBlock xs) -> LedgerState (HardForkBlock xs) EmptyMK -> Encoding Source #

(EqMK mk, CanHardFork xs) => Eq (LedgerState (HardForkBlock xs) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) :: LedgerState (HardForkBlock xs) mk -> LedgerState (HardForkBlock xs) mk -> Bool Source #

(/=) :: LedgerState (HardForkBlock xs) mk -> LedgerState (HardForkBlock xs) mk -> Bool Source #

(Bridge m a, EqMK mk) => Eq (LedgerState (DualBlock m a) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

(==) :: LedgerState (DualBlock m a) mk -> LedgerState (DualBlock m a) mk -> Bool Source #

(/=) :: LedgerState (DualBlock m a) mk -> LedgerState (DualBlock m a) mk -> Bool Source #

Eq (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

(==) :: LedgerState ByronBlock mk -> LedgerState ByronBlock mk -> Bool Source #

(/=) :: LedgerState ByronBlock mk -> LedgerState ByronBlock mk -> Bool Source #

(ShelleyBasedEra era, EqMK mk) => Eq (LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

(==) :: LedgerState (ShelleyBlock proto era) mk -> LedgerState (ShelleyBlock proto era) mk -> Bool Source #

(/=) :: LedgerState (ShelleyBlock proto era) mk -> LedgerState (ShelleyBlock proto era) mk -> Bool Source #

Generic (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Associated Types

type Rep (LedgerState ByronBlock mk) 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition))))

Methods

from :: LedgerState ByronBlock mk -> Rep (LedgerState ByronBlock mk) x Source #

to :: Rep (LedgerState ByronBlock mk) x -> LedgerState ByronBlock mk Source #

Generic (LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (LedgerState (ShelleyBlock proto era) mk) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ShelleyTransition) :*: (S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)) :*: S1 ('MetaSel ('Just "shelleyLedgerLatestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasRoundNo))))))

Methods

from :: LedgerState (ShelleyBlock proto era) mk -> Rep (LedgerState (ShelleyBlock proto era) mk) x Source #

to :: Rep (LedgerState (ShelleyBlock proto era) mk) x -> LedgerState (ShelleyBlock proto era) mk Source #

(ShowMK mk, CanHardFork xs) => Show (LedgerState (HardForkBlock xs) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec :: Int -> LedgerState (HardForkBlock xs) mk -> ShowS Source #

show :: LedgerState (HardForkBlock xs) mk -> String Source #

showList :: [LedgerState (HardForkBlock xs) mk] -> ShowS Source #

(Bridge m a, ShowMK mk) => Show (LedgerState (DualBlock m a) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrec :: Int -> LedgerState (DualBlock m a) mk -> ShowS Source #

show :: LedgerState (DualBlock m a) mk -> String Source #

showList :: [LedgerState (DualBlock m a) mk] -> ShowS Source #

Show (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

showsPrec :: Int -> LedgerState ByronBlock mk -> ShowS Source #

show :: LedgerState ByronBlock mk -> String Source #

showList :: [LedgerState ByronBlock mk] -> ShowS Source #

(ShelleyBasedEra era, ShowMK mk) => Show (LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

showsPrec :: Int -> LedgerState (ShelleyBlock proto era) mk -> ShowS Source #

show :: LedgerState (ShelleyBlock proto era) mk -> String Source #

showList :: [LedgerState (ShelleyBlock proto era) mk] -> ShowS Source #

(NoThunksMK mk, CanHardFork xs) => NoThunks (LedgerState (HardForkBlock xs) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks :: Context -> LedgerState (HardForkBlock xs) mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> LedgerState (HardForkBlock xs) mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (LedgerState (HardForkBlock xs) mk) -> String #

NoThunks (LedgerState (DualBlock m a) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks :: Context -> LedgerState (DualBlock m a) mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> LedgerState (DualBlock m a) mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (LedgerState (DualBlock m a) mk) -> String #

NoThunks (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

noThunks :: Context -> LedgerState ByronBlock mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> LedgerState ByronBlock mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (LedgerState ByronBlock mk) -> String #

(ShelleyBasedEra era, NoThunksMK mk) => NoThunks (LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

noThunks :: Context -> LedgerState (ShelleyBlock proto era) mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> LedgerState (ShelleyBlock proto era) mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (LedgerState (ShelleyBlock proto era) mk) -> String #

HasLedgerTables (Ticked LedgerState) ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState ByronBlock mk -> LedgerTables ByronBlock mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState ByronBlock any -> LedgerTables ByronBlock mk -> Ticked LedgerState ByronBlock mk Source #

LedgerTablesAreTrivial (Ticked LedgerState) ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

convertMapKind :: forall (mk :: MapKind) (mk' :: MapKind). Ticked LedgerState ByronBlock mk -> Ticked LedgerState ByronBlock mk' Source #

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState (HardForkBlock xs) mk -> LedgerTables (HardForkBlock xs) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState (HardForkBlock xs) any -> LedgerTables (HardForkBlock xs) mk -> Ticked LedgerState (HardForkBlock xs) mk Source #

StandardHash blk => StandardHash (LedgerState blk :: MapKind -> Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState (DualBlock m a) mk -> LedgerTables (DualBlock m a) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState (DualBlock m a) any -> LedgerTables (DualBlock m a) mk -> Ticked LedgerState (DualBlock m a) mk Source #

ShelleyBasedEra era => HasLedgerTables (Ticked LedgerState) (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState (ShelleyBlock proto era) mk -> LedgerTables (ShelleyBlock proto era) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked LedgerState (ShelleyBlock proto era) any -> LedgerTables (ShelleyBlock proto era) mk -> Ticked LedgerState (ShelleyBlock proto era) mk Source #

ShelleyCompatible proto era => DecodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

decodeDisk :: CodecConfig (ShelleyBlock proto era) -> forall s. Decoder s (LedgerState (ShelleyBlock proto era) EmptyMK) Source #

ShelleyCompatible proto era => EncodeDisk (ShelleyBlock proto era) (LedgerState (ShelleyBlock proto era) EmptyMK) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Methods

encodeDisk :: CodecConfig (ShelleyBlock proto era) -> LedgerState (ShelleyBlock proto era) EmptyMK -> Encoding Source #

CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getTip :: forall (mk :: MapKind). Ticked LedgerState (HardForkBlock xs) mk -> Point (Ticked LedgerState (HardForkBlock xs)) Source #

Bridge m a => GetTip (Ticked LedgerState (DualBlock m a)) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

getTip :: forall (mk :: MapKind). Ticked LedgerState (DualBlock m a) mk -> Point (Ticked LedgerState (DualBlock m a)) Source #

GetTip (Ticked LedgerState ByronBlock) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

getTip :: forall (mk :: MapKind). Ticked LedgerState ByronBlock mk -> Point (Ticked LedgerState ByronBlock) Source #

GetTip (Ticked LedgerState (ShelleyBlock proto era)) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

getTip :: forall (mk :: MapKind). Ticked LedgerState (ShelleyBlock proto era) mk -> Point (Ticked LedgerState (ShelleyBlock proto era)) Source #

ShelleyBasedEra era => CanStowLedgerTables (Ticked LedgerState (ShelleyBlock proto era)) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Methods

stowLedgerTables :: Ticked LedgerState (ShelleyBlock proto era) ValuesMK -> Ticked LedgerState (ShelleyBlock proto era) EmptyMK Source #

unstowLedgerTables :: Ticked LedgerState (ShelleyBlock proto era) EmptyMK -> Ticked LedgerState (ShelleyBlock proto era) ValuesMK Source #

Generic (Ticked LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Associated Types

type Rep (Ticked LedgerState ByronBlock mk) 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type Rep (Ticked LedgerState ByronBlock mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition)))

Methods

from :: Ticked LedgerState ByronBlock mk -> Rep (Ticked LedgerState ByronBlock mk) x Source #

to :: Rep (Ticked LedgerState ByronBlock mk) x -> Ticked LedgerState ByronBlock mk Source #

Generic (Ticked LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerLatestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasRoundNo))))))

Methods

from :: Ticked LedgerState (ShelleyBlock proto era) mk -> Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x Source #

to :: Rep (Ticked LedgerState (ShelleyBlock proto era) mk) x -> Ticked LedgerState (ShelleyBlock proto era) mk Source #

NoThunks (Ticked LedgerState (DualBlock m a) mk) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks :: Context -> Ticked LedgerState (DualBlock m a) mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Ticked LedgerState (DualBlock m a) mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Ticked LedgerState (DualBlock m a) mk) -> String #

NoThunks (Ticked LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

Methods

noThunks :: Context -> Ticked LedgerState ByronBlock mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Ticked LedgerState ByronBlock mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Ticked LedgerState ByronBlock mk) -> String #

Inject (Flip LedgerState mk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject :: forall x (xs :: [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => InjectionIndex xs x -> Flip LedgerState mk x -> Flip LedgerState mk (HardForkBlock xs) Source #

Isomorphic (Flip LedgerState mk) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project :: NoHardForks blk => Flip LedgerState mk (HardForkBlock '[blk]) -> Flip LedgerState mk blk Source #

inject :: NoHardForks blk => Flip LedgerState mk blk -> Flip LedgerState mk (HardForkBlock '[blk]) Source #

data LedgerState ByronBlock mk # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

data LedgerState ByronBlock mk = ByronLedgerState {}
type LedgerCfg LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type LedgerCfg LedgerState ByronBlock = Config
type LedgerErr LedgerState ByronBlock # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type LedgerErr LedgerState ByronBlock = ChainValidationError
type LedgerCfg LedgerState (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xs
type LedgerErr LedgerState (HardForkBlock xs) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs
type LedgerCfg LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m a
type LedgerCfg LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerCfg LedgerState (ShelleyBlock proto era) = ShelleyLedgerConfig era
type LedgerErr LedgerState (DualBlock m a) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a
type LedgerErr LedgerState (ShelleyBlock proto era) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type LedgerErr LedgerState (ShelleyBlock proto era) = BlockTransitionError era
type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type TranslationError era (Flip LedgerState mk :.: ShelleyBlock proto) = Void
newtype LedgerState (HardForkBlock xs) mk Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {}
type Rep (LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition))))
type Rep (LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :*: (S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ShelleyTransition) :*: (S1 ('MetaSel ('Just "shelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)) :*: S1 ('MetaSel ('Just "shelleyLedgerLatestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasRoundNo))))))
data LedgerState (DualBlock m a) mk Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data LedgerState (DualBlock m a) mk = DualLedgerState {}
data LedgerState (ShelleyBlock proto era) mk # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data LedgerState (ShelleyBlock proto era) mk = ShelleyLedgerState {}
data Ticked LedgerState ByronBlock (mk :: MapKind) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

data Ticked LedgerState ByronBlock (mk :: MapKind) = TickedByronLedgerState {}
data Ticked LedgerState (HardForkBlock xs :: Type) (mk :: MapKind) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked LedgerState (HardForkBlock xs :: Type) (mk :: MapKind) = TickedHardForkLedgerState {}
data Ticked LedgerState (DualBlock m a :: Type) (mk :: MapKind) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data Ticked LedgerState (DualBlock m a :: Type) (mk :: MapKind) = TickedDualLedgerState {}
data Ticked LedgerState (ShelleyBlock proto era :: Type) (mk :: MapKind) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

data Ticked LedgerState (ShelleyBlock proto era :: Type) (mk :: MapKind) = TickedShelleyLedgerState {}
type HeaderHash (LedgerState blk :: MapKind -> Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk :: MapKind -> Type) = HeaderHash blk
type Rep (Ticked LedgerState ByronBlock mk) # 
Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Ledger

type Rep (Ticked LedgerState ByronBlock mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition)))
type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

type Rep (Ticked LedgerState (ShelleyBlock proto era) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-4.1.0.0-l-cardano-8960c3f1a5a9727d259c420bde0be06530487c5054ba99f25e6b06c7fb4bd5e6" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ShelleyTransition)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :*: (S1 ('MetaSel ('Just "tickedShelleyLedgerTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables (ShelleyBlock proto era) mk)) :*: S1 ('MetaSel ('Just "tickedShelleyLedgerLatestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PerasRoundNo))))))

getProgress :: SlotNo -> EraHistory -> Either PastHorizonException (RelativeTime, SlotLength) Source #

getSlotForRelativeTime :: RelativeTime -> EraHistory -> Either PastHorizonException SlotNo Source #

Returns the slot number for provided relative time from SystemStart

slotToUTCTime :: SystemStart -> EraHistory -> SlotNo -> Either PastHorizonException UTCTime Source #

Convert a SlotNo to a UTCTime given the SystemStart and EraHistory.

decodeLedgerPeerSnapshot :: forall (ledgerPeersKind :: LedgerPeersKind). SingLedgerPeersKind ledgerPeersKind -> ShelleyNodeToClientVersion -> Serialised (LedgerPeerSnapshot ledgerPeersKind) -> Either (ByteString, DecoderError) (LedgerPeerSnapshot ledgerPeersKind) Source #

Convenience functions

data QueryConvenienceError Source #

Constructors

AcqFailure AcquiringFailure 
QueryEraMismatch EraMismatch 
ByronEraNotSupported 
QceUnsupportedNtcVersion !UnsupportedNtcVersionError 
QceUnexpectedException !SomeException 

Instances

Instances details
Error QueryConvenienceError Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Convenience

Methods

prettyError :: QueryConvenienceError -> Doc ann Source #

Show QueryConvenienceError Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Convenience

Methods

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

show :: QueryConvenienceError -> String Source #

showList :: [QueryConvenienceError] -> ShowS Source #

newtype TxCurrentTreasuryValue Source #

Constructors

TxCurrentTreasuryValue 

Fields

Instances

Instances details
Show TxCurrentTreasuryValue Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Convenience

Methods

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

show :: TxCurrentTreasuryValue -> String Source #

showList :: [TxCurrentTreasuryValue] -> ShowS Source #

determineEra :: LocalNodeConnectInfo -> ExceptT AcquiringFailure IO AnyCardanoEra Source #

Query the node to determine which era it is in.

Simplest query related

executeQueryCardanoMode :: SocketPath -> NetworkId -> QueryInMode (Either EraMismatch result) -> ExceptT QueryConvenienceError IO result Source #

Execute a query against the local node. The local node must be in CardanoMode.

executeQueryAnyMode :: LocalNodeConnectInfo -> QueryInMode (Either EraMismatch result) -> ExceptT QueryConvenienceError IO result Source #

Execute a query against the local node in any mode.

queryStateForBalancedTx :: CardanoEra era -> [TxIn] -> [Certificate (ShelleyLedgerEra era)] -> LocalStateQueryExpr block point QueryInMode r IO (Either QueryConvenienceError (UTxO era, LedgerProtocolParameters era, EraHistory, SystemStart, Set PoolId, Map StakeCredential Coin, Map (Credential 'DRepRole) (CompactForm Coin), Maybe (Featured ConwayEraOnwards era TxCurrentTreasuryValue))) Source #

A convenience function to query the relevant information, from the local node, for Cardano.Api.Tx.Internal.Convenience.constructBalancedTx

renderQueryConvenienceError :: QueryConvenienceError -> Text Source #

Query wrapper functions

queryAccountState :: ConwayEraOnwards era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch ChainAccountState)) Source #

queryChainBlockNo :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (WithOrigin BlockNo)) Source #

queryChainPoint :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError ChainPoint) Source #

queryConstitution :: ConwayEraOnwards era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Constitution (ShelleyLedgerEra era)))) Source #

queryCurrentEpochState :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (SerialisedCurrentEpochState era))) Source #

queryCurrentEra :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError AnyCardanoEra) Source #

queryDebugLedgerState :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (SerialisedDebugLedgerState era))) Source #

queryEpoch :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch EpochNo)) Source #

queryConstitutionHash :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (SafeHash AnchorData))) Source #

queryEraHistory :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError EraHistory) Source #

queryGenesisParameters :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (GenesisParameters ShelleyEra))) Source #

queryPoolDistribution :: BabbageEraOnwards era -> Maybe (Set PoolId) -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Serialised (PoolDistribution era)))) Source #

queryPoolState :: BabbageEraOnwards era -> Maybe (Set PoolId) -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch SerialisedPoolState)) Source #

queryProtocolParameters :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (PParams (ShelleyLedgerEra era)))) Source #

queryProtocolState :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (ProtocolState era))) Source #

queryStakeAddresses :: ShelleyBasedEra era -> Set StakeCredential -> NetworkId -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map StakeAddress Coin, Map StakeAddress PoolId))) Source #

queryStakeDelegDeposits :: BabbageEraOnwards era -> Set StakeCredential -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map StakeCredential Coin))) Source #

queryStakeDistribution :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map (Hash StakePoolKey) Rational))) Source #

queryStakePoolParameters :: ShelleyBasedEra era -> Set PoolId -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map PoolId StakePoolParameters))) Source #

queryStakePools :: ShelleyBasedEra era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Set PoolId))) Source #

queryStakeSnapshot :: BabbageEraOnwards era -> Maybe (Set PoolId) -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (SerialisedStakeSnapshots era))) Source #

querySystemStart :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError SystemStart) Source #

queryUtxo :: ShelleyBasedEra era -> QueryUTxOFilter -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (UTxO era))) Source #

queryLedgerPeerSnapshot :: forall era (ledgerPeersKind :: LedgerPeersKind) block point r. ShelleyBasedEra era -> SingLedgerPeersKind ledgerPeersKind -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (LedgerPeerSnapshot ledgerPeersKind))) Source #

data MemberStatus Source #

Constructors

Active 
Expired 
Unrecognized

This can happen when a hot credential for an unknown cold credential exists. Such Committee member will be either removed from the state at the next epoch boundary or enacted as a new member.

Instances

Instances details
ToJSON MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

toJSON :: MemberStatus -> Value #

toEncoding :: MemberStatus -> Encoding #

toJSONList :: [MemberStatus] -> Value #

toEncodingList :: [MemberStatus] -> Encoding #

omitField :: MemberStatus -> Bool #

DecCBOR MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

decCBOR :: Decoder s MemberStatus Source #

dropCBOR :: Proxy MemberStatus -> Decoder s () Source #

label :: Proxy MemberStatus -> Text Source #

EncCBOR MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

encCBOR :: MemberStatus -> Encoding Source #

Eq MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

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

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

Ord MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

compare :: MemberStatus -> MemberStatus -> Ordering Source #

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

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

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

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

max :: MemberStatus -> MemberStatus -> MemberStatus Source #

min :: MemberStatus -> MemberStatus -> MemberStatus Source #

Bounded MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

minBound :: MemberStatus Source #

maxBound :: MemberStatus Source #

Enum MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

succ :: MemberStatus -> MemberStatus Source #

pred :: MemberStatus -> MemberStatus Source #

toEnum :: Int -> MemberStatus Source #

fromEnum :: MemberStatus -> Int Source #

enumFrom :: MemberStatus -> [MemberStatus] Source #

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

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

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

Generic MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Associated Types

type Rep MemberStatus 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

type Rep MemberStatus = D1 ('MetaData "MemberStatus" "Cardano.Ledger.Api.State.Query.Governance" "cardano-ledger-api-1.14.0.0-a1efba9da1908d38234e1e8071ca1e4ae80934b11c8208e87df145def9fe35a7" 'False) (C1 ('MetaCons "Active" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Expired" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unrecognized" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: MemberStatus -> Rep MemberStatus x Source #

to :: Rep MemberStatus x -> MemberStatus Source #

Show MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

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

show :: MemberStatus -> String Source #

showList :: [MemberStatus] -> ShowS Source #

type Rep MemberStatus Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

type Rep MemberStatus = D1 ('MetaData "MemberStatus" "Cardano.Ledger.Api.State.Query.Governance" "cardano-ledger-api-1.14.0.0-a1efba9da1908d38234e1e8071ca1e4ae80934b11c8208e87df145def9fe35a7" 'False) (C1 ('MetaCons "Active" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Expired" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unrecognized" 'PrefixI 'False) (U1 :: Type -> Type)))

data CommitteeMembersState Source #

Constructors

CommitteeMembersState 

Fields

Instances

Instances details
ToJSON CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

toJSON :: CommitteeMembersState -> Value #

toEncoding :: CommitteeMembersState -> Encoding #

toJSONList :: [CommitteeMembersState] -> Value #

toEncodingList :: [CommitteeMembersState] -> Encoding #

omitField :: CommitteeMembersState -> Bool #

DecCBOR CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

decCBOR :: Decoder s CommitteeMembersState Source #

dropCBOR :: Proxy CommitteeMembersState -> Decoder s () Source #

label :: Proxy CommitteeMembersState -> Text Source #

EncCBOR CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

encCBOR :: CommitteeMembersState -> Encoding Source #

ToKeyValuePairs CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

toKeyValuePairs :: KeyValue e kv => CommitteeMembersState -> [kv] Source #

Eq CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

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

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

Ord CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

compare :: CommitteeMembersState -> CommitteeMembersState -> Ordering Source #

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

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

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

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

max :: CommitteeMembersState -> CommitteeMembersState -> CommitteeMembersState Source #

min :: CommitteeMembersState -> CommitteeMembersState -> CommitteeMembersState Source #

Generic CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Associated Types

type Rep CommitteeMembersState 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

type Rep CommitteeMembersState = D1 ('MetaData "CommitteeMembersState" "Cardano.Ledger.Api.State.Query.Governance" "cardano-ledger-api-1.14.0.0-a1efba9da1908d38234e1e8071ca1e4ae80934b11c8208e87df145def9fe35a7" 'False) (C1 ('MetaCons "CommitteeMembersState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) CommitteeMemberState)) :*: (S1 ('MetaSel ('Just "csThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe UnitInterval)) :*: S1 ('MetaSel ('Just "csEpochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))))

Methods

from :: CommitteeMembersState -> Rep CommitteeMembersState x Source #

to :: Rep CommitteeMembersState x -> CommitteeMembersState Source #

Show CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

Methods

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

show :: CommitteeMembersState -> String Source #

showList :: [CommitteeMembersState] -> ShowS Source #

type Rep CommitteeMembersState Source # 
Instance details

Defined in Cardano.Ledger.Api.State.Query.Governance

type Rep CommitteeMembersState = D1 ('MetaData "CommitteeMembersState" "Cardano.Ledger.Api.State.Query.Governance" "cardano-ledger-api-1.14.0.0-a1efba9da1908d38234e1e8071ca1e4ae80934b11c8208e87df145def9fe35a7" 'False) (C1 ('MetaCons "CommitteeMembersState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'ColdCommitteeRole) CommitteeMemberState)) :*: (S1 ('MetaSel ('Just "csThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe UnitInterval)) :*: S1 ('MetaSel ('Just "csEpochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))))

queryCommitteeMembersState :: ConwayEraOnwards era -> Set (Credential 'ColdCommitteeRole) -> Set (Credential 'HotCommitteeRole) -> Set MemberStatus -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch CommitteeMembersState)) Source #

Returns info about committee members filtered by: cold credentials, hot credentials and statuses. If empty sets are passed as filters, then no filtering is done.

queryDRepStakeDistribution Source #

Arguments

:: ConwayEraOnwards era 
-> Set DRep

An empty DRep set means that distributions for all DReps will be returned

-> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map DRep Coin))) 

querySPOStakeDistribution Source #

Arguments

:: ConwayEraOnwards era 
-> Set (KeyHash 'StakePool)

An empty SPO key hash set means that distributions for all SPOs will be returned

-> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map (KeyHash 'StakePool) Coin))) 

queryDRepState Source #

Arguments

:: ConwayEraOnwards era 
-> Set (Credential 'DRepRole)

An empty credentials set means that states for all DReps will be returned

-> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map (Credential 'DRepRole) DRepState))) 

queryGovState :: ConwayEraOnwards era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (GovState (ShelleyLedgerEra era)))) Source #

queryRatifyState :: ConwayEraOnwards era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (RatifyState (ShelleyLedgerEra era)))) Source #

queryFuturePParams :: ConwayEraOnwards era -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Maybe (PParams (ShelleyLedgerEra era))))) Source #

queryStakeVoteDelegatees :: ConwayEraOnwards era -> Set StakeCredential -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Map StakeCredential DRep))) Source #

queryProposals :: ConwayEraOnwards era -> Set GovActionId -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch (Seq (GovActionState (ShelleyLedgerEra era))))) Source #

queryStakePoolDefaultVote :: ConwayEraOnwards era -> KeyHash 'StakePool -> LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (Either EraMismatch DefaultVote)) Source #

queryLedgerConfig :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (CardanoLedgerConfig StandardCrypto)) Source #

newtype DelegationsAndRewards Source #

A mapping of Shelley reward accounts to both the stake pool that they delegate to and their reward account balance.

Constructors

DelegationsAndRewards (Map StakeAddress Coin, Map StakeAddress PoolId) 

Instances

Instances details
FromJSON DelegationsAndRewards Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.DelegationsAndRewards

Methods

parseJSON :: Value -> Parser DelegationsAndRewards #

parseJSONList :: Value -> Parser [DelegationsAndRewards] #

omittedField :: Maybe DelegationsAndRewards #

ToJSON DelegationsAndRewards Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.DelegationsAndRewards

Methods

toJSON :: DelegationsAndRewards -> Value #

toEncoding :: DelegationsAndRewards -> Encoding #

toJSONList :: [DelegationsAndRewards] -> Value #

toEncodingList :: [DelegationsAndRewards] -> Encoding #

omitField :: DelegationsAndRewards -> Bool #

Eq DelegationsAndRewards Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.DelegationsAndRewards

Methods

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

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

Show DelegationsAndRewards Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.DelegationsAndRewards

Methods

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

show :: DelegationsAndRewards -> String Source #

showList :: [DelegationsAndRewards] -> ShowS Source #

mergeDelegsAndRewards :: DelegationsAndRewards -> [(StakeAddress, Maybe Coin, Maybe PoolId)] Source #

Debugging utilities

toDebugLedgerStatePair :: KeyValue e a => ShelleyBasedEra era -> DebugLedgerState era -> [a] Source #

toLedgerUTxO :: ShelleyBasedEra era -> UTxO era -> UTxO (ShelleyLedgerEra era) Source #

fromLedgerUTxO :: ShelleyBasedEra era -> UTxO (ShelleyLedgerEra era) -> UTxO era Source #