cardano-ledger-shelley-1.16.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.API.Types

Synopsis

Documentation

data StrictMaybe a Source #

Constructors

SNothing 
SJust !a 

Instances

Instances details
MonadFail StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

failStringStrictMaybe a #

Foldable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

foldMonoid m ⇒ StrictMaybe m → m #

foldMapMonoid m ⇒ (a → m) → StrictMaybe a → m #

foldMap'Monoid m ⇒ (a → m) → StrictMaybe a → m

foldr ∷ (a → b → b) → b → StrictMaybe a → b #

foldr' ∷ (a → b → b) → b → StrictMaybe a → b #

foldl ∷ (b → a → b) → b → StrictMaybe a → b #

foldl' ∷ (b → a → b) → b → StrictMaybe a → b #

foldr1 ∷ (a → a → a) → StrictMaybe a → a #

foldl1 ∷ (a → a → a) → StrictMaybe a → a #

toListStrictMaybe a → [a] #

nullStrictMaybe a → Bool #

lengthStrictMaybe a → Int #

elemEq a ⇒ a → StrictMaybe a → Bool #

maximumOrd a ⇒ StrictMaybe a → a #

minimumOrd a ⇒ StrictMaybe a → a #

sumNum a ⇒ StrictMaybe a → a #

productNum a ⇒ StrictMaybe a → a #

Traversable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

traverseApplicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) #

sequenceAApplicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) #

mapMMonad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) #

sequenceMonad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #

Alternative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Applicative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

pure ∷ a → StrictMaybe a #

(<*>)StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b #

liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c #

