cardano-ledger-shelley-1.12.2.1: 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 Source #

Foldable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

foldMonoid m ⇒ StrictMaybe m → m Source #

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

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

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

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

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

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

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

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

toListStrictMaybe a → [a] Source #

nullStrictMaybe a → Bool Source #

lengthStrictMaybe a → Int Source #

elemEq a ⇒ a → StrictMaybe a → Bool Source #

maximumOrd a ⇒ StrictMaybe a → a Source #

minimumOrd a ⇒ StrictMaybe a → a Source #

sumNum a ⇒ StrictMaybe a → a Source #

productNum a ⇒ StrictMaybe a → a Source #

Traversable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

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

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

Alternative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Applicative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

pure ∷ a → StrictMaybe a Source #

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

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

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

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

Functor StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

Monad StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

return ∷ a → StrictMaybe a Source #

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

Methods

fromStrictMaybe a → Rep (StrictMaybe a) x Source #

toRep (StrictMaybe a) x → StrictMaybe a Source #

Show a ⇒ Show (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

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 → () Source #

Eq a ⇒ Eq (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

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 → () Source #

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-2d510eb8052c98180f678f8e2d4ca4b58309945425b81c6185e0f32082f04288" '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 Source #

Methods

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

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

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

Defined in Cardano.Ledger.Block

Methods

showsPrecIntBlock h era → ShowS Source #

showBlock h era → String Source #

showList ∷ [Block h era] → ShowS Source #

(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 Source #

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

(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.14.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
(Era era, 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 Source #

mappendUTxO era → UTxO era → UTxO era Source #

mconcat ∷ [UTxO era] → UTxO era Source #

Semigroup (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

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

sconcatNonEmpty (UTxO era) → UTxO era Source #

stimesIntegral b ⇒ b → UTxO era → UTxO era Source #

Generic (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Associated Types

type Rep (UTxO era) ∷ TypeType Source #

Methods

fromUTxO era → Rep (UTxO era) x Source #

toRep (UTxO era) x → UTxO era Source #

(Show (TxOut era), Crypto (EraCrypto era)) ⇒ Show (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

Methods

showsPrecIntUTxO era → ShowS Source #

showUTxO era → String Source #

showList ∷ [UTxO era] → ShowS Source #

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

(Crypto (EraCrypto era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking (EraCrypto era))) ⇒ 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 → () Source #

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

Defined in Cardano.Ledger.UTxO

Methods

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

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

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.14.0.0-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (TxIn (EraCrypto era)) (TxOut era)))))
type Share (UTxO era) 
Instance details

Defined in Cardano.Ledger.UTxO

data InstantaneousRewards c 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
Crypto c ⇒ ToJSON (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

Generic (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Rep (InstantaneousRewards c) ∷ TypeType Source #

Show (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

Crypto c ⇒ DecShareCBOR (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

Associated Types

type Share (InstantaneousRewards c) Source #

Crypto c ⇒ EncCBOR (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

Default (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

NFData (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfInstantaneousRewards c → () Source #

Eq (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

NoThunks (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (InstantaneousRewards c) 
Instance details

Defined in Cardano.Ledger.CertState

type Rep (InstantaneousRewards c) = D1 ('MetaData "InstantaneousRewards" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "InstantaneousRewards" 'PrefixI 'True) ((S1 ('MetaSel ('Just "iRReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) Coin)) :*: S1 ('MetaSel ('Just "iRTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) Coin))) :*: (S1 ('MetaSel ('Just "deltaReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Just "deltaTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin))))
type Share (InstantaneousRewards c) 
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
Era era ⇒ 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 Source #

Methods

fromDState era → Rep (DState era) x Source #

toRep (DState era) x → DState era Source #

Show (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntDState era → ShowS Source #

showDState era → String Source #

showList ∷ [DState era] → ShowS Source #

(Era era, DecShareCBOR (InstantaneousRewards (EraCrypto era))) ⇒ 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 (InstantaneousRewards (EraCrypto 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 → () Source #

Eq (DState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

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

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

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.14.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsUnified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UMap (EraCrypto era))) :*: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenDelegs (EraCrypto era))) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InstantaneousRewards (EraCrypto era))))))
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
Era era ⇒ 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 Source #

Methods

fromPState era → Rep (PState era) x Source #

toRep (PState era) x → PState era Source #

Show (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntPState era → ShowS Source #

showPState era → String Source #

showList ∷ [PState era] → ShowS Source #

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

Era era ⇒ 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 c) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

defPState c Source #

NFData (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfPState era → () Source #

Eq (PState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

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

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

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.14.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))) :*: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) 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)

Constructors

VState 

Fields

  • vsDReps ∷ !(Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
     
  • vsCommitteeState ∷ !(CommitteeState era)
     
  • vsNumDormantEpochsEpochNo

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

Methods

fromVState era → Rep (VState era) x Source #

toRep (VState era) x → VState era Source #

Show (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntVState era → ShowS Source #

showVState era → String Source #

showList ∷ [VState era] → ShowS Source #

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 #

Era era ⇒ NFData (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfVState era → () Source #

Eq (VState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

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

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

Typeable (EraCrypto era) ⇒ 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.14.0.0-inplace" 'False) (C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "vsDReps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "vsCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era)) :*: S1 ('MetaSel ('Just "vsNumDormantEpochs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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
Era era ⇒ 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 Source #

Methods

fromCertState era → Rep (CertState era) x Source #

toRep (CertState era) x → CertState era Source #

Show (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

showsPrecIntCertState era → ShowS Source #

showCertState era → String Source #

showList ∷ [CertState era] → ShowS Source #

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 #

Era era ⇒ NFData (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

rnfCertState era → () Source #

Eq (CertState era) 
Instance details

Defined in Cardano.Ledger.CertState

Methods

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

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

Typeable (EraCrypto era) ⇒ 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.14.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 c Source #

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

Constructors

Stake 

Instances

Instances details
Crypto c ⇒ ToJSON (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Generic (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Rep (Stake c) ∷ TypeType Source #

Methods

fromStake c → Rep (Stake c) x Source #

toRep (Stake c) x → Stake c Source #

Show (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

showsPrecIntStake c → ShowS Source #

showStake c → String Source #

showList ∷ [Stake c] → ShowS Source #

Crypto c ⇒ DecShareCBOR (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Share (Stake c) Source #

Crypto c ⇒ EncCBOR (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

encCBORStake c → Encoding Source #

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

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

NFData (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

rnfStake c → () Source #

Eq (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

(==)Stake c → Stake c → Bool Source #

(/=)Stake c → Stake c → Bool Source #

Typeable c ⇒ NoThunks (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep (Stake c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

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

Defined in Cardano.Ledger.EpochBoundary

data SnapShot c Source #

Snapshot of the stake distribution.

Constructors

SnapShot 

Instances

Instances details
Crypto c ⇒ ToJSON (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Generic (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Rep (SnapShot c) ∷ TypeType Source #

Methods

fromSnapShot c → Rep (SnapShot c) x Source #

toRep (SnapShot c) x → SnapShot c Source #

Show (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Crypto c ⇒ DecShareCBOR (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Share (SnapShot c) Source #

Crypto c ⇒ EncCBOR (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

encCBORSnapShot c → Encoding Source #

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

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

NFData (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

rnfSnapShot c → () Source #

Eq (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

(==)SnapShot c → SnapShot c → Bool Source #

(/=)SnapShot c → SnapShot c → Bool Source #

Typeable c ⇒ NoThunks (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep (SnapShot c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

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

Defined in Cardano.Ledger.EpochBoundary

data SnapShots c 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

Constructors

SnapShots 

Instances

Instances details
Crypto c ⇒ ToJSON (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Generic (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Rep (SnapShots c) ∷ TypeType Source #

Methods

fromSnapShots c → Rep (SnapShots c) x Source #

toRep (SnapShots c) x → SnapShots c Source #

Show (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Crypto c ⇒ DecCBOR (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Crypto c ⇒ DecShareCBOR (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Associated Types

type Share (SnapShots c) Source #

Crypto c ⇒ EncCBOR (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

encCBORSnapShots c → Encoding Source #

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

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

Default (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

defSnapShots c Source #

NFData (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

rnfSnapShots c → () Source #

Eq (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

Methods

(==)SnapShots c → SnapShots c → Bool Source #

(/=)SnapShots c → SnapShots c → Bool Source #

Typeable c ⇒ NoThunks (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

type Rep (SnapShots c) 
Instance details

Defined in Cardano.Ledger.EpochBoundary

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

Defined in Cardano.Ledger.EpochBoundary

type Share (SnapShots c) = Share (SnapShot c)

newtype TxId c Source #

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

Constructors

TxId 

Instances

Instances details
Crypto c ⇒ FromJSON (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Crypto c ⇒ ToJSON (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Generic (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep (TxId c) ∷ TypeType Source #

Methods

fromTxId c → Rep (TxId c) x Source #

toRep (TxId c) x → TxId c Source #

Show (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxId c → ShowS Source #

showTxId c → String Source #

showList ∷ [TxId c] → ShowS Source #

Crypto c ⇒ DecCBOR (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

decCBORDecoder s (TxId c) Source #

dropCBORProxy (TxId c) → Decoder s () Source #

labelProxy (TxId c) → Text Source #

Crypto c ⇒ EncCBOR (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxId c → Encoding Source #

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

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

Crypto c ⇒ NFData (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxId c → () Source #

Eq (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxId c → TxId c → Bool Source #

(/=)TxId c → TxId c → Bool Source #

Ord (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxId c → TxId c → Ordering Source #

(<)TxId c → TxId c → Bool Source #

(<=)TxId c → TxId c → Bool Source #

(>)TxId c → TxId c → Bool Source #

(>=)TxId c → TxId c → Bool Source #

maxTxId c → TxId c → TxId c Source #

minTxId c → TxId c → TxId c Source #

Crypto c ⇒ HeapWords (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxId c → Int Source #

NoThunks (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep (TxId c) 
Instance details

Defined in Cardano.Ledger.TxIn

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

data TxIn c Source #

The input of a UTxO.

Constructors

TxIn !(TxId c) !TxIx 

Instances

Instances details
Crypto c ⇒ ToJSON (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Crypto c ⇒ ToJSONKey (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Generic (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep (TxIn c) ∷ TypeType Source #

Methods

fromTxIn c → Rep (TxIn c) x Source #

toRep (TxIn c) x → TxIn c Source #

Show (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

showsPrecIntTxIn c → ShowS Source #

showTxIn c → String Source #

showList ∷ [TxIn c] → ShowS Source #

Crypto c ⇒ DecCBOR (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

decCBORDecoder s (TxIn c) Source #

dropCBORProxy (TxIn c) → Decoder s () Source #

labelProxy (TxIn c) → Text Source #

Crypto c ⇒ EncCBOR (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

encCBORTxIn c → Encoding Source #

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

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

Crypto c ⇒ NFData (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnfTxIn c → () Source #

Eq (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

(==)TxIn c → TxIn c → Bool Source #

(/=)TxIn c → TxIn c → Bool Source #

Ord (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

compareTxIn c → TxIn c → Ordering Source #

(<)TxIn c → TxIn c → Bool Source #

(<=)TxIn c → TxIn c → Bool Source #

(>)TxIn c → TxIn c → Bool Source #

(>=)TxIn c → TxIn c → Bool Source #

maxTxIn c → TxIn c → TxIn c Source #

minTxIn c → TxIn c → TxIn c Source #

Crypto c ⇒ HeapWords (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

Methods

heapWordsTxIn c → Int Source #

NoThunks (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

type Rep (TxIn c) 
Instance details

Defined in Cardano.Ledger.TxIn

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

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 Delegation c Source #

The delegation of one stake key to another.

Constructors

Delegation 

Instances

Instances details
Generic (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

type Rep (Delegation c) ∷ TypeType Source #

Methods

fromDelegation c → Rep (Delegation c) x Source #

toRep (Delegation c) x → Delegation c Source #

Show (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

NFData (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnfDelegation c → () Source #

Eq (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

(==)Delegation c → Delegation c → Bool Source #

(/=)Delegation c → Delegation c → Bool Source #

NoThunks (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (Delegation c) = D1 ('MetaData "Delegation" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "Delegation" 'PrefixI 'True) (S1 ('MetaSel ('Just "dDelegator") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Just "dDelegatee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))))

data PoolCert c Source #

Constructors

RegPool !(PoolParams c)

A stake pool registration certificate.

RetirePool !(KeyHash 'StakePool c) !EpochNo

A stake pool retirement certificate.

Instances

Instances details
Crypto c ⇒ ToJSON (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Generic (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

type Rep (PoolCert c) ∷ TypeType Source #

Methods

fromPoolCert c → Rep (PoolCert c) x Source #

toRep (PoolCert c) x → PoolCert c Source #

Show (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

NFData (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnfPoolCert c → () Source #

Eq (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

(==)PoolCert c → PoolCert c → Bool Source #

(/=)PoolCert c → PoolCert c → Bool Source #

Ord (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

comparePoolCert c → PoolCert c → Ordering Source #

(<)PoolCert c → PoolCert c → Bool Source #

(<=)PoolCert c → PoolCert c → Bool Source #

(>)PoolCert c → PoolCert c → Bool Source #

(>=)PoolCert c → PoolCert c → Bool Source #

maxPoolCert c → PoolCert c → PoolCert c Source #

minPoolCert c → PoolCert c → PoolCert c Source #

NoThunks (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (PoolCert c) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams c))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: 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 Source #

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 → () Source #

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.14.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 Source #

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 → () Source #

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

data PoolParams c Source #

A stake pool.

Instances

Instances details
Crypto c ⇒ FromJSON (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Crypto c ⇒ ToJSON (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Generic (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Associated Types

type Rep (PoolParams c) ∷ TypeType Source #

Methods

fromPoolParams c → Rep (PoolParams c) x Source #

toRep (PoolParams c) x → PoolParams c Source #

Show (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Crypto c ⇒ DecCBOR (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Crypto c ⇒ EncCBOR (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

encCBORPoolParams c → Encoding Source #

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

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

Crypto c ⇒ DecCBORGroup (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Crypto c ⇒ EncCBORGroup (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Crypto c ⇒ Default (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

defPoolParams c Source #

NFData (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

rnfPoolParams c → () Source #

Eq (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

Methods

(==)PoolParams c → PoolParams c → Bool Source #

(/=)PoolParams c → PoolParams c → Bool Source #

Ord (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

NoThunks (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

type Rep (PoolParams c) 
Instance details

Defined in Cardano.Ledger.PoolParams

data Addr c 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
Crypto c ⇒ FromJSON (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ FromJSONKey (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

ToJSON (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

ToJSONKey (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Generic (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep (Addr c) ∷ TypeType Source #

Methods

fromAddr c → Rep (Addr c) x Source #

toRep (Addr c) x → Addr c Source #

Show (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrecIntAddr c → ShowS Source #

showAddr c → String Source #

showList ∷ [Addr c] → ShowS Source #

Crypto c ⇒ DecCBOR (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

decCBORDecoder s (Addr c) Source #

dropCBORProxy (Addr c) → Decoder s () Source #

labelProxy (Addr c) → Text Source #

Crypto c ⇒ EncCBOR (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORAddr c → Encoding Source #

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

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

NFData (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfAddr c → () Source #

Eq (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

(==)Addr c → Addr c → Bool Source #

(/=)Addr c → Addr c → Bool Source #

Ord (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

compareAddr c → Addr c → Ordering Source #

(<)Addr c → Addr c → Bool Source #

(<=)Addr c → Addr c → Bool Source #

(>)Addr c → Addr c → Bool Source #

(>=)Addr c → Addr c → Bool Source #

maxAddr c → Addr c → Addr c Source #

minAddr c → Addr c → Addr c Source #

NoThunks (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (Addr c) 
Instance details

Defined in Cardano.Ledger.Address

data RewardAccount c Source #

An account based address for rewards

Constructors

RewardAccount 

Bundled Patterns

pattern RewardAcntNetworkCredential 'Staking c → RewardAccount c 

Instances

Instances details
Crypto c ⇒ FromJSON (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ FromJSONKey (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ ToJSON (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ ToJSONKey (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Generic (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep (RewardAccount c) ∷ TypeType Source #

Show (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ DecCBOR (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ EncCBOR (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORRewardAcnt c → Encoding Source #

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

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

Crypto c ⇒ Default (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

defRewardAcnt c Source #

NFData (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfRewardAccount c → () Source #

Eq (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

Ord (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

NoThunks (RewardAcnt c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (RewardAccount c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (RewardAccount c) = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.14.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 c))))

newtype Withdrawals c Source #

This is called wdrl in the spec.

Constructors

Withdrawals 

Instances

Instances details
Generic (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep (Withdrawals c) ∷ TypeType Source #

Methods

fromWithdrawals c → Rep (Withdrawals c) x Source #

toRep (Withdrawals c) x → Withdrawals c Source #

Show (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ DecCBOR (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Crypto c ⇒ EncCBOR (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

encCBORWithdrawals c → Encoding Source #

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

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

NFData (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

Methods

rnfWithdrawals c → () Source #

Eq (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

NoThunks (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

type Rep (Withdrawals c) 
Instance details

Defined in Cardano.Ledger.Address

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

data PoolDistr c 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
Crypto c ⇒ ToJSON (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Generic (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Associated Types

type Rep (PoolDistr c) ∷ TypeType Source #

Methods

fromPoolDistr c → Rep (PoolDistr c) x Source #

toRep (PoolDistr c) x → PoolDistr c Source #

Show (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Crypto c ⇒ DecCBOR (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Crypto c ⇒ EncCBOR (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

encCBORPoolDistr c → Encoding Source #

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

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

NFData (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

rnfPoolDistr c → () Source #

Eq (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

(==)PoolDistr c → PoolDistr c → Bool Source #

(/=)PoolDistr c → PoolDistr c → Bool Source #

NoThunks (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

type Rep (PoolDistr c) 
Instance details

Defined in Cardano.Ledger.PoolDistr

type Rep (PoolDistr c) = D1 ('MetaData "PoolDistr" "Cardano.Ledger.PoolDistr" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) (IndividualPoolStake c))) :*: S1 ('MetaSel ('Just "pdTotalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm 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 Source #

mappendCoinCoinCoin Source #

mconcat ∷ [Coin] → Coin Source #

Semigroup Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>)CoinCoinCoin Source #

sconcatNonEmpty CoinCoin Source #

stimesIntegral b ⇒ b → CoinCoin Source #

Enum Coin 
Instance details

Defined in Cardano.Ledger.Coin

Generic Coin 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep CoinTypeType Source #

Methods

fromCoinRep Coin x Source #

toRep Coin x → Coin Source #

Show Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrecIntCoinShowS Source #

showCoinString Source #

showList ∷ [Coin] → ShowS Source #

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 → () Source #

Eq Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==)CoinCoinBool Source #

(/=)CoinCoinBool Source #

Ord Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

compareCoinCoinOrdering Source #

(<)CoinCoinBool Source #

(<=)CoinCoinBool Source #

(>)CoinCoinBool Source #

(>=)CoinCoinBool Source #

maxCoinCoinCoin Source #

minCoinCoinCoin Source #

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 → () Source #

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

NoThunks (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

Prim (CompactForm Coin) 
Instance details

Defined in Cardano.Ledger.Coin

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.14.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('