cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Shelley.API.Types

Synopsis

Documentation

data StrictMaybe a Source #

Constructors

SNothing
SJust !a

Instances

Instances details
Monad StrictMaybe
Instance details

Defined in Data.Maybe.Strict

Functor StrictMaybe
Instance details

Defined in Data.Maybe.Strict

MonadFail StrictMaybe
Instance details

Defined in Data.Maybe.Strict

Applicative StrictMaybe
Instance details

Defined in Data.Maybe.Strict

Foldable StrictMaybe
Instance details

Defined in Data.Maybe.Strict

Traversable StrictMaybe
Instance details

Defined in Data.Maybe.Strict

HKDFunctor StrictMaybe Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

aux ~ AuxiliaryData era => HasField "auxiliaryData" ( Tx era) ( StrictMaybe aux) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq a => Eq ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

Ord a => Ord ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

Show a => Show ( 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) :: Type -> Type Source #

NFData a => NFData ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

ToJSON a => ToJSON ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

FromJSON a => FromJSON ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

ToCBOR a => ToCBOR ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

Era era => ToCBOR ( PParamsUpdate era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

FromCBOR a => FromCBOR ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

Era era => FromCBOR ( PParamsUpdate era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Default ( StrictMaybe t)
Instance details

Defined in Data.Maybe.Strict

NoThunks a => NoThunks ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

NoThunks ( PParamsUpdate era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Eq ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Ord ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NFData ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep ( StrictMaybe a)
Instance details

Defined in Data.Maybe.Strict

type Rep ( StrictMaybe a) = D1 (' MetaData "StrictMaybe" "Data.Maybe.Strict" "strict-containers-0.1.0.0-LCiCzdIbvA0LutM86eIzNe" ' False ) ( C1 (' MetaCons "SNothing" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "SJust" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a)))

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, ToCBORGroup ( TxSeq era), ToCBOR h) => h -> TxSeq era -> Block h era

Instances

Instances details
( BlockAnn era, ValidateScript era, SupportsSegWit era, FromCBOR ( Annotator ( TxSeq era)), FromCBOR ( Annotator h), Typeable h) => FromCBOR ( Annotator ( Block h era))
Instance details

Defined in Cardano.Ledger.Block

( Era era, Eq ( TxSeq era), Eq h) => Eq ( Block h era)
Instance details

Defined in Cardano.Ledger.Block

( Era era, Show ( TxSeq era), Show h) => Show ( Block h era)
Instance details

Defined in Cardano.Ledger.Block

Generic ( Block h era)
Instance details

Defined in Cardano.Ledger.Block

Associated Types

type Rep ( Block h era) :: Type -> Type Source #

( Era era, Typeable h) => ToCBOR ( Block h era)
Instance details

Defined in Cardano.Ledger.Block

( Era era, NoThunks ( TxSeq era), NoThunks h) => NoThunks ( Block h era)
Instance details

Defined in Cardano.Ledger.Block

type Rep ( Block h era)
Instance details

Defined in Cardano.Ledger.Block

newtype TxId crypto Source #

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

Instances

Instances details
Eq ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Ord ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Show ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Generic ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep ( TxId crypto) :: Type -> Type Source #

Methods

from :: TxId crypto -> Rep ( TxId crypto) x Source #

to :: Rep ( TxId crypto) x -> TxId crypto Source #

Crypto crypto => NFData ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnf :: TxId crypto -> () Source #

Crypto crypto => ToCBOR ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Crypto crypto => FromCBOR ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

HeapWords ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

NoThunks ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

type Rep ( TxId crypto)
Instance details

Defined in Cardano.Ledger.TxIn

type Rep ( TxId crypto) = D1 (' MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "TxId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_unTxId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SafeHash crypto EraIndependentTxBody ))))

data TxIn crypto Source #

The input of a UTxO.

Constructors

TxIn !( TxId crypto) ! TxIx

Instances

Instances details
Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

c ~ Crypto era => HasField "txinputs_fee" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Ord ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Show ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Generic ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Associated Types

type Rep ( TxIn crypto) :: Type -> Type Source #

Methods

from :: TxIn crypto -> Rep ( TxIn crypto) x Source #

to :: Rep ( TxIn crypto) x -> TxIn crypto Source #

Crypto crypto => NFData ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Methods

rnf :: TxIn crypto -> () Source #

Crypto crypto => ToCBOR ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Crypto crypto => FromCBOR ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

Crypto crypto => HeapWords ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

NoThunks ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

type Rep ( TxIn crypto)
Instance details

Defined in Cardano.Ledger.TxIn

data Addr crypto 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
Eq ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Ord ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Show ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Generic ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep ( Addr crypto) :: Type -> Type Source #

Methods

from :: Addr crypto -> Rep ( Addr crypto) x Source #

to :: Rep ( Addr crypto) x -> Addr crypto Source #

NFData ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Methods

rnf :: Addr crypto -> () Source #

ToJSON ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

ToJSONKey ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => FromJSON ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => FromJSONKey ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => ToCBOR ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => FromCBOR ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

NoThunks ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

type Rep ( Addr crypto)
Instance details

Defined in Cardano.Ledger.Address

data RewardAcnt crypto Source #

An account based address for rewards

Instances

Instances details
Eq ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Ord ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Show ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Generic ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep ( RewardAcnt crypto) :: Type -> Type Source #

NFData ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Methods

rnf :: RewardAcnt crypto -> () Source #

Crypto crypto => ToJSON ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => ToJSONKey ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => FromJSON ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => FromJSONKey ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => ToCBOR ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => FromCBOR ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

Crypto crypto => Default ( RewardAcnt crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardProvenance

NoThunks ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

type Rep ( RewardAcnt crypto)
Instance details

Defined in Cardano.Ledger.Address

type Rep ( RewardAcnt crypto) = D1 (' MetaData "RewardAcnt" "Cardano.Ledger.Address" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "RewardAcnt" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getRwdNetwork") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Network ) :*: S1 (' MetaSel (' Just "getRwdCred") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Credential ' Staking crypto))))

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 Credential (kr :: KeyRole ) crypto 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.

Constructors

ScriptHashObj !( ScriptHash crypto)
KeyHashObj !( KeyHash kr crypto)

Instances

Instances details
HasKeyRole Credential
Instance details

Defined in Cardano.Ledger.Credential

Methods

coerceKeyRole :: forall (r :: KeyRole ) crypto (r' :: KeyRole ). Credential r crypto -> Credential r' crypto Source #

HasExp ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Embed ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Ord ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Show ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Generic ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep ( Credential kr crypto) :: Type -> Type Source #

NFData ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnf :: Credential kr crypto -> () Source #

Crypto crypto => ToJSON ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Crypto crypto => ToJSONKey ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Crypto crypto => FromJSON ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Crypto crypto => FromJSONKey ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

( Typeable kr, Crypto crypto) => ToCBOR ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

( Typeable kr, Crypto crypto) => FromCBOR ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

Crypto e => Default ( Credential r e) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardProvenance

NoThunks ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

type Rep ( Credential kr crypto)
Instance details

Defined in Cardano.Ledger.Credential

type Rep ( Credential kr crypto) = D1 (' MetaData "Credential" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "ScriptHashObj" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ScriptHash crypto))) :+: C1 (' MetaCons "KeyHashObj" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash kr crypto))))

data StakeReference crypto Source #

Instances

Instances details
Eq ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

Ord ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

Show ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

Generic ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep ( StakeReference crypto) :: Type -> Type Source #

NFData ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

NoThunks ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

type Rep ( StakeReference crypto)
Instance details

Defined in Cardano.Ledger.Credential

data Ptr Source #

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

Instances

Instances details
Eq Ptr
Instance details

Defined in Cardano.Ledger.Credential

Ord Ptr
Instance details

Defined in Cardano.Ledger.Credential

Show Ptr
Instance details

Defined in Cardano.Ledger.Credential

Generic Ptr
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep Ptr :: Type -> Type Source #

NFData Ptr
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnf :: Ptr -> () Source #

ToCBOR Ptr
Instance details

Defined in Cardano.Ledger.Credential

FromCBOR Ptr
Instance details

Defined in Cardano.Ledger.Credential

ToCBORGroup Ptr
Instance details

Defined in Cardano.Ledger.Credential

FromCBORGroup Ptr
Instance details

Defined in Cardano.Ledger.Credential

NoThunks Ptr
Instance details

Defined in Cardano.Ledger.Credential

type Rep Ptr
Instance details

Defined in Cardano.Ledger.Credential

data ProtVer Source #

Instances

Instances details
Eq ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

Ord ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

Show ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

NFData ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

FromJSON ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBOR ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBORGroup ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBORGroup ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

HasField "_protocolVersion" ( FreeVars crypto) ProtVer Source #

FreeVars can act as a Proxy for PParams when only the protocol version is needed.

Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

HasField "_protocolVersion" ( RewardSnapShot crypto) ProtVer Source #

RewardSnapShot can act as a Proxy for PParams when only the protocol version is needed.

Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep ProtVer
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ProtVer = D1 (' MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "ProtVer" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "pvMajor") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Just "pvMinor") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural )))

data Nonce Source #

Evolving nonce type.

Instances

Instances details
Eq Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

Ord Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

Show Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

NFData Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

FromJSON Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBOR Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce = D1 (' MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Nonce" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash Blake2b_256 Nonce ))) :+: C1 (' MetaCons "NeutralNonce" ' PrefixI ' False ) ( U1 :: Type -> Type ))

newtype Port Source #

Constructors

Port

Instances

Instances details
Eq Port
Instance details

Defined in Cardano.Ledger.BaseTypes

Num Port
Instance details

Defined in Cardano.Ledger.BaseTypes

Ord Port
Instance details

Defined in Cardano.Ledger.BaseTypes

Show Port
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic Port
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Port :: Type -> Type Source #

NFData Port
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Port
Instance details

Defined in Cardano.Ledger.BaseTypes

FromJSON Port
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR Port
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBOR Port
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks Port
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Port
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Port = D1 (' MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "Port" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "portToWord16") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word16 )))

data Globals Source #

Constructors

Globals

Fields

Instances

Instances details
Show Globals
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic Globals
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks Globals
Instance details

Defined in Cardano.Ledger.BaseTypes

NFData ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: Pulser c -> () Source #

Crypto c => ToCBOR ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Crypto c => FromCBOR ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Typeable c => NoThunks ( Pulser c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep Globals
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Globals = D1 (' MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Globals" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "epochInfo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( EpochInfo ( Either Text ))) :*: ( S1 (' MetaSel (' Just "slotsPerKESPeriod") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Just "stabilityWindow") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 ))) :*: ( S1 (' MetaSel (' Just "randomnessStabilisationWindow") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 ) :*: ( S1 (' MetaSel (' Just "securityParameter") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Just "maxKESEvo") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 )))) :*: (( S1 (' MetaSel (' Just "quorum") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 ) :*: ( S1 (' MetaSel (' Just "maxMajorPV") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Just "maxLovelaceSupply") ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 Word64 ))) :*: ( S1 (' MetaSel (' Just "activeSlotCoeff") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ActiveSlotCoeff ) :*: ( S1 (' MetaSel (' Just "networkId") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Network ) :*: S1 (' MetaSel (' Just "systemStart") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SystemStart ))))))

data Network Source #

Constructors

Testnet
Mainnet

Instances

Instances details
Bounded Network
Instance details

Defined in Cardano.Ledger.BaseTypes

Enum Network
Instance details

Defined in Cardano.Ledger.BaseTypes

Eq Network
Instance details

Defined in Cardano.Ledger.BaseTypes

Ord Network
Instance details

Defined in Cardano.Ledger.BaseTypes

Show Network
Instance details

Defined in Cardano.Ledger.BaseTypes

Generic Network
Instance details

Defined in Cardano.Ledger.BaseTypes

NFData Network
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Network
Instance details

Defined in Cardano.Ledger.BaseTypes

FromJSON Network
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR Network
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBOR Network
Instance details

Defined in Cardano.Ledger.BaseTypes

Default Network Source #
Instance details

Defined in Cardano.Ledger.Shelley.Orphans

NoThunks Network
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Network
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Network = D1 (' MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Testnet" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "Mainnet" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data TxIx Source #

Transaction index.

Instances

Instances details
Bounded TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Enum TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Eq TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Ord TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Show TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

NFData TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBOR TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks TxIx
Instance details

Defined in Cardano.Ledger.BaseTypes

data CertIx Source #

Certificate index. Use certIxFromIntegral in order to construct this index safely from anything other than Word16 . There is also mkCertIxPartial that can be used for testing.

Instances

Instances details
Bounded CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Enum CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Eq CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Ord CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

Show CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

NFData CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

ToCBOR CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

FromCBOR CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

NoThunks CertIx
Instance details

Defined in Cardano.Ledger.BaseTypes

newtype PoolDistr crypto Source #

A map of stake pool IDs (the hash of the stake pool operator's verification key) to IndividualPoolStake .

Instances

Instances details
Eq ( PoolDistr crypto)
Instance details

Defined in Cardano.Ledger.PoolDistr

Show ( PoolDistr crypto)
Instance details

Defined in Cardano.Ledger.PoolDistr

NFData ( PoolDistr crypto)
Instance details

Defined in Cardano.Ledger.PoolDistr

Methods

rnf :: PoolDistr crypto -> () Source #

Crypto crypto => ToCBOR ( PoolDistr crypto)
Instance details

Defined in Cardano.Ledger.PoolDistr

Crypto crypto => FromCBOR ( PoolDistr crypto)
Instance details

Defined in Cardano.Ledger.PoolDistr

NoThunks ( PoolDistr crypto)
Instance details

Defined in Cardano.Ledger.PoolDistr

HasExp ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto))
Instance details

Defined in Cardano.Ledger.PoolDistr

Embed ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto))

We can Embed a Newtype around a Map (or other Iterable type) and then use it in a set expression.

Instance details

Defined in Cardano.Ledger.PoolDistr

hashKey :: forall crypto (kd :: KeyRole ). Crypto crypto => VKey kd crypto -> KeyHash kd crypto Source #

Hash a given public key

data KeyRole Source #

The role of a key.

Note that a role is not _fixed_, nor is it unique. In particular, keys may variously be used as witnesses, and so in many case we will change the role of a key to the Witness role.

It is also perfectly allowable for a key to be used in many roles; there is nothing prohibiting somebody using the same underlying key as their payment and staking key, as well as the key for their stake pool. So these roles are more intended for two purposes:

  • To make explicit how we are using a key in the specifications
  • To provide a guide to downstream implementors, for whom the profusion of keys may be confusing.

coerceKeyRole :: forall (r :: KeyRole ) crypto (r' :: KeyRole ). HasKeyRole a => a r crypto -> a r' crypto Source #

General coercion of key roles.

The presence of this function is mostly to help the user realise where they are converting key roles.

newtype VKey (kd :: KeyRole ) crypto Source #

Discriminated verification key

We wrap the basic VerKeyDSIGN in order to add the key role.

Constructors

VKey

Instances

Instances details
HasKeyRole VKey
Instance details

Defined in Cardano.Ledger.Keys

Methods

coerceKeyRole :: forall (r :: KeyRole ) crypto (r' :: KeyRole ). VKey r crypto -> VKey r' crypto Source #

Crypto crypto => Eq ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

(==) :: VKey kd crypto -> VKey kd crypto -> Bool Source #

(/=) :: VKey kd crypto -> VKey kd crypto -> Bool Source #

Crypto crypto => Show ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Generic ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Associated Types

type Rep ( VKey kd crypto) :: Type -> Type Source #

Methods

from :: VKey kd crypto -> Rep ( VKey kd crypto) x Source #

to :: Rep ( VKey kd crypto) x -> VKey kd crypto Source #

( Crypto crypto, NFData ( VerKeyDSIGN ( DSIGN crypto))) => NFData ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

rnf :: VKey kd crypto -> () Source #

( Crypto crypto, Typeable kd) => ToCBOR ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

( Crypto crypto, Typeable kd) => FromCBOR ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => NoThunks ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( VKey kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( VKey kd crypto) = D1 (' MetaData "VKey" "Cardano.Ledger.Keys" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "VKey" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unVKey") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VerKeyDSIGN ( DSIGN crypto)))))

data KeyPair (kd :: KeyRole ) crypto Source #

Pair of signing key and verification key, with a usage role.

Constructors

KeyPair

Fields

Instances

Instances details
HasKeyRole KeyPair
Instance details

Defined in Cardano.Ledger.Keys

Methods

coerceKeyRole :: forall (r :: KeyRole ) crypto (r' :: KeyRole ). KeyPair r crypto -> KeyPair r' crypto Source #

Crypto crypto => Show ( KeyPair kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Generic ( KeyPair kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Associated Types

type Rep ( KeyPair kd crypto) :: Type -> Type Source #

Methods

from :: KeyPair kd crypto -> Rep ( KeyPair kd crypto) x Source #

to :: Rep ( KeyPair kd crypto) x -> KeyPair kd crypto Source #

( Crypto crypto, NFData ( VerKeyDSIGN ( DSIGN crypto)), NFData ( SignKeyDSIGN ( DSIGN crypto))) => NFData ( KeyPair kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

rnf :: KeyPair kd crypto -> () Source #

Crypto crypto => NoThunks ( KeyPair kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( KeyPair kd crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( KeyPair kd crypto) = D1 (' MetaData "KeyPair" "Cardano.Ledger.Keys" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "KeyPair" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "vKey") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VKey kd crypto)) :*: S1 (' MetaSel (' Just "sKey") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SignKeyDSIGN ( DSIGN crypto)))))

newtype KeyHash (discriminator :: KeyRole ) crypto Source #

Discriminated hash of public Key

Constructors

KeyHash ( Hash ( ADDRHASH crypto) ( VerKeyDSIGN ( DSIGN crypto)))

Instances

Instances details
HasKeyRole KeyHash
Instance details

Defined in Cardano.Ledger.Keys

Methods

coerceKeyRole :: forall (r :: KeyRole ) crypto (r' :: KeyRole ). KeyHash r crypto -> KeyHash r' crypto Source #

HasExp ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto))
Instance details

Defined in Cardano.Ledger.PoolDistr

Embed ( PoolDistr crypto) ( Map ( KeyHash ' StakePool crypto) ( IndividualPoolStake crypto))

We can Embed a Newtype around a Map (or other Iterable type) and then use it in a set expression.

Instance details

Defined in Cardano.Ledger.PoolDistr

Eq ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

(==) :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Bool Source #

(/=) :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Bool Source #

Ord ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

compare :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Ordering Source #

(<) :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Bool Source #

(<=) :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Bool Source #

(>) :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Bool Source #

(>=) :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> Bool Source #

max :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> KeyHash discriminator crypto Source #

min :: KeyHash discriminator crypto -> KeyHash discriminator crypto -> KeyHash discriminator crypto Source #

Show ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

showsPrec :: Int -> KeyHash discriminator crypto -> ShowS Source #

show :: KeyHash discriminator crypto -> String Source #

showList :: [ KeyHash discriminator crypto] -> ShowS Source #

Generic ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

Associated Types

type Rep ( KeyHash discriminator crypto) :: Type -> Type Source #

Methods

from :: KeyHash discriminator crypto -> Rep ( KeyHash discriminator crypto) x Source #

to :: Rep ( KeyHash discriminator crypto) x -> KeyHash discriminator crypto Source #

NFData ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

rnf :: KeyHash discriminator crypto -> () Source #

Crypto crypto => ToJSON ( KeyHash disc crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => ToJSONKey ( KeyHash disc crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => FromJSON ( KeyHash disc crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => FromJSONKey ( KeyHash disc crypto)
Instance details

Defined in Cardano.Ledger.Keys

( Crypto crypto, Typeable disc) => ToCBOR ( KeyHash disc crypto)
Instance details

Defined in Cardano.Ledger.Keys

( Crypto crypto, Typeable disc) => FromCBOR ( KeyHash disc crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto b => Default ( KeyHash a b) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Orphans

NoThunks ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( KeyHash discriminator crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( KeyHash discriminator crypto) = Rep ( Hash ( ADDRHASH crypto) ( VerKeyDSIGN ( DSIGN crypto)))

data GenDelegPair crypto Source #

Instances

Instances details
Eq ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Ord ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Show ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Generic ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Associated Types

type Rep ( GenDelegPair crypto) :: Type -> Type Source #

NFData ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

rnf :: GenDelegPair crypto -> () Source #

Crypto crypto => ToJSON ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => FromJSON ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => ToCBOR ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => FromCBOR ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

NoThunks ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( GenDelegPair crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( GenDelegPair crypto) = D1 (' MetaData "GenDelegPair" "Cardano.Ledger.Keys" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "GenDelegPair" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "genDelegKeyHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' GenesisDelegate crypto)) :*: S1 (' MetaSel (' Just "genDelegVrfHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto)))))

newtype GenDelegs crypto Source #

Instances

Instances details
Eq ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

Show ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

Generic ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

Associated Types

type Rep ( GenDelegs crypto) :: Type -> Type Source #

NFData ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

Methods

rnf :: GenDelegs crypto -> () Source #

Crypto crypto => ToCBOR ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

Crypto crypto => FromCBOR ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

NoThunks ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( GenDelegs crypto)
Instance details

Defined in Cardano.Ledger.Keys

type Rep ( GenDelegs crypto) = D1 (' MetaData "GenDelegs" "Cardano.Ledger.Keys" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "GenDelegs" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unGenDelegs") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( KeyHash ' Genesis crypto) ( GenDelegPair crypto)))))

newtype ScriptHash crypto Source #

Instances

Instances details
c ~ Crypto era => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( WitnessSet era) ( Map ( ScriptHash c) script) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( Tx era) ( Map ( ScriptHash c) script) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Eq ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Ord ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Show ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Generic ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep ( ScriptHash crypto) :: Type -> Type Source #

NFData ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnf :: ScriptHash crypto -> () Source #

Crypto crypto => ToJSON ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Crypto crypto => FromJSON ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Crypto crypto => ToCBOR ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

Crypto crypto => FromCBOR ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

NoThunks ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

type Rep ( ScriptHash crypto)
Instance details

Defined in Cardano.Ledger.Hashes

type Rep ( ScriptHash crypto) = D1 (' MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "ScriptHash" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash ( ADDRHASH crypto) EraIndependentScript ))))

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin

Instances

Instances details
Enum Coin
Instance details

Defined in Cardano.Ledger.Coin

Eq Coin
Instance details

Defined in Cardano.Ledger.Coin

Ord Coin
Instance details

Defined in Cardano.Ledger.Coin

Show Coin
Instance details

Defined in Cardano.Ledger.Coin

Generic Coin
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep Coin :: Type -> Type Source #

Semigroup Coin
Instance details

Defined in Cardano.Ledger.Coin

Monoid Coin
Instance details

Defined in Cardano.Ledger.Coin

NFData Coin
Instance details

Defined in Cardano.Ledger.Coin

ToJSON Coin
Instance details

Defined in Cardano.Ledger.Coin

FromJSON Coin
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR Coin
Instance details

Defined in Cardano.Ledger.Coin

FromCBOR Coin
Instance details

Defined in Cardano.Ledger.Coin

Val Coin
Instance details

Defined in Cardano.Ledger.Val

DecodeNonNegative Coin
Instance details

Defined in Cardano.Ledger.Val

DecodeMint Coin
Instance details

Defined in Cardano.Ledger.Val

EncodeMint Coin
Instance details

Defined in Cardano.Ledger.Val

Compactible Coin
Instance details

Defined in Cardano.Ledger.Coin

HeapWords Coin
Instance details

Defined in Cardano.Ledger.Coin

Group Coin
Instance details

Defined in Cardano.Ledger.Coin

Abelian Coin
Instance details

Defined in Cardano.Ledger.Coin

NoThunks Coin
Instance details

Defined in Cardano.Ledger.Coin

PartialOrd Coin
Instance details

Defined in Cardano.Ledger.Coin

HasField "txfee" ( TxBody era) Coin Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq ( CompactForm Coin )
Instance details

Defined in Cardano.Ledger.Coin

Show ( CompactForm Coin )
Instance details

Defined in Cardano.Ledger.Coin

NFData ( CompactForm Coin )
Instance details

Defined in Cardano.Ledger.Coin

ToCBOR ( CompactForm Coin )
Instance details

Defined in Cardano.Ledger.Coin

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

type Rep Coin
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 (' MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 BootstrapWitness crypto where Source #

Instances

Instances details
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Crypto crypto => Eq ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Crypto crypto => Ord ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Crypto crypto => Show ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Generic ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Associated Types

type Rep ( BootstrapWitness crypto) :: Type -> Type Source #

( Crypto era, NFData ( VerKeyDSIGN ( DSIGN era)), NFData ( SigDSIGN ( DSIGN era))) => NFData ( BootstrapWitness era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Crypto crypto => ToCBOR ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Crypto crypto => FromCBOR ( Annotator ( BootstrapWitness crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

Crypto crypto => NoThunks ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

type Rep ( BootstrapWitness crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Address.Bootstrap

data Metadata era where Source #

Bundled Patterns

pattern Metadata :: Map Word64 Metadatum -> Metadata era

Instances

Instances details
Eq ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Ord ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Show ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Generic ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Associated Types

type Rep ( Metadata era) :: Type -> Type Source #

NFData ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Methods

rnf :: Metadata era -> () Source #

Typeable era => ToCBOR ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Typeable era => FromCBOR ( Annotator ( Metadata era)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

SafeToHash ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Typeable era => NoThunks ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

c ~ Crypto era => HashAnnotated ( Metadata era) EraIndependentAuxiliaryData c Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

type Rep ( Metadata era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

type Rep ( Metadata era) = D1 (' MetaData "Metadata" "Cardano.Ledger.Shelley.Metadata" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "Metadata'" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mdMap") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map Word64 Metadatum )) :*: S1 (' MetaSel (' Just "mdBytes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ByteString )))

data Metadatum Source #

A generic metadatum type.

Instances

Instances details
Eq Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Ord Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Show Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

Generic Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

NFData Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

ToCBOR Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

FromCBOR Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

NoThunks Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

type Rep Metadatum Source #
Instance details

Defined in Cardano.Ledger.Shelley.Metadata

newtype ProposedPPUpdates era Source #

Update operation for protocol parameters structure @PParams

Instances

Instances details
Eq ( PParamsDelta era) => Eq ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show ( PParamsDelta era) => Show ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Generic ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NFData ( PParamsDelta era) => NFData ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

( Era era, ToCBOR ( PParamsDelta era)) => ToCBOR ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

( Era era, FromCBOR ( PParamsDelta era)) => FromCBOR ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks ( PParamsDelta era) => NoThunks ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep ( ProposedPPUpdates era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep ( ProposedPPUpdates era) = D1 (' MetaData "ProposedPPUpdates" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "ProposedPPUpdates" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( KeyHash ' Genesis ( Crypto era)) ( PParamsDelta era)))))

data Update era Source #

Update Proposal

Instances

Instances details
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq ( PParamsDelta era) => Eq ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show ( PParamsDelta era) => Show ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Generic ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type Rep ( Update era) :: Type -> Type Source #

NFData ( PParamsDelta era) => NFData ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnf :: Update era -> () Source #

( Era era, ToCBOR ( PParamsDelta era)) => ToCBOR ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

( Era era, FromCBOR ( PParamsDelta era)) => FromCBOR ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks ( PParamsDelta era) => NoThunks ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep ( Update era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

data PParams' f era Source #

Protocol parameters.

We use the HKD type family so that the protocol parameters type and the type for the updates to the protocol parameters can share records fields. The protocol parameters will have type PParams' Identity , and the updates will have type PParams' StrictMaybe , though Identity will be hidden from use.

For example:

  myParameters =
    PParams
      { _minfeeA = 0,
        _minfeeB = 0,
        ...
      }

  myUpdate =
    PParamsUpdate
      { _minfeeA = SNothing,
        _minfeeB = SJust 42,
        ...
      }

Constructors

PParams

Fields

Instances

Instances details
ToJSON ( PParams era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

FromJSON ( PParams era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era => ToCBOR ( PParamsUpdate era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era => ToCBOR ( PParams era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era => FromCBOR ( PParamsUpdate era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Era era => FromCBOR ( PParams era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Default ( PParams era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks ( PParamsUpdate era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks ( PParams era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Eq ( PParams' Identity era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Eq ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Ord ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show ( PParams' Identity era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Show ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Generic ( PParams' f era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type Rep ( PParams' f era) :: Type -> Type Source #

NFData ( PParams' Identity era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NFData ( PParams' StrictMaybe era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep ( PParams' f era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep ( PParams' f era) = D1 (' MetaData "PParams'" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "PParams" ' PrefixI ' True ) (((( S1 (' MetaSel (' Just "_minfeeA") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Natural )) :*: S1 (' MetaSel (' Just "_minfeeB") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Natural ))) :*: ( S1 (' MetaSel (' Just "_maxBBSize") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Natural )) :*: S1 (' MetaSel (' Just "_maxTxSize") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Natural )))) :*: (( S1 (' MetaSel (' Just "_maxBHSize") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Natural )) :*: S1 (' MetaSel (' Just "_keyDeposit") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Coin ))) :*: ( S1 (' MetaSel (' Just "_poolDeposit") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Coin )) :*: S1 (' MetaSel (' Just "_eMax") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f EpochNo ))))) :*: ((( S1 (' MetaSel (' Just "_nOpt") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Natural )) :*: S1 (' MetaSel (' Just "_a0") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f NonNegativeInterval ))) :*: ( S1 (' MetaSel (' Just "_rho") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f UnitInterval )) :*: S1 (' MetaSel (' Just "_tau") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f UnitInterval )))) :*: (( S1 (' MetaSel (' Just "_d") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f UnitInterval )) :*: S1 (' MetaSel (' Just "_extraEntropy") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Nonce ))) :*: ( S1 (' MetaSel (' Just "_protocolVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f ProtVer )) :*: ( S1 (' MetaSel (' Just "_minUTxOValue") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Coin )) :*: S1 (' MetaSel (' Just "_minPoolCost") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HKD f Coin ))))))))

data MultiSig crypto where Source #

Bundled Patterns

pattern RequireMOf :: Crypto crypto => Int -> [ MultiSig crypto] -> MultiSig crypto
pattern RequireSignature :: Crypto crypto => KeyHash ' Witness crypto -> MultiSig crypto
pattern RequireAllOf :: Crypto crypto => [ MultiSig crypto] -> MultiSig crypto
pattern RequireAnyOf :: Crypto crypto => [ MultiSig crypto] -> MultiSig crypto

Instances

Instances details
Eq ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Ord ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Show ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Generic ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Rep ( MultiSig crypto) :: Type -> Type Source #

NFData ( MultiSig era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

rnf :: MultiSig era -> () Source #

Typeable crypto => ToCBOR ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Crypto crypto => FromCBOR ( Annotator ( MultiSig crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

SafeToHash ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Typeable crypto => NoThunks ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Rep ( MultiSig crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Rep ( MultiSig crypto)

computeStabilityWindow :: Word64 -> ActiveSlotCoeff -> Word64 Source #

Calculate the stability window (e.g. the number of slots needed for a block to become stable) from the security param and the active slot coefficient.

The value 3k/f is determined to be a suitabe value as per https://docs.google.com/document/d/1B8BNMx8jVWRjYiUBOaI3jfZ7dQNvNTSDODvT5iOuYCU/edit#heading=h.qh2zcajmu6hm

computeRandomnessStabilisationWindow :: Word64 -> ActiveSlotCoeff -> Word64 Source #

Calculate the randomness stabilisation window from the security param and the active slot coefficient.

The value 4k/f is determined to be a suitabe value as per https://docs.google.com/document/d/1B8BNMx8jVWRjYiUBOaI3jfZ7dQNvNTSDODvT5iOuYCU/edit#heading=h.qh2zcajmu6hm

newtype StakeCreds crypto Source #

Instances

Instances details
Eq ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( StakeCreds crypto) :: Type -> Type Source #

NFData ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: StakeCreds crypto -> () Source #

Crypto crypto => ToJSON ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromJSON ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => ToCBOR ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBOR ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HasExp ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Embed ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( StakeCreds crypto) = D1 (' MetaData "StakeCreds" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "StakeCreds" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unStakeCreds") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( Credential ' Staking crypto) SlotNo ))))

data WitVKey kr crypto where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey :: ( Typeable kr, Crypto crypto) => VKey kr crypto -> SignedDSIGN crypto ( Hash crypto EraIndependentTxBody ) -> WitVKey kr crypto

Instances

Instances details
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( WitnessSet era) ( Set ( WitVKey ' Witness c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Typeable kr, Crypto crypto) => FromCBOR ( Annotator ( WitVKey kr crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => Eq ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source #

(/=) :: WitVKey kr crypto -> WitVKey kr crypto -> Bool Source #

( Typeable kr, Crypto crypto) => Ord ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => Show ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( WitVKey kr crypto) :: Type -> Type Source #

Methods

from :: WitVKey kr crypto -> Rep ( WitVKey kr crypto) x Source #

to :: Rep ( WitVKey kr crypto) x -> WitVKey kr crypto Source #

NFData ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: WitVKey kr crypto -> () Source #

( Typeable kr, Crypto crypto) => ToCBOR ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Crypto crypto, Typeable kr) => NoThunks ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( WitVKey kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody era Source #

Instances

Instances details
HasField "ttl" ( TxBody era) SlotNo Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HasField "txfee" ( TxBody era) Coin Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

c ~ Crypto era => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

TxOut era ~ out => HasField "outputs" ( TxBody era) ( StrictSeq out) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

c ~ Crypto era => HasField "txinputs_fee" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, TransTxBody Eq era) => Eq ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, TransTxBody Show era) => Show ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( TxBody era) :: Type -> Type Source #

( NFData ( TxOut era), Crypto ( Crypto era), NFData ( PParamsDelta era)) => NFData ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: TxBody era -> () Source #

Era era => ToCBOR ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, FromCBOR ( TxOut era), FromCBOR ( PParamsDelta era), ToCBOR ( PParamsDelta era)) => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

SafeToHash ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( TransTxBody NoThunks era, Typeable era) => NoThunks ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, c ~ Crypto era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( TxBody era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( TxBody era) = D1 (' MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "TxBodyConstr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MemoBytes ( TxBodyRaw era)))))

data DCert crypto Source #

A heavyweight certificate.

Instances

Instances details
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( DCert crypto) :: Type -> Type Source #

Methods

from :: DCert crypto -> Rep ( DCert crypto) x Source #

to :: Rep ( DCert crypto) x -> DCert crypto Source #

NFData ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: DCert crypto -> () Source #

Crypto crypto => ToCBOR ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBOR ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data MIRCert crypto Source #

Move instantaneous rewards certificate

Instances

Instances details
Eq ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( MIRCert crypto) :: Type -> Type Source #

NFData ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: MIRCert crypto -> () Source #

Crypto crypto => ToCBOR ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBOR ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( MIRCert crypto) = D1 (' MetaData "MIRCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "MIRCert" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mirPot") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 MIRPot ) :*: S1 (' MetaSel (' Just "mirRewards") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MIRTarget crypto))))

data MIRTarget crypto Source #

MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.

Instances

Instances details
Eq ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( MIRTarget crypto) :: Type -> Type Source #

NFData ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: MIRTarget crypto -> () Source #

Crypto crypto => ToCBOR ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBOR ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( MIRTarget crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data MIRPot Source #

Instances

Instances details
Bounded MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Enum MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Ord MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToCBOR MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

FromCBOR MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep MIRPot Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep MIRPot = D1 (' MetaData "MIRPot" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "ReservesMIR" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "TreasuryMIR" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data GenesisDelegCert crypto Source #

Genesis key delegation certificate

Constructors

GenesisDelegCert !( KeyHash ' Genesis crypto) !( KeyHash ' GenesisDelegate crypto) !( Hash crypto ( VerKeyVRF crypto))

Instances

Instances details
Eq ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( GenesisDelegCert crypto) :: Type -> Type Source #

NFData ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data PoolCert crypto Source #

Constructors

RegPool !( PoolParams crypto)

A stake pool registration certificate.

RetirePool !( KeyHash ' StakePool crypto) ! EpochNo

A stake pool retirement certificate.

Instances

Instances details
Eq ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( PoolCert crypto) :: Type -> Type Source #

NFData ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: PoolCert crypto -> () Source #

NoThunks ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data DelegCert crypto Source #

Constructors

RegKey !( StakeCredential crypto)

A stake key registration certificate.

DeRegKey !( StakeCredential crypto)

A stake key deregistration certificate.

Delegate !( Delegation crypto)

A stake delegation certificate.

Instances

Instances details
Eq ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( DelegCert crypto) :: Type -> Type Source #

NFData ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: DelegCert crypto -> () Source #

NoThunks ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data TxOut era Source #

The output of a UTxO.

Bundled Patterns

pattern TxOut :: ( Era era, Show ( Value era), Compactible ( Value era)) => Addr ( Crypto era) -> Value era -> TxOut era

Instances

Instances details
( Compactible v, v ~ Value era) => HasField "value" ( TxOut era) v Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

TransTxOut Eq era => Eq ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( TransTxOut Show era, Era era) => Show ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: TxOut era -> () Source #

( Era era, TransTxOut ToCBOR era) => ToCBOR ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Share ( TxOut era) Source #

( Crypto ( Crypto era), HeapWords ( CompactForm ( Value era))) => HeapWords ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Share ( TxOut era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype Wdrl crypto Source #

Constructors

Wdrl

Instances

Instances details
Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Eq ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( Wdrl crypto) :: Type -> Type Source #

Methods

from :: Wdrl crypto -> Rep ( Wdrl crypto) x Source #

to :: Rep ( Wdrl crypto) x -> Wdrl crypto Source #

NFData ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: Wdrl crypto -> () Source #

Crypto crypto => ToCBOR ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBOR ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( Wdrl crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( Wdrl crypto) = D1 (' MetaData "Wdrl" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "Wdrl" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unWdrl") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( RewardAcnt crypto) Coin ))))

data PoolParams crypto Source #

A stake pool.

Instances

Instances details
Eq ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Ord ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( PoolParams crypto) :: Type -> Type Source #

NFData ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: PoolParams crypto -> () Source #

Crypto crypto => ToJSON ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromJSON ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => ToCBOR ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBOR ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => ToCBORGroup ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => FromCBORGroup ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Crypto crypto => Default ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardProvenance

NoThunks ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( PoolParams crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data StakePoolRelay Source #

Instances

Instances details
Eq StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Ord StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToJSON StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

FromJSON StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToCBOR StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

FromCBOR StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep StakePoolRelay Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

data PoolMetadata Source #

Instances

Instances details
Eq PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Ord PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NFData PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToJSON PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

FromJSON PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToCBOR PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

FromCBOR PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

NoThunks PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep PoolMetadata Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep PoolMetadata = D1 (' MetaData "PoolMetadata" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "PoolMetadata" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_poolMDUrl") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Url ) :*: S1 (' MetaSel (' Just "_poolMDHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByteString )))

data Delegation crypto Source #

The delegation of one stake key to another.

Instances

Instances details
Eq ( Delegation crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Show ( Delegation crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Generic ( Delegation crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( Delegation crypto) :: Type -> Type Source #

NFData ( Delegation crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: Delegation crypto -> () Source #

NoThunks ( Delegation crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( Delegation crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( Delegation crypto) = D1 (' MetaData "Delegation" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "Delegation" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_delegator") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto)) :*: S1 (' MetaSel (' Just "_delegatee") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto))))

data Tx era where Source #

Instances

Instances details
body ~ TxBody era => HasField "body" ( Tx era) body Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

getField :: Tx era -> body Source #

HasField "txsize" ( Tx era) Integer Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

wits ~ Witnesses era => HasField "wits" ( Tx era) wits Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

getField :: Tx era -> wits Source #

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

aux ~ AuxiliaryData era => HasField "auxiliaryData" ( Tx era) ( StrictMaybe aux) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( Tx era) ( Map ( ScriptHash c) script) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Eq ( Tx era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Era era, Show ( AuxiliaryData era), Show ( TxBody era), Show ( Witnesses era)) => Show ( Tx era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( NFData ( TxBody era), NFData ( Witnesses era), NFData ( AuxiliaryData era)) => NFData ( Tx era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf :: Tx era -> () Source #

Typeable era => ToCBOR ( Tx era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Era era, FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era))) => FromCBOR ( Annotator ( Tx era)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

SafeToHash ( Tx era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

( Era era, NoThunks ( AuxiliaryData era), NoThunks ( TxBody era), NoThunks ( Witnesses era)) => NoThunks ( Tx era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Tx

bbHash :: forall era. Era era => TxSeq era -> Hash ( Crypto era) EraIndependentBlockBody Source #

Hash a given block body

data SnapShots crypto Source #

Snapshots of the stake distribution.

Instances

Instances details
Eq ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Show ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Generic ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Rep ( SnapShots crypto) :: Type -> Type Source #

NFData ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

rnf :: SnapShots crypto -> () Source #

Crypto crypto => ToCBOR ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Crypto crypto => FromSharedCBOR ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Share ( SnapShots crypto) Source #

Default ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Typeable crypto => NoThunks ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Share ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Share ( SnapShots crypto) = Share ( SnapShot crypto)

data SnapShot crypto Source #

Snapshot of the stake distribution.

Instances

Instances details
Eq ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Show ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Generic ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Rep ( SnapShot crypto) :: Type -> Type Source #

NFData ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

rnf :: SnapShot crypto -> () Source #

Crypto crypto => ToCBOR ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Crypto crypto => FromSharedCBOR ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Share ( SnapShot crypto) Source #

Typeable crypto => NoThunks ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Share ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

newtype Stake crypto Source #

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

Instances

Instances details
Eq ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Show ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Generic ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Rep ( Stake crypto) :: Type -> Type Source #

Methods

from :: Stake crypto -> Rep ( Stake crypto) x Source #

to :: Rep ( Stake crypto) x -> Stake crypto Source #

NFData ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

rnf :: Stake crypto -> () Source #

Crypto crypto => ToCBOR ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Crypto crypto => FromSharedCBOR ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Share ( Stake crypto) Source #

Typeable crypto => NoThunks ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( Stake crypto) = D1 (' MetaData "Stake" "Cardano.Ledger.Shelley.EpochBoundary" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "Stake" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unStake") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VMap VB VP ( Credential ' Staking crypto) ( CompactForm Coin )))))
type Share ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

data NonMyopic crypto Source #

Instances

Instances details
Eq ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

Show ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

Generic ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

Associated Types

type Rep ( NonMyopic crypto) :: Type -> Type Source #

NFData ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

Methods

rnf :: NonMyopic crypto -> () Source #

Crypto crypto => ToCBOR ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

Crypto crypto => FromSharedCBOR ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

Associated Types

type Share ( NonMyopic crypto) Source #

Default ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

NoThunks ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

type Rep ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

type Rep ( NonMyopic crypto) = D1 (' MetaData "NonMyopic" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "NonMyopic" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "likelihoodsNM") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' StakePool crypto) Likelihood )) :*: S1 (' MetaSel (' Just "rewardPotNM") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin )))
type Share ( NonMyopic crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.PoolRank

data RewardUpdate crypto Source #

The ultiate goal of a reward update computation. Aggregating rewards for each staking credential.

Instances

Instances details
Eq ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Show ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Generic ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep ( RewardUpdate crypto) :: Type -> Type Source #

NFData ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnf :: RewardUpdate crypto -> () Source #

Crypto crypto => ToCBOR ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Crypto crypto => FromCBOR ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

NoThunks ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep ( RewardUpdate crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

newtype UTxO era Source #

The unspent transaction outputs.

Constructors

UTxO

Fields

Instances

Instances details
( Eq ( TxOut era), Crypto ( Crypto era)) => Eq ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

( Show ( TxOut era), Crypto ( Crypto era)) => Show ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Generic ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type Rep ( UTxO era) :: Type -> Type Source #

Semigroup ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Crypto ( Crypto era) => Monoid ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

( Era era, NFData ( TxOut era)) => NFData ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Methods

rnf :: UTxO era -> () Source #

( Era era, ToCBOR ( TxOut era)) => ToCBOR ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

( FromCBOR ( TxOut era), Era era) => FromCBOR ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

( Crypto ( Crypto era), FromSharedCBOR ( TxOut era), Share ( TxOut era) ~ Interns ( Credential ' Staking ( Crypto era))) => FromSharedCBOR ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type Share ( UTxO era) Source #

Default ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

TransUTxO NoThunks era => NoThunks ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type Rep ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

type Rep ( UTxO era) = D1 (' MetaData "UTxO" "Cardano.Ledger.Shelley.UTxO" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "UTxO" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unUTxO") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( TxIn ( Crypto era)) ( TxOut era)))))
type Share ( UTxO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

balance :: forall era. Era era => UTxO era -> Value era Source #

Determine the total balance contained in the UTxO.

newtype WitHashes crypto Source #

Instances

Instances details
Eq ( WitHashes crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( WitHashes crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( WitHashes crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( WitHashes crypto) :: Type -> Type Source #

NoThunks ( WitHashes crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( WitHashes crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( WitHashes crypto) = D1 (' MetaData "WitHashes" "Cardano.Ledger.Shelley.LedgerState" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "WitHashes" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unWitHashes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Set ( KeyHash ' Witness crypto)))))

data LedgerState era Source #

The state associated with a Ledger .

Constructors

LedgerState

Fields

Instances

Instances details
( Crypto ( Crypto era), Eq ( TxOut era), Eq ( State ( EraRule "PPUP" era))) => Eq ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Crypto ( Crypto era), Show ( TxOut era), Show ( State ( EraRule "PPUP" era))) => Show ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( LedgerState era) :: Type -> Type Source #

( Era era, NFData ( TxOut era), NFData ( State ( EraRule "PPUP" era))) => NFData ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, ToCBOR ( TxOut era), ToCBOR ( State ( EraRule "PPUP" era))) => ToCBOR ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era), FromCBOR ( Value era), FromSharedCBOR ( TxOut era), Share ( TxOut era) ~ Interns ( Credential ' Staking ( Crypto era)), FromCBOR ( State ( EraRule "PPUP" era))) => FromSharedCBOR ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( LedgerState era) Source #

Default ( UTxOState era) => Default ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, NoThunks ( TxOut era), NoThunks ( State ( EraRule "PPUP" era)), NoThunks ( Value era), ToCBOR ( TxBody era), ToCBOR ( TxOut era), ToCBOR ( Value era)) => NoThunks ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( LedgerState era) = D1 (' MetaData "LedgerState" "Cardano.Ledger.Shelley.LedgerState" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "LedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "lsUTxOState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( UTxOState era)) :*: S1 (' MetaSel (' Just "lsDPState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( DPState ( Crypto era)))))
type Share ( LedgerState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data NewEpochState era Source #

New Epoch state and environment

Constructors

NewEpochState

Fields

  • nesEL :: ! EpochNo

    Last epoch

  • nesBprev :: !( BlocksMade ( Crypto era))

    Blocks made before current epoch

  • nesBcur :: !( BlocksMade ( Crypto era))

    Blocks made in current epoch

  • nesEs :: !( EpochState era)

    Epoch state before current

  • nesRu :: !( StrictMaybe ( PulsingRewUpdate ( Crypto era)))

    Possible reward update

  • nesPd :: !( PoolDistr ( Crypto era))

    Stake distribution within the stake pool

  • stashedAVVMAddresses :: !( StashedAVVMAddresses era)

    AVVM addresses to be removed at the end of the Shelley era. Note that the existence of this field is a hack, related to the transition of UTxO to disk. We remove AVVM addresses from the UTxO on the Shelley/Allegra boundary. However, by this point the UTxO will be moved to disk, and hence doing a scan of the UTxO for AVVM addresses will be expensive. Our solution to this is to do a scan of the UTxO on the Byron/Shelley boundary (since Byron UTxO are still on disk), stash the results here, and then remove them at the Shelley/Allegra boundary.

    This is very much an awkward implementation hack, and hence we hide it from as many places as possible.

Instances

Instances details
( Crypto ( Crypto era), Eq ( TxOut era), Eq ( PParams era), Eq ( State ( EraRule "PPUP" era)), Eq ( StashedAVVMAddresses era)) => Eq ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Crypto ( Crypto era), Show ( TxOut era), Show ( PParams era), Show ( State ( EraRule "PPUP" era)), Show ( StashedAVVMAddresses era)) => Show ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( NewEpochState era) :: Type -> Type Source #

( Era era, NFData ( TxOut era), NFData ( PParams era), NFData ( State ( EraRule "PPUP" era)), NFData ( StashedAVVMAddresses era)) => NFData ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, ToCBOR ( TxOut era), ToCBOR ( PParams era), ToCBOR ( State ( EraRule "PPUP" era)), ToCBOR ( StashedAVVMAddresses era)) => ToCBOR ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, FromCBOR ( PParams era), FromSharedCBOR ( TxOut era), Share ( TxOut era) ~ Interns ( Credential ' Staking ( Crypto era)), FromCBOR ( Value era), FromCBOR ( State ( EraRule "PPUP" era)), FromCBOR ( StashedAVVMAddresses era)) => FromCBOR ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, NoThunks ( TxOut era), NoThunks ( PParams era), NoThunks ( State ( EraRule "PPUP" era)), NoThunks ( Value era), NoThunks ( StashedAVVMAddresses era), ToCBOR ( TxBody era), ToCBOR ( TxOut era), ToCBOR ( Value era)) => NoThunks ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( NewEpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data UTxOState era Source #

There is a serious invariant that we must maintain in the UTxOState. Given (UTxOState utxo _ _ _ istake) it must be the case that istake == (updateStakeDistribution (UTxO Map.empty) (UTxO Map.empty) utxo) Of course computing the RHS of the above equality can be very expensive, so we only use this route in the testing function smartUTxO. But we are very carefull, wherever we update the UTxO, we carefully make INCREMENTAL changes to istake to maintain this invariant. This happens in the UTxO rule.

Instances

Instances details
( Crypto ( Crypto era), Eq ( TxOut era), Eq ( State ( EraRule "PPUP" era))) => Eq ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Crypto ( Crypto era), Show ( TxOut era), Show ( State ( EraRule "PPUP" era))) => Show ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( UTxOState era) :: Type -> Type Source #

( Era era, NFData ( TxOut era), NFData ( State ( EraRule "PPUP" era))) => NFData ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Methods

rnf :: UTxOState era -> () Source #

( Era era, ToCBOR ( TxOut era), ToCBOR ( State ( EraRule "PPUP" era))) => ToCBOR ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( TransValue FromCBOR era, FromCBOR ( State ( EraRule "PPUP" era)), FromSharedCBOR ( TxOut era), Share ( TxOut era) ~ Interns ( Credential ' Staking ( Crypto era)), HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era)) => FromSharedCBOR ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( UTxOState era) Source #

( Default ( State ( EraRule "PPUP" era)), Crypto ( Crypto era)) => Default ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, NoThunks ( TxOut era), NoThunks ( State ( EraRule "PPUP" era)), NoThunks ( Value era), ToCBOR ( TxBody era), ToCBOR ( TxOut era), ToCBOR ( Value era)) => NoThunks ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Share ( UTxOState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data IncrementalStake crypto Source #

Incremental Stake, Stake along with possible missed coins from danging Ptrs. Transactions can use Ptrs to refer to a stake credential in a TxOut. The Ptr does not have to point to anything until the epoch boundary, when we compute rewards and aggregate staking information for ranking. This is unusual but legal. In a non incremental system, we use whatever legal Ptrs exist at the epoch boundary. Here we are computing things incrementally, so we need to remember Ptrs that might point to something by the time the epoch boundary is reached. When the epoch boundary is reached we resolve these pointers, to see if any have become non-dangling since the time they were first used in the incremental computation.

Instances

Instances details
Eq ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Ord ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( IncrementalStake crypto) :: Type -> Type Source #

Semigroup ( IncrementalStake c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Monoid ( IncrementalStake c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NFData ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => ToCBOR ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => FromSharedCBOR ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( IncrementalStake crypto) Source #

Default ( IncrementalStake c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Group ( IncrementalStake c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( IncrementalStake crypto) = D1 (' MetaData "IncrementalStake" "Cardano.Ledger.Shelley.LedgerState" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "IStake" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "credMap") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( Credential ' Staking crypto) Coin )) :*: S1 (' MetaSel (' Just "ptrMap") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map Ptr Coin ))))
type Share ( IncrementalStake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data PPUPState era Source #

Instances

Instances details
Eq ( PParamsDelta era) => Eq ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( PParamsDelta era) => Show ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( PPUPState era) :: Type -> Type Source #

NFData ( PParamsDelta era) => NFData ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Methods

rnf :: PPUPState era -> () Source #

( Era era, ToCBOR ( PParamsDelta era)) => ToCBOR ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, FromCBOR ( PParamsDelta era)) => FromCBOR ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Default ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks ( PParamsDelta era) => NoThunks ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( PPUPState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( PPUPState era) = D1 (' MetaData "PPUPState" "Cardano.Ledger.Shelley.LedgerState" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "PPUPState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "proposals") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ProposedPPUpdates era)) :*: S1 (' MetaSel (' Just "futureProposals") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ProposedPPUpdates era))))

data EpochState era Source #

Constructors

EpochState

Fields

Instances

Instances details
( Crypto ( Crypto era), Eq ( TxOut era), Eq ( PParams era), Eq ( State ( EraRule "PPUP" era))) => Eq ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Crypto ( Crypto era), Show ( TxOut era), Show ( PParams era), Show ( State ( EraRule "PPUP" era))) => Show ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( EpochState era) :: Type -> Type Source #

( Era era, NFData ( TxOut era), NFData ( PParams era), NFData ( State ( EraRule "PPUP" era))) => NFData ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, ToCBOR ( TxOut era), ToCBOR ( PParams era), ToCBOR ( State ( EraRule "PPUP" era))) => ToCBOR ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( FromCBOR ( PParams era), TransValue FromCBOR era, HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era), FromSharedCBOR ( TxOut era), Share ( TxOut era) ~ Interns ( Credential ' Staking ( Crypto era)), FromCBOR ( State ( EraRule "PPUP" era)), Era era) => FromCBOR ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Default ( LedgerState era), Default ( PParams era)) => Default ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

( Era era, NoThunks ( TxOut era), NoThunks ( State ( EraRule "PPUP" era)), NoThunks ( Value era), NoThunks ( PParams era), ToCBOR ( TxBody era), ToCBOR ( TxOut era), ToCBOR ( Value era)) => NoThunks ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( EpochState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data AccountState Source #

Instances

Instances details
Eq AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NFData AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

ToCBOR AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

FromCBOR AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Default AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep AccountState Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep AccountState = D1 (' MetaData "AccountState" "Cardano.Ledger.Shelley.LedgerState" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "AccountState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_treasury") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :*: S1 (' MetaSel (' Just "_reserves") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin )))

data DPState crypto Source #

The state associated with the current stake delegation.

Constructors

DPState

Fields

Instances

Instances details
Eq ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( DPState crypto) :: Type -> Type Source #

NFData ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Methods

rnf :: DPState crypto -> () Source #

Crypto crypto => ToCBOR ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => FromSharedCBOR ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( DPState crypto) Source #

Default ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( DPState crypto) = D1 (' MetaData "DPState" "Cardano.Ledger.Shelley.LedgerState" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "DPState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "dpsDState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( DState crypto)) :*: S1 (' MetaSel (' Just "dpsPState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PState crypto))))
type Share ( DPState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data PState crypto Source #

Current state of staking pools and their certificate counters.

Constructors

PState

Fields

Instances

Instances details
Eq ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( PState crypto) :: Type -> Type Source #

NFData ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Methods

rnf :: PState crypto -> () Source #

Crypto crypto => ToCBOR ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => FromSharedCBOR ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( PState crypto) Source #

Default ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Share ( PState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data DState crypto Source #

State of staking pool delegations and rewards

Constructors

DState

Fields

Instances

Instances details
Eq ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Rep ( DState crypto) :: Type -> Type Source #

NFData ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Methods

rnf :: DState crypto -> () Source #

Crypto crypto => ToCBOR ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => FromSharedCBOR ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( DState crypto) Source #

Default ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Share ( DState crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

data InstantaneousRewards crypto 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
Eq ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Show ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Generic ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NFData ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => ToCBOR ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Crypto crypto => FromSharedCBOR ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

Associated Types

type Share ( InstantaneousRewards crypto) Source #

Default ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

NoThunks ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Rep ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type Share ( InstantaneousRewards crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.LedgerState

type KeyPairs crypto = [( KeyPair ' Payment crypto, KeyPair ' Staking crypto)] Source #

Representation of a list of pairs of key pairs, e.g., pay and stake keys

data PPUP era Source #

Instances

Instances details
( Typeable era, HasField "_protocolVersion" ( PParams era) ProtVer , HasField "_protocolVersion" ( PParamsDelta era) ( StrictMaybe ProtVer )) => STS ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

( Era era, STS ( PPUP era), PredicateFailure ( EraRule "PPUP" era) ~ PpupPredicateFailure era, Event ( EraRule "PPUP" era) ~ PpupEvent era) => Embed ( PPUP era) ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Event ( PPUP era) = PpupEvent era
type BaseM ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Environment ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type Signal ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State ( PPUP era) = PPUPState era

data UTXO era Source #

Instances

Instances details
( UsesTxOut era, TxOut era ~ TxOut era, UsesValue era, UsesScript era, UsesAuxiliary era, UsesPParams era, Show ( Witnesses era), TxBody era ~ TxBody era, PParams era ~ PParams era, Tx era ~ Tx era, Value era ~ Coin , Eq ( PredicateFailure ( EraRule "PPUP" era)), Embed ( EraRule "PPUP" era) ( UTXO era), Environment ( EraRule "PPUP" era) ~ PPUPEnv era, State ( EraRule "PPUP" era) ~ PPUPState era, Signal ( EraRule "PPUP" era) ~ Maybe ( Update era)) => STS ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

( Era era, STS ( PPUP era), PredicateFailure ( EraRule "PPUP" era) ~ PpupPredicateFailure era, Event ( EraRule "PPUP" era) ~ PpupEvent era) => Embed ( PPUP era) ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

( Era era, STS ( UTXO era), PredicateFailure ( EraRule "UTXO" era) ~ UtxoPredicateFailure era, Event ( EraRule "UTXO" era) ~ UtxoEvent era) => Embed ( UTXO era) ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Event ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Event ( UTXO era) = UtxoEvent era
type BaseM ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Environment ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Signal ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type Signal ( UTXO era) = Tx era
type State ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type State ( UTXO era) = UTxOState era

data UTXOW era Source #

Instances

Instances details
( Era era, Tx era ~ Tx era, DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), HasField "_protocolVersion" ( PParams era) ProtVer , Embed ( EraRule "UTXO" era) ( UTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ Tx era, ShelleyStyleWitnessNeeds era) => STS ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

( Era era, STS ( UTXO era), PredicateFailure ( EraRule "UTXO" era) ~ UtxoPredicateFailure era, Event ( EraRule "UTXO" era) ~ UtxoEvent era) => Embed ( UTXO era) ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

( Era era, STS ( UTXOW era), PredicateFailure ( EraRule "UTXOW" era) ~ UtxowPredicateFailure era, Event ( EraRule "UTXOW" era) ~ Event ( UTXOW era)) => Embed ( UTXOW era) ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Event ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type BaseM ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Environment ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Signal ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type Signal ( UTXOW era) = Tx era
type State ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

data POOLREAP era Source #

Instances

Instances details
( Typeable era, Default ( PoolreapState era), HasField "_poolDeposit" ( PParams era) Coin , HasField "_keyDeposit" ( PParams era) Coin ) => STS ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

( Era era, STS ( POOLREAP era), PredicateFailure ( EraRule "POOLREAP" era) ~ PoolreapPredicateFailure era, Event ( EraRule "POOLREAP" era) ~ PoolreapEvent era) => Embed ( POOLREAP era) ( EPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Event ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type BaseM ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Environment ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type Signal ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type State ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

data POOL (era :: Type ) Source #

Instances

Instances details
( Era era, HasField "_minPoolCost" ( PParams era) Coin , HasField "_eMax" ( PParams era) EpochNo , HasField "_protocolVersion" ( PParams era) ProtVer ) => STS ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

( Era era, STS ( POOL era), PredicateFailure ( EraRule "POOL" era) ~ PoolPredicateFailure era) => Embed ( POOL era) ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Event ( POOL era) = PoolEvent era
type BaseM ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Environment ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type Signal ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

data DELEG era Source #

Instances

Instances details
( Typeable era, HasField "_protocolVersion" ( PParams era) ProtVer ) => STS ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

( Era era, HasField "_protocolVersion" ( PParams era) ProtVer , PredicateFailure ( EraRule "DELEG" era) ~ DelegPredicateFailure era) => Embed ( DELEG era) ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Event ( DELEG era)
type BaseM ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Environment ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type Signal ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

data DELPL era Source #

Instances

Instances details
( Era era, Embed ( EraRule "DELEG" era) ( DELPL era), Environment ( EraRule "DELEG" era) ~ DelegEnv era, State ( EraRule "DELEG" era) ~ DState ( Crypto era), Signal ( EraRule "DELEG" era) ~ DCert ( Crypto era), Embed ( EraRule "POOL" era) ( DELPL era), Environment ( EraRule "POOL" era) ~ PoolEnv era, State ( EraRule "POOL" era) ~ PState ( Crypto era), Signal ( EraRule "POOL" era) ~ DCert ( Crypto era)) => STS ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

( Era era, STS ( POOL era), PredicateFailure ( EraRule "POOL" era) ~ PoolPredicateFailure era) => Embed ( POOL era) ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

( Era era, HasField "_protocolVersion" ( PParams era) ProtVer , PredicateFailure ( EraRule "DELEG" era) ~ DelegPredicateFailure era) => Embed ( DELEG era) ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

( Era era, STS ( DELPL era), PredicateFailure ( EraRule "DELPL" era) ~ DelplPredicateFailure era, Event ( EraRule "DELPL" era) ~ DelplEvent era) => Embed ( DELPL era) ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Event ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type BaseM ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Environment ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type Signal ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type State ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

data DELEGS era Source #

Instances

Instances details
( Era era, HasField "wdrls" ( TxBody era) ( Wdrl ( Crypto era)), Embed ( EraRule "DELPL" era) ( DELEGS era), Environment ( EraRule "DELPL" era) ~ DelplEnv era, State ( EraRule "DELPL" era) ~ DPState ( Crypto era), Signal ( EraRule "DELPL" era) ~ DCert ( Crypto era)) => STS ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

( Era era, STS ( DELPL era), PredicateFailure ( EraRule "DELPL" era) ~ DelplPredicateFailure era, Event ( EraRule "DELPL" era) ~ DelplEvent era) => Embed ( DELPL era) ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

( Era era, STS ( DELEGS era), PredicateFailure ( EraRule "DELEGS" era) ~ DelegsPredicateFailure era, Event ( EraRule "DELEGS" era) ~ DelegsEvent era) => Embed ( DELEGS era) ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Event ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type BaseM ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Environment ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type Signal ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type State ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

data LEDGER era Source #

Instances

Instances details
( Show ( PParams era), Show ( Tx era), Show ( TxOut era), Show ( State ( EraRule "PPUP" era)), HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Era era, Embed ( EraRule "DELEGS" era) ( LEDGER era), Embed ( EraRule "UTXOW" era) ( LEDGER era), Environment ( EraRule "UTXOW" era) ~ UtxoEnv era, State ( EraRule "UTXOW" era) ~ UTxOState era, Signal ( EraRule "UTXOW" era) ~ Tx era, Environment ( EraRule "DELEGS" era) ~ DelegsEnv era, State ( EraRule "DELEGS" era) ~ DPState ( Crypto era), Signal ( EraRule "DELEGS" era) ~ Seq ( DCert ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "_keyDeposit" ( PParams era) Coin , HasField "_poolDeposit" ( PParams era) Coin ) => STS ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

( Era era, STS ( UTXOW era), PredicateFailure ( EraRule "UTXOW" era) ~ UtxowPredicateFailure era, Event ( EraRule "UTXOW" era) ~ Event ( UTXOW era)) => Embed ( UTXOW era) ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

( Era era, STS ( DELEGS era), PredicateFailure ( EraRule "DELEGS" era) ~ DelegsPredicateFailure era, Event ( EraRule "DELEGS" era) ~ DelegsEvent era) => Embed ( DELEGS era) ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

( Era era, STS ( LEDGER era), PredicateFailure ( EraRule "LEDGER" era) ~ LedgerPredicateFailure era, Event ( EraRule "LEDGER" era) ~ LedgerEvent era) => Embed ( LEDGER era) ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Event ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type BaseM ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Environment ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Signal ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type Signal ( LEDGER era) = Tx era
type State ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

data LEDGERS era Source #

Instances

Instances details
( Era era, Embed ( EraRule "LEDGER" era) ( LEDGERS era), Environment ( EraRule "LEDGER" era) ~ LedgerEnv era, State ( EraRule "LEDGER" era) ~ LedgerState era, Signal ( EraRule "LEDGER" era) ~ Tx era, DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Default ( LedgerState era)) => STS ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

( Era era, STS ( LEDGER era), PredicateFailure ( EraRule "LEDGER" era) ~ LedgerPredicateFailure era, Event ( EraRule "LEDGER" era) ~ LedgerEvent era) => Embed ( LEDGER era) ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Event ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type BaseM ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Environment ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Signal ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type Signal ( LEDGERS era) = Seq ( Tx era)
type State ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

data ShelleyGenesis era Source #

Shelley genesis information

Note that this is needed only for a pure Shelley network, hence it being defined here rather than in its own module. In mainnet, Shelley will transition naturally from Byron, and thus will never have its own genesis information.

Instances

Instances details
Eq ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Show ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Generic ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep ( ShelleyGenesis era) :: Type -> Type Source #

Era era => ToJSON ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Era era => FromJSON ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Era era => ToCBOR ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Era era => FromCBOR ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Era era => NoThunks ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ( ShelleyGenesis era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ( ShelleyGenesis era) = D1 (' MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "ShelleyGenesis" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "sgSystemStart") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 UTCTime ) :*: ( S1 (' MetaSel (' Just "sgNetworkMagic") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word32 ) :*: S1 (' MetaSel (' Just "sgNetworkId") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Network ))) :*: (( S1 (' MetaSel (' Just "sgActiveSlotsCoeff") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 PositiveUnitInterval ) :*: S1 (' MetaSel (' Just "sgSecurityParam") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )) :*: ( S1 (' MetaSel (' Just "sgEpochLength") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EpochSize ) :*: S1 (' MetaSel (' Just "sgSlotsPerKESPeriod") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )))) :*: ((( S1 (' MetaSel (' Just "sgMaxKESEvolutions") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Just "sgSlotLength") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 NominalDiffTime )) :*: ( S1 (' MetaSel (' Just "sgUpdateQuorum") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Just "sgMaxLovelaceSupply") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ))) :*: (( S1 (' MetaSel (' Just "sgProtocolParams") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PParams era)) :*: S1 (' MetaSel (' Just "sgGenDelegs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' Genesis ( Crypto era)) ( GenDelegPair ( Crypto era))))) :*: ( S1 (' MetaSel (' Just "sgInitialFunds") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( Addr ( Crypto era)) Coin )) :*: S1 (' MetaSel (' Just "sgStaking") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ShelleyGenesisStaking ( Crypto era))))))))

data ShelleyGenesisStaking crypto Source #

Genesis Shelley staking configuration.

This allows us to configure some initial stake pools and delegation to them, in order to test Praos in a static configuration, without requiring on-chain registration and delegation.

For simplicity, pools defined in the genesis staking do not pay deposits for their registration.

Constructors

ShelleyGenesisStaking

Fields

  • sgsPools :: !( Map ( KeyHash ' StakePool crypto) ( PoolParams crypto))

    Pools to register

    The key in this map is the hash of the public key of the _pool_. This need not correspond to any payment or staking key, but must correspond to the cold key held by TPraosIsCoreNode .

  • sgsStake :: !( Map ( KeyHash ' Staking crypto) ( KeyHash ' StakePool crypto))

    Stake-holding key hash credentials and the pools to delegate that stake to. We require the raw staking key hash in order to:

    • Avoid pointer addresses, which would be tricky when there's no slot or transaction to point to.
    • Avoid script credentials.

Instances

Instances details
Eq ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Show ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Generic ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Crypto crypto => ToJSON ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Crypto crypto => FromJSON ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Crypto crypto => ToCBOR ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Crypto crypto => FromCBOR ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

NoThunks ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ( ShelleyGenesisStaking crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ( ShelleyGenesisStaking crypto) = D1 (' MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "ShelleyGenesisStaking" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "sgsPools") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' StakePool crypto) ( PoolParams crypto))) :*: S1 (' MetaSel (' Just "sgsStake") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' Staking crypto) ( KeyHash ' StakePool crypto)))))

initialFundsPseudoTxIn :: forall crypto. Crypto crypto => Addr crypto -> TxIn crypto Source #

Compute the TxIn of the initial UTxO pseudo-transaction corresponding to the given address in the genesis initial funds.

The Shelley initial UTxO is constructed from the sgInitialFunds which is not a full UTxO but just a map from addresses to coin values.

This gets turned into a UTxO by making a pseudo-transaction for each address, with the 0th output being the coin value. So to spend from the initial UTxO we need this same TxIn to use as an input to the spending transaction.

validateGenesis :: forall era. Era era => ShelleyGenesis era -> Either [ ValidationErr ] () Source #

Do some basic sanity checking on the Shelley genesis file.

data NEWEPOCH era Source #

Instances

Instances details
( UsesTxOut era, UsesValue era, Embed ( EraRule "MIR" era) ( NEWEPOCH era), Embed ( EraRule "EPOCH" era) ( NEWEPOCH era), Environment ( EraRule "MIR" era) ~ (), State ( EraRule "MIR" era) ~ EpochState era, Signal ( EraRule "MIR" era) ~ (), Event ( EraRule "RUPD" era) ~ RupdEvent ( Crypto era), Environment ( EraRule "EPOCH" era) ~ (), State ( EraRule "EPOCH" era) ~ EpochState era, Signal ( EraRule "EPOCH" era) ~ EpochNo , Default ( EpochState era), HasField "_protocolVersion" ( PParams era) ProtVer , Default ( State ( EraRule "PPUP" era)), Default ( PParams era), Default ( StashedAVVMAddresses era)) => STS ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

( Era era, Default ( EpochState era), PredicateFailure ( EraRule "MIR" era) ~ MirPredicateFailure era, Event ( EraRule "MIR" era) ~ MirEvent era) => Embed ( MIR era) ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

( UsesTxOut era, UsesValue era, STS ( EPOCH era), PredicateFailure ( EraRule "EPOCH" era) ~ EpochPredicateFailure era, Event ( EraRule "EPOCH" era) ~ EpochEvent era) => Embed ( EPOCH era) ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

( UsesTxOut era, UsesValue era, STS ( NEWEPOCH era), PredicateFailure ( EraRule "NEWEPOCH" era) ~ NewEpochPredicateFailure era, Event ( EraRule "NEWEPOCH" era) ~ NewEpochEvent era) => Embed ( NEWEPOCH era) ( TICKF era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

( UsesTxOut era, UsesValue era, STS ( NEWEPOCH era), PredicateFailure ( EraRule "NEWEPOCH" era) ~ NewEpochPredicateFailure era, Event ( EraRule "NEWEPOCH" era) ~ NewEpochEvent era) => Embed ( NEWEPOCH era) ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Event ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type BaseM ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Environment ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type Environment ( NEWEPOCH era) = ()
type Signal ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type State ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

data TICK era Source #

Instances

Instances details
( Era era, Embed ( EraRule "NEWEPOCH" era) ( TICK era), Embed ( EraRule "RUPD" era) ( TICK era), State ( TICK era) ~ NewEpochState era, BaseM ( TICK era) ~ ShelleyBase , Environment ( EraRule "RUPD" era) ~ RupdEnv era, State ( EraRule "RUPD" era) ~ StrictMaybe ( PulsingRewUpdate ( Crypto era)), Signal ( EraRule "RUPD" era) ~ SlotNo , Environment ( EraRule "NEWEPOCH" era) ~ (), State ( EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal ( EraRule "NEWEPOCH" era) ~ EpochNo ) => STS ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

( Era era, STS ( RUPD era), PredicateFailure ( EraRule "RUPD" era) ~ RupdPredicateFailure era, Event ( EraRule "RUPD" era) ~ RupdEvent ( Crypto era)) => Embed ( RUPD era) ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

( UsesTxOut era, UsesValue era, STS ( NEWEPOCH era), PredicateFailure ( EraRule "NEWEPOCH" era) ~ NewEpochPredicateFailure era, Event ( EraRule "NEWEPOCH" era) ~ NewEpochEvent era) => Embed ( NEWEPOCH era) ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Event ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Event ( TICK era) = TickEvent era
type BaseM ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type Environment ( TICK era) = ()
type Signal ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick