ledger-state-9.9.9.9
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.State.UTxO

Documentation

type C = StandardCrypto Source #

type CurrentEra = Babbage Source #

readNewEpochState ∷ FilePath → IO (NewEpochState CurrentEra) Source #

readEpochState ∷ FilePath → IO (EpochState CurrentEra) Source #

readDecCBOR ∷ FromCBOR a ⇒ FilePath → IO a Source #

writeEpochState ∷ FilePath → EpochState CurrentEra → IO () Source #

loadLedgerState ∷ FilePath → IO (LedgerState CurrentEra) Source #

runConduitFold ∷ Monad m ⇒ ConduitT () a m () → Fold a b → m b Source #

type UTxOFold b = Fold (TxIn C, TxOut CurrentEra) b Source #

noSharing ∷ Fold (TxIn C, a) (Map (TxIn C) a) Source #

noSharing_ ∷ UTxOFold (Map (TxIn C) ()) Source #

noSharingMap ∷ Fold (TxIn C, a) (Map (TxIn C) a) Source #

noSharingMap_ ∷ UTxOFold (Map (TxIn C) ()) Source #

txIdSharing ∷ UTxOFold (Map (TxId C) (IntMap (TxOut CurrentEra))) Source #

txIdSharing_ ∷ UTxOFold (Map (TxId C) (IntMap ())) Source #

txIdNestedInsert ∷ Map (TxId C) (IntMap a) → (TxIn C, a) → Map (TxId C) (IntMap a) Source #

txIxSharing ∷ Fold (TxIn C, a) (IntMap (Map (TxId C) a)) Source #

txIxSharing_ ∷ UTxOFold (IntMap (Map (TxId C) ())) Source #

txIxNestedInsert ∷ IntMap (Map (TxId C) a) → (TxIn C, a) → IntMap (Map (TxId C) a) Source #

totalADA ∷ Map (TxIn C) (TxOut CurrentEra) → MaryValue C Source #

readBinUTxO ∷ FilePath → IO (UTxO CurrentEra) Source #

newtype Count Source #

Constructors

Count Int 

Instances

Instances details
Enum Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

succ ∷ Count → Count Source #

pred ∷ Count → Count Source #

toEnum ∷ Int → Count Source #

fromEnum ∷ Count → Int Source #

enumFrom ∷ Count → [Count] Source #

enumFromThen ∷ Count → Count → [Count] Source #

enumFromTo ∷ Count → Count → [Count] Source #

enumFromThenTo ∷ Count → Count → Count → [Count] Source #

Num Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(+) ∷ Count → Count → Count Source #

(-) ∷ Count → Count → Count Source #

(*) ∷ Count → Count → Count Source #

negate ∷ Count → Count Source #

abs ∷ Count → Count Source #

signum ∷ Count → Count Source #

fromInteger ∷ Integer → Count Source #

Integral Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

quot ∷ Count → Count → Count Source #

rem ∷ Count → Count → Count Source #

div ∷ Count → Count → Count Source #

mod ∷ Count → Count → Count Source #

quotRem ∷ Count → Count → (Count, Count) Source #

divMod ∷ Count → Count → (Count, Count) Source #

toInteger ∷ Count → Integer Source #

Real Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

toRational ∷ Count → Rational Source #

Eq Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(==) ∷ Count → Count → Bool Source #

(/=) ∷ Count → Count → Bool Source #

Ord Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

compare ∷ Count → Count → Ordering Source #

(<) ∷ Count → Count → Bool Source #

(<=) ∷ Count → Count → Bool Source #

(>) ∷ Count → Count → Bool Source #

(>=) ∷ Count → Count → Bool Source #

max ∷ Count → Count → Count Source #

min ∷ Count → Count → Count Source #

Pretty Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ Count → Doc ann Source #

prettyList ∷ [Count] → Doc ann Source #

data Stat k Source #

Constructors

Stat 

Fields

Instances

Instances details
Ord k ⇒ Monoid (Stat k) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

mempty ∷ Stat k Source #

mappend ∷ Stat k → Stat k → Stat k Source #

mconcat ∷ [Stat k] → Stat k Source #

Ord k ⇒ Semigroup (Stat k) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ Stat k → Stat k → Stat k Source #

sconcat ∷ NonEmpty (Stat k) → Stat k Source #

stimes ∷ Integral b ⇒ b → Stat k → Stat k Source #

