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

Cardano.Ledger.Shelley.Rules.Rupd

Synopsis

Documentation

data ShelleyRUPD era Source #

Instances

Instances details
(Era era, EraGov era) ⇒ STS (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type State (ShelleyRUPD era) Source #

type Signal (ShelleyRUPD era) Source #

type Environment (ShelleyRUPD era) Source #

type BaseM (ShelleyRUPD era) ∷ TypeType Source #

type Event (ShelleyRUPD era) Source #

type PredicateFailure (ShelleyRUPD era) Source #

(Era era, STS (ShelleyRUPD era), PredicateFailure (EraRule "RUPD" era) ~ ShelleyRupdPredFailure era, Event (EraRule "RUPD" era) ~ RupdEvent (EraCrypto era)) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type BaseM (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Environment (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Event (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Signal (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type State (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

data RupdEnv era Source #

Constructors

RupdEnv !(BlocksMade (EraCrypto era)) !(EpochState era) 

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details
type PredicateFailure (ShelleyBBODY era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyDELEG era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEGS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELPL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyMIR era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyNEWEPOCH era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWPP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyPOOL era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOLREAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPPUP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyRUPD era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleySNAP era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleyTICK era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyUPEC era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (STUB e st si f m) 
Instance details

Defined in Control.State.Transition.Extended

type PredicateFailure (STUB e st si f m) = f

data ShelleyRupdPredFailure era Source #

Instances

Instances details
Generic (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type Rep (ShelleyRupdPredFailure era) ∷ TypeType Source #

Show (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

NFData (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Methods

rnfShelleyRupdPredFailure era → () Source #

Eq (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

NoThunks (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Rep (ShelleyRupdPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Rep (ShelleyRupdPredFailure era) = D1 ('MetaData "ShelleyRupdPredFailure" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (V1TypeType)

data PulsingRewUpdate c Source #

The state used in the STS rules

Constructors

Pulsing !(RewardSnapShot c) !(Pulser c) 
Complete !(RewardUpdate c) 

Instances

Instances details
Crypto c ⇒ ToJSON (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Generic (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Associated Types

type Rep (PulsingRewUpdate c) ∷ TypeType Source #

Show (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Crypto c ⇒ DecCBOR (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Crypto c ⇒ EncCBOR (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

NFData (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnfPulsingRewUpdate c → () Source #

Eq (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Typeable c ⇒ NoThunks (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep (PulsingRewUpdate c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

type Rep (PulsingRewUpdate c) = D1 ('MetaData "PulsingRewUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "Pulsing" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardSnapShot c)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Pulser c))) :+: C1 ('MetaCons "Complete" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate c))))

pulseStepPulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c) Source #

Run the pulser for a bit. If is has nothing left to do, complete it.

lift ∷ (MonadTrans t, Monad m) ⇒ m a → t m a Source #

Lift a computation from the argument monad to the constructed monad.

newtype Identity a Source #

Identity functor and monad. (a non-strict monad)

Since: base-4.8.0.0

Constructors

Identity 

Fields

Instances

Instances details
Representable Identity 
Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep Identity Source #

Methods

tabulate ∷ (Rep Identity → a) → Identity a Source #

indexIdentity a → Rep Identity → a Source #

FromJSON1 Identity 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSONMaybe a → (ValueParser a) → (ValueParser [a]) → ValueParser (Identity a) Source #

liftParseJSONListMaybe a → (ValueParser a) → (ValueParser [a]) → ValueParser [Identity a] Source #

liftOmittedFieldMaybe a → Maybe (Identity a) Source #

ToJSON1 Identity 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON ∷ (a → Bool) → (a → Value) → ([a] → Value) → Identity a → Value Source #

liftToJSONList ∷ (a → Bool) → (a → Value) → ([a] → Value) → [Identity a] → Value Source #

liftToEncoding ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → Identity a → Encoding Source #

liftToEncodingList ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → [Identity a] → Encoding Source #

liftOmitField ∷ (a → Bool) → Identity a → Bool Source #

MonadFix Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

mfix ∷ (a → Identity a) → Identity a Source #

Foldable Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

foldMonoid m ⇒ Identity m → m Source #

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

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

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

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

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

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

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

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

toListIdentity a → [a] Source #

nullIdentity a → Bool Source #

lengthIdentity a → Int Source #

elemEq a ⇒ a → Identity a → Bool Source #

maximumOrd a ⇒ Identity a → a Source #

minimumOrd a ⇒ Identity a → a Source #

sumNum a ⇒ Identity a → a Source #

productNum a ⇒ Identity a → a Source #

Foldable Node 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

foldMonoid m ⇒ Node m → m Source #

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

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

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

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

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

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

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

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

toListNode a → [a] Source #

nullNode a → Bool Source #

lengthNode a → Int Source #

elemEq a ⇒ a → Node a → Bool Source #

maximumOrd a ⇒ Node a → a Source #

minimumOrd a ⇒ Node a → a Source #

sumNum a ⇒ Node a → a Source #

productNum a ⇒ Node a → a Source #

Foldable Tree 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

foldMonoid m ⇒ Tree m → m Source #

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

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

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

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

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

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

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

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

toListTree a → [a] Source #

nullTree a → Bool Source #

lengthTree a → Int Source #

elemEq a ⇒ a → Tree a → Bool Source #

maximumOrd a ⇒ Tree a → a Source #

minimumOrd a ⇒ Tree a → a Source #

sumNum a ⇒ Tree a → a Source #

productNum a ⇒ Tree a → a Source #

Eq1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq ∷ (a → b → Bool) → Identity a → Identity b → Bool Source #

Ord1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare ∷ (a → b → Ordering) → Identity a → Identity b → Ordering Source #

Read1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec ∷ (IntReadS a) → ReadS [a] → IntReadS (Identity a) Source #

liftReadList ∷ (IntReadS a) → ReadS [a] → ReadS [Identity a] Source #

liftReadPrecReadPrec a → ReadPrec [a] → ReadPrec (Identity a) Source #

liftReadListPrecReadPrec a → ReadPrec [a] → ReadPrec [Identity a] Source #

Show1 Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → IntIdentity a → ShowS Source #

liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [Identity a] → ShowS Source #

Traversable Identity

Since: base-4.9.0.0

Instance details

Defined in Data.Traversable

Methods

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

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

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

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

Traversable Node 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

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

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

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

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

Traversable Tree 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

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

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

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

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

Applicative Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

pure ∷ a → Identity a Source #

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

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

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

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

Functor Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

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

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

Monad Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

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

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

return ∷ a → Identity a Source #

HKDApplicative Identity 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD Identity a Source #

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

HKDFunctor Identity 
Instance details

Defined in Cardano.Ledger.HKD

NFData1 Identity

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf ∷ (a → ()) → Identity a → () Source #

Hashable1 Identity 
Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt ∷ (Int → a → Int) → IntIdentity a → Int Source #

Generic1 Identity 
Instance details

Defined in Data.Functor.Identity

Associated Types

type Rep1 Identity ∷ k → Type Source #

Methods

from1 ∷ ∀ (a ∷ k). Identity a → Rep1 Identity a Source #

to1 ∷ ∀ (a ∷ k). Rep1 Identity a → Identity a Source #

MonadBaseControl Identity Identity 
Instance details

Defined in Control.Monad.Trans.Control

Associated Types

type StM Identity a Source #

Cosieve ReifiedGetter Identity 
Instance details

Defined in Control.Lens.Reified

Methods

cosieveReifiedGetter a b → Identity a → b Source #

Sieve ReifiedGetter Identity 
Instance details

Defined in Control.Lens.Reified

Methods

sieveReifiedGetter a b → a → Identity b Source #

PrettyBy config a ⇒ DefaultPrettyBy config (Identity a) 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy ∷ config → Identity a → Doc ann Source #

defaultPrettyListBy ∷ config → [Identity a] → Doc ann Source #

PrettyDefaultBy config (Identity a) ⇒ PrettyBy config (Identity a)
>>> prettyBy () (Identity True)
True
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → Identity a → Doc ann Source #

prettyListBy ∷ config → [Identity a] → Doc ann Source #

Unbox a ⇒ Vector Vector (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

Unbox a ⇒ MVector MVector (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

FromJSON a ⇒ FromJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSON (CekMachineCostsBase Identity) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

FromJSONKey a ⇒ FromJSONKey (Identity a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON a ⇒ ToJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON (CekMachineCostsBase Identity) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

ToJSONKey a ⇒ ToJSONKey (Identity a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

IsString a ⇒ IsString (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.String

Methods

fromStringStringIdentity a Source #

Storable a ⇒ Storable (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Methods

sizeOfIdentity a → Int Source #

alignmentIdentity a → Int Source #

peekElemOffPtr (Identity a) → IntIO (Identity a) Source #

pokeElemOffPtr (Identity a) → IntIdentity a → IO () Source #

peekByteOffPtr b → IntIO (Identity a) Source #

pokeByteOffPtr b → IntIdentity a → IO () Source #

peekPtr (Identity a) → IO (Identity a) Source #

pokePtr (Identity a) → Identity a → IO () Source #

Monoid a ⇒ Monoid (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Semigroup a ⇒ Semigroup (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Methods

(<>)Identity a → Identity a → Identity a Source #

sconcatNonEmpty (Identity a) → Identity a Source #

stimesIntegral b ⇒ b → Identity a → Identity a Source #

Bits a ⇒ Bits (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

FiniteBits a ⇒ FiniteBits (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Bounded a ⇒ Bounded (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Enum a ⇒ Enum (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Floating a ⇒ Floating (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

RealFloat a ⇒ RealFloat (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Generic (Identity a) 
Instance details

Defined in Data.Functor.Identity

Associated Types

type Rep (Identity a) ∷ TypeType Source #

Methods

fromIdentity a → Rep (Identity a) x Source #

toRep (Identity a) x → Identity a Source #

Ix a ⇒ Ix (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Num a ⇒ Num (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Read a ⇒ Read (Identity a)

This instance would be equivalent to the derived instances of the Identity newtype if the runIdentity field were removed

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Fractional a ⇒ Fractional (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Integral a ⇒ Integral (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Real a ⇒ Real (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

RealFrac a ⇒ RealFrac (Identity a)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Identity

Methods

properFractionIntegral b ⇒ Identity a → (b, Identity a) Source #

truncateIntegral b ⇒ Identity a → b Source #

roundIntegral b ⇒ Identity a → b Source #

ceilingIntegral b ⇒ Identity a → b Source #

floorIntegral b ⇒ Identity a → b Source #

Show a ⇒ Show (Identity a)

This instance would be equivalent to the derived instances of the Identity newtype if the runIdentity field were removed

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Crypto c ⇒ DecCBOR (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

decCBORDecoder s (Pulser c) Source #

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

labelProxy (Pulser c) → Text Source #

Crypto c ⇒ EncCBOR (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

encCBORPulser c → Encoding Source #

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

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

NFData a ⇒ NFData (Identity a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfIdentity a → () Source #

NFData (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Methods

rnfPulser c → () Source #

Eq a ⇒ Eq (Identity a)

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

(==)Identity a → Identity a → Bool Source #

(/=)Identity a → Identity a → Bool Source #

Ord a ⇒ Ord (Identity a)

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

Methods

compareIdentity a → Identity a → Ordering Source #

(<)Identity a → Identity a → Bool Source #

(<=)Identity a → Identity a → Bool Source #

(>)Identity a → Identity a → Bool Source #

(>=)Identity a → Identity a → Bool Source #

maxIdentity a → Identity a → Identity a Source #

minIdentity a → Identity a → Identity a Source #

Abelian a ⇒ Abelian (Identity a) 
Instance details

Defined in Data.Group

Cyclic a ⇒ Cyclic (Identity a) 
Instance details

Defined in Data.Group

Methods

generatorIdentity a Source #

Group a ⇒ Group (Identity a)

Identity lifts groups pointwise (at only one point).

Instance details

Defined in Data.Group

Methods

invertIdentity a → Identity a Source #

(~~)Identity a → Identity a → Identity a Source #

powIntegral x ⇒ Identity a → x → Identity a Source #

Hashable a ⇒ Hashable (Identity a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntIdentity a → Int Source #

hashIdentity a → Int Source #

Ixed (Identity a) 
Instance details

Defined in Control.Lens.At

Methods

ixIndex (Identity a) → Traversal' (Identity a) (IxValue (Identity a)) Source #

Wrapped (Identity a) 
Instance details

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (Identity a) Source #

MonoFoldable (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

ofoldMapMonoid m ⇒ (Element (Identity a) → m) → Identity a → m Source #

ofoldr ∷ (Element (Identity a) → b → b) → b → Identity a → b Source #

ofoldl' ∷ (a0 → Element (Identity a) → a0) → a0 → Identity a → a0 Source #

otoListIdentity a → [Element (Identity a)] Source #

oall ∷ (Element (Identity a) → Bool) → Identity a → Bool Source #

oany ∷ (Element (Identity a) → Bool) → Identity a → Bool Source #

onullIdentity a → Bool Source #

olengthIdentity a → Int Source #

olength64Identity a → Int64 Source #

ocompareLengthIntegral i ⇒ Identity a → i → Ordering Source #

otraverse_Applicative f ⇒ (Element (Identity a) → f b) → Identity a → f () Source #

ofor_Applicative f ⇒ Identity a → (Element (Identity a) → f b) → f () Source #

omapM_Applicative m ⇒ (Element (Identity a) → m ()) → Identity a → m () Source #

oforM_Applicative m ⇒ Identity a → (Element (Identity a) → m ()) → m () Source #

ofoldlMMonad m ⇒ (a0 → Element (Identity a) → m a0) → a0 → Identity a → m a0 Source #

ofoldMap1ExSemigroup m ⇒ (Element (Identity a) → m) → Identity a → m Source #

ofoldr1Ex ∷ (Element (Identity a) → Element (Identity a) → Element (Identity a)) → Identity a → Element (Identity a) Source #

ofoldl1Ex' ∷ (Element (Identity a) → Element (Identity a) → Element (Identity a)) → Identity a → Element (Identity a) Source #

headExIdentity a → Element (Identity a) Source #

lastExIdentity a → Element (Identity a) Source #

unsafeHeadIdentity a → Element (Identity a) Source #

unsafeLastIdentity a → Element (Identity a) Source #

maximumByEx ∷ (Element (Identity a) → Element (Identity a) → Ordering) → Identity a → Element (Identity a) Source #

minimumByEx ∷ (Element (Identity a) → Element (Identity a) → Ordering) → Identity a → Element (Identity a) Source #

oelemElement (Identity a) → Identity a → Bool Source #

onotElemElement (Identity a) → Identity a → Bool Source #

MonoFunctor (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

omap ∷ (Element (Identity a) → Element (Identity a)) → Identity a → Identity a Source #

MonoPointed (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

opointElement (Identity a) → Identity a Source #

MonoTraversable (Identity a) 
Instance details

Defined in Data.MonoTraversable

Methods

otraverseApplicative f ⇒ (Element (Identity a) → f (Element (Identity a))) → Identity a → f (Identity a) Source #

omapMApplicative m ⇒ (Element (Identity a) → m (Element (Identity a))) → Identity a → m (Identity a) Source #

NoThunks a ⇒ NoThunks (Identity a) 
Instance details

Defined in NoThunks.Class

Typeable c ⇒ NoThunks (Pulser c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.RewardUpdate

Pretty a ⇒ Pretty (Identity a)
>>> pretty (Identity 1)
1
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIdentity a → Doc ann Source #

prettyList ∷ [Identity a] → Doc ann Source #

Prim a ⇒ Prim (Identity a)

Since: primitive-0.6.5.0

Instance details

Defined in Data.Primitive.Types

Serialise a ⇒ Serialise (Identity a)

Since: serialise-0.2.0.0

Instance details

Defined in Codec.Serialise.Class

Unbox a ⇒ Unbox (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

t ~ Identity b ⇒ Rewrapped (Identity a) t 
Instance details

Defined in Control.Lens.Wrapped

Field1 (Identity a) (Identity b) a b 
Instance details

Defined in Control.Lens.Tuple

Methods

_1Lens (Identity a) (Identity b) a b Source #

FromJSON (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

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

Defined in Cardano.Ledger.Shelley.PParams

Show (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

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

Defined in Cardano.Ledger.Shelley.PParams

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

Defined in Cardano.Ledger.Shelley.PParams

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

Defined in Cardano.Ledger.Shelley.PParams

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

Defined in Cardano.Ledger.Shelley.PParams

NFData (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnfShelleyPParams Identity era → () Source #

Eq (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Ord (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

NoThunks (ShelleyPParams Identity era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

type Rep Identity 
Instance details

Defined in Data.Functor.Rep

type Rep Identity = ()
type Rep1 Identity

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

type Rep1 Identity = D1 ('MetaData "Identity" "Data.Functor.Identity" "base" 'True) (C1 ('MetaCons "Identity" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type StM Identity a 
Instance details

Defined in Control.Monad.Trans.Control

type StM Identity a = a
newtype MVector s (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s (Identity a) = MV_Identity (MVector s a)
type Rep (Identity a)

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Identity

type Rep (Identity a) = D1 ('MetaData "Identity" "Data.Functor.Identity" "base" 'True) (C1 ('MetaCons "Identity" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type Index (Identity a) 
Instance details

Defined in Control.Lens.At

type Index (Identity a) = ()
type IxValue (Identity a) 
Instance details

Defined in Control.Lens.At

type IxValue (Identity a) = a
type Unwrapped (Identity a) 
Instance details

Defined in Control.Lens.Wrapped

type Unwrapped (Identity a) = a
type Element (Identity a) 
Instance details

Defined in Data.MonoTraversable

type Element (Identity a) = a
newtype Vector (Identity a) 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector (Identity a) = V_Identity (Vector a)

data RupdEvent c Source #

Constructors

RupdEvent !EpochNo !(Map (Credential 'Staking c) (Set (Reward c))) 

Instances

Instances details
Generic (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Associated Types

type Rep (RupdEvent c) ∷ TypeType Source #

Methods

fromRupdEvent c → Rep (RupdEvent c) x Source #

toRep (RupdEvent c) x → RupdEvent c Source #

NFData (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Methods

rnfRupdEvent c → () Source #

Eq (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

Methods

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

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

type Rep (RupdEvent c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type Rep (RupdEvent c) = D1 ('MetaData "RupdEvent" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "RupdEvent" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (Set (Reward c))))))

Orphan instances