ledger-state-9.9.9.9
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.State.UTxO

Documentation

type CurrentEra = BabbageEra 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, TxOut CurrentEra) b Source #

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

noSharing_ ∷ UTxOFold (Map TxIn ()) Source #

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

noSharingMap_ ∷ UTxOFold (Map TxIn ()) Source #

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

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

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

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

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

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

totalADA ∷ Map TxIn (TxOut CurrentEra) → MaryValue 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 #

pred ∷ Count → Count #

toEnum ∷ Int → Count #

fromEnum ∷ Count → Int #

enumFrom ∷ Count → [Count] #

enumFromThen ∷ Count → Count → [Count] #

enumFromTo ∷ Count → Count → [Count] #

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

Num Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(+) ∷ Count → Count → Count #

(-) ∷ Count → Count → Count #

(*) ∷ Count → Count → Count #

negate ∷ Count → Count #

abs ∷ Count → Count #

signum ∷ Count → Count #

fromInteger ∷ Integer → Count #

Integral Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

quot ∷ Count → Count → Count #

rem ∷ Count → Count → Count #

div ∷ Count → Count → Count #

mod ∷ Count → Count → Count #

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

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

toInteger ∷ Count → Integer #

Real Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

toRational ∷ Count → Rational #

Eq Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(==) ∷ Count → Count → Bool #

(/=) ∷ Count → Count → Bool #

Ord Count Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

compare ∷ Count → Count → Ordering #

(<) ∷ Count → Count → Bool #

(<=) ∷ Count → Count → Bool #

(>) ∷ Count → Count → Bool #

(>=) ∷ Count → Count → Bool #

max ∷ Count → Count → Count #

min ∷ Count → Count → Count #

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 #

mappend ∷ Stat k → Stat k → Stat k #

mconcat ∷ [Stat k] → Stat k #

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

Defined in Cardano.Ledger.State.UTxO

Methods

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

sconcat ∷ NonEmpty (Stat k) → Stat k #

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

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

Defined in Cardano.Ledger.State.UTxO

Methods

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

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

Defined in Cardano.Ledger.State.UTxO

Methods

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

AggregateStat (Stat ScriptHash) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat ScriptHash → 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 #

mappend ∷ SnapShotStats → SnapShotStats → SnapShotStats #

mconcat ∷ [SnapShotStats] → SnapShotStats #

Semigroup SnapShotStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ SnapShotStats → SnapShotStats → SnapShotStats #

sconcat ∷ NonEmpty SnapShotStats → SnapShotStats #

stimes ∷ Integral b ⇒ b → SnapShotStats → SnapShotStats #

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

mappend ∷ PoolParamsStats → PoolParamsStats → PoolParamsStats #

mconcat ∷ [PoolParamsStats] → PoolParamsStats #

Semigroup PoolParamsStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ PoolParamsStats → PoolParamsStats → PoolParamsStats #

sconcat ∷ NonEmpty PoolParamsStats → PoolParamsStats #

stimes ∷ Integral b ⇒ b → PoolParamsStats → PoolParamsStats #

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

mappend ∷ TxOutStats → TxOutStats → TxOutStats #

mconcat ∷ [TxOutStats] → TxOutStats #

Semigroup TxOutStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ TxOutStats → TxOutStats → TxOutStats #

sconcat ∷ NonEmpty TxOutStats → TxOutStats #

stimes ∷ Integral b ⇒ b → TxOutStats → TxOutStats #

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 #

mappend ∷ AggregateStats → AggregateStats → AggregateStats #

mconcat ∷ [AggregateStats] → AggregateStats #

Semigroup AggregateStats Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

(<>) ∷ AggregateStats → AggregateStats → AggregateStats #

sconcat ∷ NonEmpty AggregateStats → AggregateStats #

stimes ∷ Integral b ⇒ b → AggregateStats → AggregateStats #

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)) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

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

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

Defined in Cardano.Ledger.State.UTxO

Methods

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

AggregateStat (Stat ScriptHash) Source # 
Instance details

Defined in Cardano.Ledger.State.UTxO

Methods

aggregateStat ∷ Stat ScriptHash → 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 #

show ∷ UTxOStats' → String #

showList ∷ [UTxOStats'] → ShowS #

initStats ∷ UTxOStats' Source #

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

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