AggregateStat (Stat (Credential 'Staking C)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat (Credential 'Staking C) → AggregateStats Source #

AggregateStat (Stat (ScriptHash C)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat (ScriptHash C) → AggregateStats Source #

AggregateStat (Stat (KeyHash 'StakePool C)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat (KeyHash 'StakePool C) → AggregateStats Source #

Pretty (Stat k) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ Stat k → Doc ann Source #

prettyList ∷ [Stat k] → Doc ann Source #

data Percent Source #

Constructors

Percent Int Int 

Instances

Instances details
Pretty Percent Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ Percent → Doc ann Source #

prettyList ∷ [Percent] → Doc ann Source #

intPercent ∷ Integral i ⇒ Int → i → Percent Source #

statSingleton ∷ a → Stat a Source #

statSet ∷ Set a → Stat a Source #

mapStat ∷ Ord b ⇒ (a → b) → Stat a → Stat b Source #

statMapKeys ∷ Map k v → Stat k Source #

statFoldable ∷ (Ord a, Foldable t) ⇒ t a → Stat a Source #

prettyRecord ∷ Doc ann → [Doc ann] → Doc ann Source #

(<:>) ∷ (Typeable a, Pretty a) ⇒ Doc ann → a → Doc ann infixr 6 Source #

data SnapShotStats Source #

Constructors

SnapShotStats 

Fields

Instances

Instances details
Monoid SnapShotStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

mempty ∷ SnapShotStats Source #

mappend ∷ SnapShotStats → SnapShotStats → SnapShotStats Source #

mconcat ∷ [SnapShotStats] → SnapShotStats Source #

Semigroup SnapShotStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ SnapShotStats → SnapShotStats → SnapShotStats Source #

sconcat ∷ NonEmpty SnapShotStats → SnapShotStats Source #

stimes ∷ Integral b ⇒ b → SnapShotStats → SnapShotStats Source #

AggregateStat SnapShotStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ SnapShotStats → AggregateStats Source #

Pretty SnapShotStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ SnapShotStats → Doc ann Source #

prettyList ∷ [SnapShotStats] → Doc ann Source #

countSnapShotStat ∷ SnapShot C → SnapShotStats Source #

data PoolParamsStats Source #

Constructors

PoolParamsStats 

Fields

Instances

Instances details
Monoid PoolParamsStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

mempty ∷ PoolParamsStats Source #

mappend ∷ PoolParamsStats → PoolParamsStats → PoolParamsStats Source #

mconcat ∷ [PoolParamsStats] → PoolParamsStats Source #

Semigroup PoolParamsStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ PoolParamsStats → PoolParamsStats → PoolParamsStats Source #

sconcat ∷ NonEmpty PoolParamsStats → PoolParamsStats Source #

stimes ∷ Integral b ⇒ b → PoolParamsStats → PoolParamsStats Source #

AggregateStat PoolParamsStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ PoolParamsStats → AggregateStats Source #

Pretty PoolParamsStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ PoolParamsStats → Doc ann Source #

prettyList ∷ [PoolParamsStats] → Doc ann Source #

countPoolParamsStats ∷ PoolParams C → PoolParamsStats Source #

data RewardUpdateStats Source #

Constructors

RewardUpdateStats 

Instances

Instances details
AggregateStat RewardUpdateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ RewardUpdateStats → AggregateStats Source #

Pretty RewardUpdateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ RewardUpdateStats → Doc ann Source #

prettyList ∷ [RewardUpdateStats] → Doc ann Source #

data PoolDistrStats Source #

Constructors

PoolDistrStats 

Fields

Instances

Instances details
AggregateStat PoolDistrStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ PoolDistrStats → AggregateStats Source #

Pretty PoolDistrStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ PoolDistrStats → Doc ann Source #

prettyList ∷ [PoolDistrStats] → Doc ann Source #

calcPoolDistrStats ∷ PoolDistr C → PoolDistrStats Source #

data NewEpochStateStats Source #

Constructors

NewEpochStateStats 

Fields

Instances

Instances details
Pretty NewEpochStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ NewEpochStateStats → Doc ann Source #

prettyList ∷ [NewEpochStateStats] → Doc ann Source #

countNewEpochStateStats ∷ NewEpochState CurrentEra → NewEpochStateStats Source #

printNewEpochStateStats ∷ NewEpochStateStats → IO () Source #

data EpochStateStats Source #

Constructors

EpochStateStats 

Fields

Instances

Instances details
Pretty EpochStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ EpochStateStats → Doc ann Source #

prettyList ∷ [EpochStateStats] → Doc ann Source #

countEpochStateStats ∷ EpochState CurrentEra → EpochStateStats Source #

data DStateStats Source #

Constructors

DStateStats 

Fields

Instances

Instances details
AggregateStat DStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ DStateStats → AggregateStats Source #

Pretty DStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ DStateStats → Doc ann Source #

prettyList ∷ [DStateStats] → Doc ann Source #

countDStateStats ∷ DState CurrentEra → DStateStats Source #

data PStateStats Source #

Constructors

PStateStats 

Fields

Instances

Instances details
AggregateStat PStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ PStateStats → AggregateStats Source #

Pretty PStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ PStateStats → Doc ann Source #

prettyList ∷ [PStateStats] → Doc ann Source #

countPStateStats ∷ PState CurrentEra → PStateStats Source #

data LedgerStateStats Source #

Constructors

LedgerStateStats 

Fields

Instances

Instances details
AggregateStat LedgerStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ LedgerStateStats → AggregateStats Source #

Pretty LedgerStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ LedgerStateStats → Doc ann Source #

prettyList ∷ [LedgerStateStats] → Doc ann Source #

countLedgerStateStats ∷ LedgerState CurrentEra → LedgerStateStats Source #

data TxInStats Source #

Constructors

TxInStats 

Fields

Instances

Instances details
Pretty TxInStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ TxInStats → Doc ann Source #

prettyList ∷ [TxInStats] → Doc ann Source #

countTxInStats ∷ [TxIn C] → TxInStats Source #

data TxOutStats Source #

Constructors

TxOutStats 

Fields

Instances

Instances details
Monoid TxOutStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

mempty ∷ TxOutStats Source #

mappend ∷ TxOutStats → TxOutStats → TxOutStats Source #

mconcat ∷ [TxOutStats] → TxOutStats Source #

Semigroup TxOutStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ TxOutStats → TxOutStats → TxOutStats Source #

sconcat ∷ NonEmpty TxOutStats → TxOutStats Source #

stimes ∷ Integral b ⇒ b → TxOutStats → TxOutStats Source #

AggregateStat TxOutStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ TxOutStats → AggregateStats Source #

Pretty TxOutStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ TxOutStats → Doc ann Source #

prettyList ∷ [TxOutStats] → Doc ann Source #

countTxOutStats ∷ [TxOut CurrentEra] → TxOutStats Source #

data UTxOStats Source #

Constructors

UTxOStats 

Fields

Instances

Instances details
AggregateStat UTxOStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ UTxOStats → AggregateStats Source #

Pretty UTxOStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ UTxOStats → Doc ann Source #

prettyList ∷ [UTxOStats] → Doc ann Source #

countUTxOStats ∷ UTxO CurrentEra → UTxOStats Source #

data AggregateStats Source #

Constructors

AggregateStats 

Fields

Instances

Instances details
Monoid AggregateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

mempty ∷ AggregateStats Source #

mappend ∷ AggregateStats → AggregateStats → AggregateStats Source #

mconcat ∷ [AggregateStats] → AggregateStats Source #

Semigroup AggregateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ AggregateStats → AggregateStats → AggregateStats Source #

sconcat ∷ NonEmpty AggregateStats → AggregateStats Source #

stimes ∷ Integral b ⇒ b → AggregateStats → AggregateStats Source #

Pretty AggregateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

pretty ∷ AggregateStats → Doc ann Source #

prettyList ∷ [AggregateStats] → Doc ann Source #

class AggregateStat s where Source #

Methods

aggregateStat ∷ s → AggregateStats Source #

Instances

Instances details
AggregateStat DStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ DStateStats → AggregateStats Source #

AggregateStat LedgerStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ LedgerStateStats → AggregateStats Source #

AggregateStat PStateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ PStateStats → AggregateStats Source #

AggregateStat PoolDistrStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ PoolDistrStats → AggregateStats Source #

AggregateStat PoolParamsStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ PoolParamsStats → AggregateStats Source #

AggregateStat RewardUpdateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ RewardUpdateStats → AggregateStats Source #

AggregateStat SnapShotStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ SnapShotStats → AggregateStats Source #

AggregateStat TxOutStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ TxOutStats → AggregateStats Source #

AggregateStat UTxOStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ UTxOStats → AggregateStats Source #

AggregateStat (Stat (Credential 'Staking C)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat (Credential 'Staking C) → AggregateStats Source #

AggregateStat (Stat (ScriptHash C)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat (ScriptHash C) → AggregateStats Source #

AggregateStat (Stat (KeyHash 'StakePool C)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat (KeyHash 'StakePool C) → AggregateStats Source #

data UTxOUniques Source #

Constructors

UTxOUniques 

Fields

emptyUniques ∷ UTxOUniques Source #

data UTxOStats' Source #

Constructors

UTxOStats' 

Fields

Instances

Instances details
Show UTxOStats' Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

showsPrec ∷ Int → UTxOStats' → ShowS Source #

show ∷ UTxOStats' → String Source #

showList ∷ [UTxOStats'] → ShowS Source #

initStats ∷ UTxOStats' Source #

collectStats ∷ ConduitT (TxIn C, TxOut CurrentEra) Void IO () Source #

reportStats ∷ UTxOUniques → UTxOStats' → IO () Source #