(*>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

(<*)StrictMaybe a → StrictMaybe b → StrictMaybe a #

Functor StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b #

(<$) ∷ a → StrictMaybe b → StrictMaybe a #

Monad StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

(>>=)StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b #

(>>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

return ∷ a → StrictMaybe a #

HKDApplicative StrictMaybe 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD StrictMaybe a Source #

hkdLiftA2 ∷ (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c Source #

HKDFunctor StrictMaybe 
Instance details

Defined in Cardano.Ledger.HKD

FromJSON a ⇒ FromJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

ToJSON a ⇒ ToJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Semigroup a ⇒ Monoid (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Semigroup a ⇒ Semigroup (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Generic (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Associated Types

type Rep (StrictMaybe a) ∷ TypeType #

Methods

fromStrictMaybe a → Rep (StrictMaybe a) x #

toRep (StrictMaybe a) x → StrictMaybe a #

Show a ⇒ Show (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

showsPrecIntStrictMaybe a → ShowS #

showStrictMaybe a → String #

showList ∷ [StrictMaybe a] → ShowS #

FromCBOR a ⇒ FromCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

ToCBOR a ⇒ ToCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

toCBORStrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #

DecCBOR a ⇒ DecCBOR (StrictMaybe a) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

EncCBOR a ⇒ EncCBOR (StrictMaybe a) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBORStrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #

Default (StrictMaybe t) 
Instance details

Defined in Data.Maybe.Strict

Methods

defStrictMaybe t Source #

NFData a ⇒ NFData (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

rnfStrictMaybe a → () #

Eq a ⇒ Eq (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

(==)StrictMaybe a → StrictMaybe a → Bool #

(/=)StrictMaybe a → StrictMaybe a → Bool #

Ord a ⇒ Ord (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

NoThunks a ⇒ NoThunks (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

(EraPParams era, PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) ⇒ ToJSON (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ FromCBOR (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ ToCBOR (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ DecCBOR (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era ⇒ EncCBOR (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NFData (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnfShelleyPParams StrictMaybe era → () #

Eq (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Ord (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks (ShelleyPParams StrictMaybe era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Updatable (K1 t x a) (K1 t (StrictMaybe x) u) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

applyUpdateK1 t x a → K1 t (StrictMaybe x) u → K1 t x a

type Rep (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.3.0-5d50b234292b91638e59daf46ada7e6756ff12d0af0cd8366a250f6a27168b31" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

bbodyBlock h era → TxSeq era Source #

bheaderBlock h era → h Source #

data Block h era Source #

Constructors

Block' !h !(TxSeq era) ByteString 

Bundled Patterns

pattern UnserialisedBlock ∷ h → TxSeq era → Block h era

Access a block without its serialised bytes. This is often useful when we're using a BHeaderView in place of the concrete header.

pattern UnsafeUnserialisedBlock ∷ h → TxSeq era → Block h era

Unsafely construct a block without the ability to serialise its bytes.

Anyone calling this pattern must ensure that the resulting block is never serialised. Any uses of this pattern outside of testing code should be regarded with suspicion.

pattern Block ∷ (Era era, EncCBORGroup (TxSeq era), EncCBOR h) ⇒ h → TxSeq era → Block h era 

Instances

Instances details
(EraSegWits era, DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h era)) 
Instance details

Defined in Cardano.Ledger.Block

Methods

decCBORDecoder s (Annotator (Block h era)) Source #

dropCBORProxy (Annotator (Block h era)) → Decoder s () Source #

labelProxy (Annotator (Block h era)) → Text Source #

Generic (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

Associated Types

type Rep (Block h era) ∷ TypeType #

Methods

fromBlock h era → Rep (Block h era) x #

toRep (Block h era) x → Block h era #

(Era era, Show (TxSeq era), Show h) ⇒ Show (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

Methods

showsPrecIntBlock h era → ShowS #

showBlock h era → String #

showList ∷ [Block h era] → ShowS #

(EraTx era, Typeable h) ⇒ ToCBOR (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

Methods

toCBORBlock h era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Block h era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Block h era] → Size Source #

(EraTx era, Typeable h) ⇒ EncCBOR (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

Methods

encCBORBlock h era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Block h era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Block h era] → Size Source #

(Era era, Eq (TxSeq era), Eq h) ⇒ Eq (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

Methods

(==)Block h era → Block h era → Bool #

(/=)Block h era → Block h era → Bool #

(Era era, NoThunks (TxSeq era), NoThunks h) ⇒ NoThunks (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

Methods

noThunksContextBlock h era → IO (Maybe ThunkInfo) Source #

wNoThunksContextBlock h era → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (Block h era) → String Source #

type Rep (Block h era) 
Instance details

Defined in Cardano.Ledger.Block

type Rep (Block h era) = D1 ('MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Block'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxSeq era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

balanceEraTxOut era ⇒ UTxO era → Value era Source #

Determine the total balance contained in the UTxO.

newtype UTxO era Source #

The unspent transaction outputs.

Constructors

UTxO 

Fields

Instances

Instances details
ToJSON (TxOut era) ⇒ ToJSON (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

toJSONUTxO era → Value Source #

toEncodingUTxO era → Encoding Source #

toJSONList ∷ [UTxO era] → Value Source #

toEncodingList ∷ [UTxO era] → Encoding Source #

omitFieldUTxO era → Bool Source #

Era era ⇒ Monoid (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

memptyUTxO era #

mappendUTxO era → UTxO era → UTxO era #

mconcat ∷ [UTxO era] → UTxO era #

Semigroup (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

(<>)UTxO era → UTxO era → UTxO era #

sconcatNonEmpty (UTxO era) → UTxO era #

stimesIntegral b ⇒ b → UTxO era → UTxO era #

Generic (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Associated Types

type Rep (UTxO era) ∷ TypeType #

Methods

fromUTxO era → Rep (UTxO era) x #

toRep (UTxO era) x → UTxO era #

Show (TxOut era) ⇒ Show (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

showsPrecIntUTxO era → ShowS #

showUTxO era → String #

showList ∷ [UTxO era] → ShowS #

(DecCBOR (TxOut era), Era era) ⇒ FromCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

fromCBORDecoder s (UTxO era) Source #

labelProxy (UTxO era) → Text Source #

(EncCBOR (TxOut era), Era era) ⇒ ToCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

toCBORUTxO era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UTxO era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxO era] → Size Source #

(Era era, DecCBOR (TxOut era)) ⇒ DecCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

decCBORDecoder s (UTxO era) Source #

dropCBORProxy (UTxO era) → Decoder s () Source #

labelProxy (UTxO era) → Text Source #

(DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking)) ⇒ DecShareCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Associated Types

type Share (UTxO era) Source #

Methods

getShareUTxO era → Share (UTxO era) Source #

decShareCBORShare (UTxO era) → Decoder s (UTxO era) Source #

decSharePlusCBORStateT (Share (UTxO era)) (Decoder s) (UTxO era) Source #

(Era era, EncCBOR (TxOut era)) ⇒ EncCBOR (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

encCBORUTxO era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UTxO era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxO era] → Size Source #

Default (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

defUTxO era Source #

(Era era, NFData (TxOut era)) ⇒ NFData (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

rnfUTxO era → () #

(Era era, Eq (TxOut era)) ⇒ Eq (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

(==)UTxO era → UTxO era → Bool #

(/=)UTxO era → UTxO era → Bool #

NoThunks (TxOut era) ⇒ NoThunks (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

type Rep (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

type Rep (UTxO era) = D1 ('MetaData "UTxO" "Cardano.Ledger.UTxO" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn (TxOut era)))))
type Share (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

data InstantaneousRewards Source #

InstantaneousRewards captures the pending changes to the ledger state caused by MIR certificates. It consists of two mappings, the rewards which will be paid out from the reserves and the rewards which will be paid out from the treasury. It also consists of two coin values which represent the transfer of coins from one pot to the other pot. NOTE that the following property should always hold: deltaReserves + deltaTreasury = 0

Instances

Instances details
ToJSON InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

Generic InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep InstantaneousRewardsTypeType #

Show InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

DecShareCBOR InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share InstantaneousRewards Source #

EncCBOR InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

Default InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

NFData InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfInstantaneousRewards → () #

Eq InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

type Rep InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

type Rep InstantaneousRewards = D1 ('MetaData "InstantaneousRewards" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "InstantaneousRewards" 'PrefixI 'True) ((S1 ('MetaSel ('Just "iRReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin)) :*: S1 ('MetaSel ('Just "iRTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin))) :*: (S1 ('MetaSel ('Just "deltaReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Just "deltaTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin))))
type Share InstantaneousRewards 
Instance details

Defined in Cardano.Ledger.CertState

data DState era Source #

The state used by the DELEG rule, which roughly tracks stake delegation and some governance features.

Constructors

DState 

Fields

Instances

Instances details
ToJSON (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Generic (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (DState era) ∷ TypeType #

Methods

fromDState era → Rep (DState era) x #

toRep (DState era) x → DState era #

Show (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntDState era → ShowS #

showDState era → String #

showList ∷ [DState era] → ShowS #

DecShareCBOR (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (DState era) Source #

Methods

getShareDState era → Share (DState era) Source #

decShareCBORShare (DState era) → Decoder s (DState era) Source #

decSharePlusCBORStateT (Share (DState era)) (Decoder s) (DState era) Source #

Era era ⇒ EncCBOR (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORDState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DState era] → Size Source #

Default (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defDState era Source #

NFData (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfDState era → () #

Eq (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)DState era → DState era → Bool #

(/=)DState era → DState era → Bool #

NoThunks (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsUnified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UMap) :*: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map FutureGenDeleg GenDelegPair))) :*: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InstantaneousRewards))))
type Share (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

data PState era Source #

The state used by the POOL rule, which tracks stake pool information.

Constructors

PState 

Fields

Instances

Instances details
ToJSON (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Generic (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (PState era) ∷ TypeType #

Methods

fromPState era → Rep (PState era) x #

toRep (PState era) x → PState era #

Show (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntPState era → ShowS #

showPState era → String #

showList ∷ [PState era] → ShowS #

(Era era, DecShareCBOR (PState era)) ⇒ DecCBOR (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

decCBORDecoder s (PState era) Source #

dropCBORProxy (PState era) → Decoder s () Source #

labelProxy (PState era) → Text Source #

DecShareCBOR (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (PState era) Source #

Methods

getSharePState era → Share (PState era) Source #

decShareCBORShare (PState era) → Decoder s (PState era) Source #

decSharePlusCBORStateT (Share (PState era)) (Decoder s) (PState era) Source #

Era era ⇒ EncCBOR (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORPState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PState era] → Size Source #

Default (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defPState era Source #

NFData (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfPState era → () #

Eq (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)PState era → PState era → Bool #

(/=)PState era → PState era → Bool #

NoThunks (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams)) :*: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) PoolParams))) :*: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) Coin)))))
type Share (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

data VState era Source #

The state that tracks the voting entities (DReps and Constitutional Committee members). In the formal ledger specification this type is called GState

Constructors

VState 

Fields

  • vsDReps ∷ !(Map (Credential 'DRepRole) DRepState)
     
  • vsCommitteeState ∷ !(CommitteeState era)
     
  • vsNumDormantEpochs ∷ !EpochNo

    Number of contiguous epochs in which there are exactly zero active governance proposals to vote on. It is incremented in every EPOCH rule if the number of active governance proposals to vote on continues to be zero. It is reset to zero when a new governance action is successfully proposed. We need this counter in order to bump DRep expiries through dormant periods when DReps do not have an opportunity to vote on anything.

Instances

Instances details
Generic (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (VState era) ∷ TypeType #

Methods

fromVState era → Rep (VState era) x #

toRep (VState era) x → VState era #

Show (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntVState era → ShowS #

showVState era → String #

showList ∷ [VState era] → ShowS #

Era era ⇒ DecCBOR (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

decCBORDecoder s (VState era) Source #

dropCBORProxy (VState era) → Decoder s () Source #

labelProxy (VState era) → Text Source #

Era era ⇒ DecShareCBOR (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (VState era) Source #

Methods

getShareVState era → Share (VState era) Source #

decShareCBORShare (VState era) → Decoder s (VState era) Source #

decSharePlusCBORStateT (Share (VState era)) (Decoder s) (VState era) Source #

Era era ⇒ EncCBOR (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORVState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VState era] → Size Source #

Default (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defVState era Source #

NFData (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfVState era → () #

Eq (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)VState era → VState era → Bool #

(/=)VState era → VState era → Bool #

NoThunks (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "vsDReps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole) DRepState)) :*: (S1 ('MetaSel ('Just "vsCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era)) :*: S1 ('MetaSel ('Just "vsNumDormantEpochs") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))))
type Share (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Share (VState era) = ()

data CertState era Source #

The state associated with the DELPL rule, which combines the DELEG rule and the POOL rule.

Constructors

CertState 

Fields

Instances

Instances details
ToJSON (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Generic (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (CertState era) ∷ TypeType #

Methods

fromCertState era → Rep (CertState era) x #

toRep (CertState era) x → CertState era #

Show (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntCertState era → ShowS #

showCertState era → String #

showList ∷ [CertState era] → ShowS #

Era era ⇒ DecShareCBOR (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (CertState era) Source #

Era era ⇒ EncCBOR (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

encCBORCertState era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CertState era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CertState era] → Size Source #

Default (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defCertState era Source #

NFData (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfCertState era → () #

Eq (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

(==)CertState era → CertState era → Bool #

(/=)CertState era → CertState era → Bool #

NoThunks (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (CertState era) = D1 ('MetaData "CertState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "CertState" 'PrefixI 'True) (S1 ('MetaSel ('Just "certVState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VState era)) :*: (S1 ('MetaSel ('Just "certPState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era)) :*: S1 ('MetaSel ('Just "certDState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era)))))
type Share (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

newtype Stake Source #

Type of stake as map from hash key to coins associated.

Constructors

Stake 

Instances

Instances details
ToJSON Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Generic Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Rep StakeTypeType #

Methods

fromStakeRep Stake x #

toRep Stake x → Stake #

Show Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

showsPrecIntStakeShowS #

showStakeString #

showList ∷ [Stake] → ShowS #

DecShareCBOR Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Share Stake Source #

EncCBOR Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

encCBORStakeEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy StakeSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Stake] → Size Source #

NFData Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

rnfStake → () #

Eq Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

(==)StakeStakeBool #

(/=)StakeStakeBool #

NoThunks Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep Stake = D1 ('MetaData "Stake" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Stake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential 'Staking) (CompactForm Coin)))))
type Share Stake 
Instance details

Defined in Cardano.Ledger.EpochBoundary

data SnapShot Source #

Snapshot of the stake distribution.

Instances

Instances details
ToJSON SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Generic SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Rep SnapShotTypeType #

Methods

fromSnapShotRep SnapShot x #

toRep SnapShot x → SnapShot #

Show SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

showsPrecIntSnapShotShowS #

showSnapShotString #

showList ∷ [SnapShot] → ShowS #

DecShareCBOR SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Share SnapShot Source #

EncCBOR SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

encCBORSnapShotEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SnapShotSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SnapShot] → Size Source #

NFData SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

rnfSnapShot → () #

Eq SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

(==)SnapShotSnapShotBool #

(/=)SnapShotSnapShotBool #

NoThunks SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep SnapShot = D1 ('MetaData "SnapShot" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "SnapShot" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Stake) :*: (S1 ('MetaSel ('Just "ssDelegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (Credential 'Staking) (KeyHash 'StakePool))) :*: S1 ('MetaSel ('Just "ssPoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (KeyHash 'StakePool) PoolParams)))))
type Share SnapShot 
Instance details

Defined in Cardano.Ledger.EpochBoundary

data SnapShots Source #

Snapshots of the stake distribution.

Note that ssStakeMark and ssStakeMarkPoolDistr are lazy on purpose since we only want to force the thunk after one stability window when we know that they are stable (so that we do not compute them if we do not have to). See more info in the Optimize TICKF ADR

Instances

Instances details
ToJSON SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Generic SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Rep SnapShotsTypeType #

Methods

fromSnapShotsRep SnapShots x #

toRep SnapShots x → SnapShots #

Show SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

showsPrecIntSnapShotsShowS #

showSnapShotsString #

showList ∷ [SnapShots] → ShowS #

DecCBOR SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

DecShareCBOR SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Share SnapShots Source #

EncCBOR SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

encCBORSnapShotsEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SnapShotsSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SnapShots] → Size Source #

Default SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

defSnapShots Source #

NFData SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

rnfSnapShots → () #

Eq SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

(==)SnapShotsSnapShotsBool #

(/=)SnapShotsSnapShotsBool #

NoThunks SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep SnapShots = D1 ('MetaData "SnapShots" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "SnapShots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ssStakeMark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just "ssStakeMarkPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "ssStakeSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: (S1 ('MetaSel ('Just "ssStakeGo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just "ssFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))
type Share SnapShots 
Instance details

Defined in Cardano.Ledger.EpochBoundary

newtype TxId Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId 

Instances

Instances details
FromJSON TxId 
Instance details

Defined in Cardano.Ledger.TxIn

ToJSON TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Generic TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep TxIdTypeType #

Methods

fromTxIdRep TxId x #

toRep TxId x → TxId #

Show TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxIdShowS #

showTxIdString #

showList ∷ [TxId] → ShowS #

DecCBOR TxId 
Instance details

Defined in Cardano.Ledger.TxIn

EncCBOR TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxIdEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxIdSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxId] → Size Source #

NFData TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxId → () #

Eq TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxIdTxIdBool #

(/=)TxIdTxIdBool #

Ord TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxIdTxIdOrdering #

(<)TxIdTxIdBool #

(<=)TxIdTxIdBool #

(>)TxIdTxIdBool #

(>=)TxIdTxIdBool #

maxTxIdTxIdTxId #

minTxIdTxIdTxId #

HeapWords TxId 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxIdInt Source #

MemPack TxId 
Instance details

Defined in Cardano.Ledger.TxIn

NoThunks TxId 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxId 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxId = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody))))

data TxIn Source #

The input of a UTxO.

Constructors

TxIn !TxId !TxIx 

Instances

Instances details
ToJSON TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

ToJSONKey TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Generic TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep TxInTypeType #

Methods

fromTxInRep TxIn x #

toRep TxIn x → TxIn #

Show TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxInShowS #

showTxInString #

showList ∷ [TxIn] → ShowS #

DecCBOR TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

DecShareCBOR TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Share TxIn Source #

EncCBOR TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxInEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxInSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxIn] → Size Source #

NFData TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxIn → () #

Eq TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxInTxInBool #

(/=)TxInTxInBool #

Ord TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxInTxInOrdering #

(<)TxInTxInBool #

(<=)TxInTxInBool #

(>)TxInTxInBool #

(>=)TxInTxInBool #

maxTxInTxInTxIn #

minTxInTxInTxIn #

HeapWords TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxInInt Source #

MemPack TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

NoThunks TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))
type Share TxIn 
Instance details

Defined in Cardano.Ledger.TxIn

type Share TxIn = ()

isOverlaySlot Source #

Arguments

SlotNo

The first slot of the given epoch.

UnitInterval

The decentralization parameter.

SlotNo

The slot to check.

Bool 

Determine if the given slot is reserved for the overlay schedule.

data PoolCert Source #

Constructors

RegPool !PoolParams

A stake pool registration certificate.

RetirePool !(KeyHash 'StakePool) !EpochNo

A stake pool retirement certificate.

Instances

Instances details
ToJSON PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Generic PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

type Rep PoolCertTypeType #

Methods

fromPoolCertRep PoolCert x #

toRep PoolCert x → PoolCert #

Show PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

showsPrecIntPoolCertShowS #

showPoolCertString #

showList ∷ [PoolCert] → ShowS #

EncCBOR PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

encCBORPoolCertEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolCertSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolCert] → Size Source #

NFData PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnfPoolCert → () #

Eq PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

(==)PoolCertPoolCertBool #

(/=)PoolCertPoolCertBool #

Ord PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

NoThunks PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep PoolCert 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep PoolCert = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolParams)) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))

data PoolMetadata Source #

Constructors

PoolMetadata 

Fields

Instances

Instances details
FromJSON PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

ToJSON PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

Generic PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

Associated Types

type Rep PoolMetadataTypeType #

Show PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

DecCBOR PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

EncCBOR PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

NFData PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

rnfPoolMetadata → () #

Eq PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

Ord PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

NoThunks PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep PoolMetadata 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep PoolMetadata = D1 ('MetaData "PoolMetadata" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "PoolMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "pmUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "pmHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

data StakePoolRelay Source #

Constructors

SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)

One or both of IPv4 & IPv6

SingleHostName !(StrictMaybe Port) !DnsName

An A or AAAA DNS record

MultiHostName !DnsName

A SRV DNS record

Instances

Instances details
FromJSON StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

ToJSON StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

Generic StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

Associated Types

type Rep StakePoolRelayTypeType #

Show StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

DecCBOR StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

EncCBOR StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

NFData StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

rnfStakePoolRelay → () #

Eq StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

Ord StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

NoThunks StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep StakePoolRelay 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep StakePoolRelay = D1 ('MetaData "StakePoolRelay" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "SingleHostAddr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv4)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv6)))) :+: (C1 ('MetaCons "SingleHostName" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)) :+: C1 ('MetaCons "MultiHostName" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName))))

data PoolParams Source #

A stake pool.

Instances

Instances details
FromJSON PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

ToJSON PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Generic PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Associated Types

type Rep PoolParamsTypeType #

Show PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

DecCBOR PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

EncCBOR PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

encCBORPoolParamsEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolParamsSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolParams] → Size Source #

DecCBORGroup PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

EncCBORGroup PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Default PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

defPoolParams Source #

NFData PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

rnfPoolParams → () #

Eq PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

(==)PoolParamsPoolParamsBool #

(/=)PoolParamsPoolParamsBool #

Ord PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

NoThunks PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep PoolParams 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep PoolParams = D1 ('MetaData "PoolParams" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "PoolParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ppId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Just "ppVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'StakePoolVRF))) :*: (S1 ('MetaSel ('Just "ppPledge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "ppCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: ((S1 ('MetaSel ('Just "ppMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "ppRewardAccount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "ppOwners") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Staking))) :*: (S1 ('MetaSel ('Just "ppRelays") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq StakePoolRelay)) :*: S1 ('MetaSel ('Just "ppMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PoolMetadata)))))))

data PoolDistr Source #

A map of stake pool IDs (the hash of the stake pool operator's verification key) to IndividualPoolStake. Also holds absolute values necessary for the calculations in the computeDRepDistr.

Constructors

PoolDistr 

Fields

Instances

Instances details
ToJSON PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

Generic PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

Associated Types

type Rep PoolDistrTypeType #

Methods

fromPoolDistrRep PoolDistr x #

toRep PoolDistr x → PoolDistr #

Show PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

showsPrecIntPoolDistrShowS #

showPoolDistrString #

showList ∷ [PoolDistr] → ShowS #

DecCBOR PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

EncCBOR PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

encCBORPoolDistrEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolDistrSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolDistr] → Size Source #

NFData PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

rnfPoolDistr → () #

Eq PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

(==)PoolDistrPoolDistrBool #

(/=)PoolDistrPoolDistrBool #

NoThunks PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

type Rep PoolDistr 
Instance details

Defined in Cardano.Ledger.PoolDistr

type Rep PoolDistr = D1 ('MetaData "PoolDistr" "Cardano.Ledger.PoolDistr" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) IndividualPoolStake)) :*: S1 ('MetaSel ('Just "pdTotalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin))))

data Addr Source #

An address for UTxO.

Contents of Addr data type are intentionally left as lazy, otherwise operating on compact form of an address will result in redundant work.

Instances

Instances details
FromJSON Addr 
Instance details

Defined in Cardano.Ledger.Address

FromJSONKey Addr 
Instance details

Defined in Cardano.Ledger.Address

ToJSON Addr 
Instance details

Defined in Cardano.Ledger.Address

ToJSONKey Addr 
Instance details

Defined in Cardano.Ledger.Address

Generic Addr 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep AddrTypeType #

Methods

fromAddrRep Addr x #

toRep Addr x → Addr #

Show Addr 
Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrecIntAddrShowS #

showAddrString #

showList ∷ [Addr] → ShowS #

DecCBOR Addr 
Instance details

Defined in Cardano.Ledger.Address

EncCBOR Addr 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORAddrEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy AddrSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Addr] → Size Source #

NFData Addr 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfAddr → () #

Eq Addr 
Instance details

Defined in Cardano.Ledger.Address

Methods

(==)AddrAddrBool #

(/=)AddrAddrBool #

Ord Addr 
Instance details

Defined in Cardano.Ledger.Address

Methods

compareAddrAddrOrdering #

(<)AddrAddrBool #

(<=)AddrAddrBool #

(>)AddrAddrBool #

(>=)AddrAddrBool #

maxAddrAddrAddr #

minAddrAddrAddr #

NoThunks Addr 
Instance details

Defined in Cardano.Ledger.Address

type Rep Addr 
Instance details

Defined in Cardano.Ledger.Address

type Rep Addr = D1 ('MetaData "Addr" "Cardano.Ledger.Address" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PaymentCredential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakeReference))) :+: C1 ('MetaCons "AddrBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BootstrapAddress)))

data RewardAccount Source #

An account based address for rewards

Constructors

RewardAccount 

Instances

Instances details
FromJSON RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

FromJSONKey RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

ToJSON RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

ToJSONKey RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Generic RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep RewardAccountTypeType #

Show RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

DecCBOR RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

EncCBOR RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Default RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

NFData RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfRewardAccount → () #

Eq RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

Ord RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

NoThunks RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

type Rep RewardAccount 
Instance details

Defined in Cardano.Ledger.Address

type Rep RewardAccount = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "RewardAccount" 'PrefixI 'True) (S1 ('MetaSel ('Just "raNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "raCredential") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))))

newtype Withdrawals Source #

This is called wdrl in the spec.

Instances

Instances details
Generic Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep WithdrawalsTypeType #

Show Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

DecCBOR Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

EncCBOR Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORWithdrawalsEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy WithdrawalsSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Withdrawals] → Size Source #

NFData Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfWithdrawals → () #

Eq Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

NoThunks Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals 
Instance details

Defined in Cardano.Ledger.Address

type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin 

Fields

Instances

Instances details
FromJSON Coin 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON Coin 
Instance details

Defined in Cardano.Ledger.Coin

Monoid Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

memptyCoin #

mappendCoinCoinCoin #

mconcat ∷ [Coin] → Coin #

Semigroup Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>)CoinCoinCoin #

sconcatNonEmpty CoinCoin #

stimesIntegral b ⇒ b → CoinCoin #

Enum Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

succCoinCoin #

predCoinCoin #

toEnumIntCoin #

fromEnumCoinInt #

enumFromCoin → [Coin] #

enumFromThenCoinCoin → [Coin] #

enumFromToCoinCoin → [Coin] #

enumFromThenToCoinCoinCoin → [Coin] #

Generic Coin 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep CoinTypeType #

Methods

fromCoinRep Coin x #

toRep Coin x → Coin #

Show Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrecIntCoinShowS #

showCoinString #

showList ∷ [Coin] → ShowS #

FromCBOR Coin 
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBORCoinEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CoinSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Coin] → Size Source #

DecCBOR Coin 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBORCoinEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CoinSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Coin] → Size Source #

Compactible Coin 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

data CompactForm Coin Source #

ToPlutusData Coin 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Val Coin 
Instance details

Defined in Cardano.Ledger.Val

NFData Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCoin → () #

Eq Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==)CoinCoinBool #

(/=)CoinCoinBool #

Ord Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

compareCoinCoinOrdering #

(<)CoinCoinBool #

(<=)CoinCoinBool #

(>)CoinCoinBool #

(>=)CoinCoinBool #

maxCoinCoinCoin #

minCoinCoinCoin #

Abelian Coin 
Instance details

Defined in Cardano.Ledger.Coin

Group Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

invertCoinCoin Source #

(~~)CoinCoinCoin Source #

powIntegral x ⇒ Coin → x → Coin Source #

HeapWords Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWordsCoinInt Source #

NoThunks Coin 
Instance details

Defined in Cardano.Ledger.Coin

PartialOrd Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<=)CoinCoinBool Source #

(>=)CoinCoinBool Source #

(==)CoinCoinBool Source #

(/=)CoinCoinBool Source #

(<)CoinCoinBool Source #

(>)CoinCoinBool Source #

compareCoinCoinMaybe Ordering Source #

Uniform Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformMStatefulGen g m ⇒ g → m Coin Source #

UniformRange Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformRMStatefulGen g m ⇒ (Coin, Coin) → g → m Coin Source #

Inject Coin DeltaCoin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

injectCoinDeltaCoin Source #

FromJSON (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Monoid (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Semigroup (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Show (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBORCompactForm CoinEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CompactForm Coin) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactForm Coin] → Size Source #

DecCBOR (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

EncCBOR (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

NFData (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnfCompactForm Coin → () #

Eq (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Ord (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Abelian (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

HeapWords (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

MemPack (CompactForm Coin)

This instance prefixes with a 0 Tag for binary compatibility with compact form of multiassets.

Instance details

Defined in Cardano.Ledger.Coin

NoThunks (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Prim (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOfType#Proxy (CompactForm Coin) → Int# Source #

sizeOf#CompactForm Coin → Int# Source #

alignmentOfType#Proxy (CompactForm Coin) → Int# Source #

alignment#CompactForm Coin → Int# Source #

indexByteArray#ByteArray# → Int# → CompactForm Coin Source #

readByteArray#MutableByteArray# s → Int# → State# s → (# State# s, CompactForm Coin #) Source #

writeByteArray#MutableByteArray# s → Int# → CompactForm Coin → State# s → State# s Source #

setByteArray#MutableByteArray# s → Int# → Int# → CompactForm Coin → State# s → State# s Source #

indexOffAddr# ∷ Addr# → Int# → CompactForm Coin Source #

readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm Coin #) Source #

writeOffAddr# ∷ Addr# → Int# → CompactForm Coin → State# s → State# s Source #

setOffAddr# ∷ Addr# → Int# → Int# → CompactForm Coin → State# s → State# s Source #

Uniform (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformMStatefulGen g m ⇒ g → m (CompactForm Coin) Source #

UniformRange (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin 
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm Coin 
Instance details

Defined in Cardano.Ledger.Coin

data Credential (kr ∷ KeyRole) Source #

Script hash or key hash for a payment or a staking object.

Note that credentials (unlike raw key hashes) do appear to vary from era to era, since they reference the hash of a script, which can change. This parameter is a phantom, however, so in actuality the instances will remain the same.

Instances

Instances details
HasKeyRole Credential 
Instance details

Defined in Cardano.Ledger.Credential

Methods

coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). Credential r → Credential r' Source #

FromJSON (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

FromJSONKey (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

ToJSON (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

ToJSONKey (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Generic (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep (Credential kr) ∷ TypeType #

Methods

fromCredential kr → Rep (Credential kr) x #

toRep (Credential kr) x → Credential kr #

Show (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrecIntCredential kr → ShowS #

showCredential kr → String #

showList ∷ [Credential kr] → ShowS #

Typeable kr ⇒ FromCBOR (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Typeable kr ⇒ ToCBOR (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBORCredential kr → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Credential kr) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Credential kr] → Size Source #

Typeable kr ⇒ DecCBOR (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Typeable kr ⇒ EncCBOR (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

encCBORCredential kr → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Credential kr) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Credential kr] → Size Source #

Default (Credential r) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

defCredential r Source #

NFData (Credential r) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnfCredential r → () #

Eq (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

(==)Credential kr → Credential kr → Bool #

(/=)Credential kr → Credential kr → Bool #

Ord (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

Methods

compareCredential kr → Credential kr → Ordering #

(<)Credential kr → Credential kr → Bool #

(<=)Credential kr → Credential kr → Bool #

(>)Credential kr → Credential kr → Bool #

(>=)Credential kr → Credential kr → Bool #

maxCredential kr → Credential kr → Credential kr #

minCredential kr → Credential kr → Credential kr #

Typeable kr ⇒ MemPack (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

NoThunks (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

type Rep (Credential kr) 
Instance details

Defined in Cardano.Ledger.Credential

type Rep (Credential kr) = D1 ('MetaData "Credential" "Cardano.Ledger.Credential" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ScriptHashObj" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash)) :+: C1 ('MetaCons "KeyHashObj" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash kr))))

data StakeReference Source #

Instances

Instances details
ToJSON StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

Generic StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep StakeReferenceTypeType #

Show StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

NFData StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnfStakeReference → () #

Eq StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

Ord StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

NoThunks StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

type Rep StakeReference 
Instance details

Defined in Cardano.Ledger.Credential

type Rep StakeReference = D1 ('MetaData "StakeReference" "Cardano.Ledger.Credential" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "StakeRefBase" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential)) :+: (C1 ('MetaCons "StakeRefPtr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ptr)) :+: C1 ('MetaCons "StakeRefNull" 'PrefixI 'False) (U1TypeType)))

data Ptr Source #

Pointer to a slot number, transaction index and an index in certificate list.

Constructors

Ptr !SlotNo32 !TxIx !CertIx 

Instances

Instances details
ToJSON Ptr 
Instance details

Defined in Cardano.Ledger.Credential

ToJSONKey Ptr 
Instance details

Defined in Cardano.Ledger.Credential

Generic Ptr 
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep PtrTypeType #

Methods

fromPtrRep Ptr x #

toRep Ptr x → Ptr #

Show Ptr 
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrecInt