Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Rupd

Contents

Orphan instances

Synopsis

data ShelleyRUPD era
data RupdEnv era = RupdEnv !(BlocksMade (EraCrypto era)) !(EpochState era)
type family PredicateFailure a
data ShelleyRupdPredFailure era
epochInfoRange ∷ Monad m ⇒ EpochInfo m → EpochNo → m (SlotNo, SlotNo)
data PulsingRewUpdate c
- = Pulsing !(RewardSnapShot c) !(Pulser c)
- | Complete !(RewardUpdate c)
startStep ∷ ∀ era. EraGov era ⇒ EpochSize → BlocksMade (EraCrypto era) → EpochState era → Coin → ActiveSlotCoeff → Word64 → PulsingRewUpdate (EraCrypto era)
pulseStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c)
completeStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c)
lift ∷ (MonadTrans t, Monad m) ⇒ m a → t m a
newtype Identity a = Identity {
- runIdentity ∷ a
}
data RupdEvent c = RupdEvent !EpochNo !(Map (Credential 'Staking c) (Set (Reward c)))

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) ∷ Type → Type Source # type Event (ShelleyRUPD era) Source # type PredicateFailure (ShelleyRUPD era) Source # Methods initialRules ∷ [InitialRule (ShelleyRUPD era)] Source # transitionRules ∷ [TransitionRule (ShelleyRUPD era)] Source # assertions ∷ [Assertion (ShelleyRUPD era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyRUPD era) → String 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 Methods wrapFailed ∷ PredicateFailure (ShelleyRUPD era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyRUPD era) → Event (ShelleyTICK era) Source #
type BaseM (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type BaseM (ShelleyRUPD era) = ShelleyBase
type Environment (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Environment (ShelleyRUPD era) = RupdEnv era
type Event (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Event (ShelleyRUPD era) = RupdEvent (EraCrypto era)
type PredicateFailure (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type Signal (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Signal (ShelleyRUPD era) = SlotNo
type State (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State (ShelleyRUPD era) = StrictMaybe (PulsingRewUpdate (EraCrypto era))

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 (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type PredicateFailure (ShelleyPOOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
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) ∷ Type → Type Source # Methods from ∷ ShelleyRupdPredFailure era → Rep (ShelleyRupdPredFailure era) x Source # to ∷ Rep (ShelleyRupdPredFailure era) x → ShelleyRupdPredFailure era Source #
Show (ShelleyRupdPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods showsPrec ∷ Int → ShelleyRupdPredFailure era → ShowS Source # show ∷ ShelleyRupdPredFailure era → String Source # showList ∷ [ShelleyRupdPredFailure era] → ShowS Source #
NFData (ShelleyRupdPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods rnf ∷ ShelleyRupdPredFailure era → () Source #
Eq (ShelleyRupdPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods (==) ∷ ShelleyRupdPredFailure era → ShelleyRupdPredFailure era → Bool Source # (/=) ∷ ShelleyRupdPredFailure era → ShelleyRupdPredFailure era → Bool Source #
NoThunks (ShelleyRupdPredFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods noThunks ∷ Context → ShelleyRupdPredFailure era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyRupdPredFailure era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyRupdPredFailure era) → String Source #
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.11.0.0-inplace" 'False) (V1 ∷ Type → Type)

epochInfoRange ∷ Monad m ⇒ EpochInfo m → EpochNo → m (SlotNo, SlotNo) Source #

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 Methods toJSON ∷ PulsingRewUpdate c → Value Source # toEncoding ∷ PulsingRewUpdate c → Encoding Source # toJSONList ∷ [PulsingRewUpdate c] → Value Source # toEncodingList ∷ [PulsingRewUpdate c] → Encoding Source # omitField ∷ PulsingRewUpdate c → Bool Source #
Generic (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep (PulsingRewUpdate c) ∷ Type → Type Source # Methods from ∷ PulsingRewUpdate c → Rep (PulsingRewUpdate c) x Source # to ∷ Rep (PulsingRewUpdate c) x → PulsingRewUpdate c Source #
Show (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → PulsingRewUpdate c → ShowS Source # show ∷ PulsingRewUpdate c → String Source # showList ∷ [PulsingRewUpdate c] → ShowS Source #
Crypto c ⇒ DecCBOR (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (PulsingRewUpdate c) Source # dropCBOR ∷ Proxy (PulsingRewUpdate c) → Decoder s () Source # label ∷ Proxy (PulsingRewUpdate c) → Text Source #
Crypto c ⇒ EncCBOR (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ PulsingRewUpdate c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PulsingRewUpdate c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PulsingRewUpdate c] → Size Source #
NFData (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ PulsingRewUpdate c → () Source #
Eq (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) ∷ PulsingRewUpdate c → PulsingRewUpdate c → Bool Source # (/=) ∷ PulsingRewUpdate c → PulsingRewUpdate c → Bool Source #
Typeable c ⇒ NoThunks (PulsingRewUpdate c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → PulsingRewUpdate c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PulsingRewUpdate c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PulsingRewUpdate c) → String Source #
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.11.0.0-inplace" 'False) (C1 ('MetaCons "Pulsing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardSnapShot c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Pulser c))) :+: C1 ('MetaCons "Complete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardUpdate c))))

startStep ∷ ∀ era. EraGov era ⇒ EpochSize → BlocksMade (EraCrypto era) → EpochState era → Coin → ActiveSlotCoeff → Word64 → PulsingRewUpdate (EraCrypto era) Source #

pulseStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c) Source #

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

completeStep ∷ PulsingRewUpdate c → ShelleyBase (PulsingRewUpdate c, RewardEvent c) Source #

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 runIdentity ∷ a

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 # index ∷ Identity a → Rep Identity → a Source #
FromJSON1 Identity
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Value → Parser (Identity a) Source # liftParseJSONList ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Value → Parser [Identity a] Source # liftOmittedField ∷ Maybe 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 fold ∷ Monoid m ⇒ Identity m → m Source # foldMap ∷ Monoid 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 # toList ∷ Identity a → [a] Source # null ∷ Identity a → Bool Source # length ∷ Identity a → Int Source # elem ∷ Eq a ⇒ a → Identity a → Bool Source # maximum ∷ Ord a ⇒ Identity a → a Source # minimum ∷ Ord a ⇒ Identity a → a Source # sum ∷ Num a ⇒ Identity a → a Source # product ∷ Num a ⇒ Identity a → a Source #
Foldable Node
Instance details Defined in Hedgehog.Internal.Tree Methods fold ∷ Monoid m ⇒ Node m → m Source # foldMap ∷ Monoid 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 # toList ∷ Node a → [a] Source # null ∷ Node a → Bool Source # length ∷ Node a → Int Source # elem ∷ Eq a ⇒ a → Node a → Bool Source # maximum ∷ Ord a ⇒ Node a → a Source # minimum ∷ Ord a ⇒ Node a → a Source # sum ∷ Num a ⇒ Node a → a Source # product ∷ Num a ⇒ Node a → a Source #
Foldable Tree
Instance details Defined in Hedgehog.Internal.Tree Methods fold ∷ Monoid m ⇒ Tree m → m Source # foldMap ∷ Monoid 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 # toList ∷ Tree a → [a] Source # null ∷ Tree a → Bool Source # length ∷ Tree a → Int Source # elem ∷ Eq a ⇒ a → Tree a → Bool Source # maximum ∷ Ord a ⇒ Tree a → a Source # minimum ∷ Ord a ⇒ Tree a → a Source # sum ∷ Num a ⇒ Tree a → a Source # product ∷ Num 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 ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (Identity a) Source # liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [Identity a] Source # liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (Identity a) Source # liftReadListPrec ∷ ReadPrec 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) → Int → Identity 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 traverse ∷ Applicative f ⇒ (a → f b) → Identity a → f (Identity b) Source # sequenceA ∷ Applicative f ⇒ Identity (f a) → f (Identity a) Source # mapM ∷ Monad m ⇒ (a → m b) → Identity a → m (Identity b) Source # sequence ∷ Monad m ⇒ Identity (m a) → m (Identity a) Source #
Traversable Node
Instance details Defined in Hedgehog.Internal.Tree Methods traverse ∷ Applicative f ⇒ (a → f b) → Node a → f (Node b) Source # sequenceA ∷ Applicative f ⇒ Node (f a) → f (Node a) Source # mapM ∷ Monad m ⇒ (a → m b) → Node a → m (Node b) Source # sequence ∷ Monad m ⇒ Node (m a) → m (Node a) Source #
Traversable Tree
Instance details Defined in Hedgehog.Internal.Tree Methods traverse ∷ Applicative f ⇒ (a → f b) → Tree a → f (Tree b) Source # sequenceA ∷ Applicative f ⇒ Tree (f a) → f (Tree a) Source # mapM ∷ Monad m ⇒ (a → m b) → Tree a → m (Tree b) Source # sequence ∷ Monad 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 Methods hkdMap ∷ proxy Identity → (a → b) → HKD Identity a → HKD Identity b Source # toNoUpdate ∷ HKD Identity a → HKDNoUpdate Identity a Source # fromNoUpdate ∷ HKDNoUpdate Identity a → HKD Identity a Source #
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) → Int → Identity 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 # Methods liftBaseWith ∷ (RunInBase Identity Identity → Identity a) → Identity a Source # restoreM ∷ StM Identity a → Identity a Source #
Cosieve ReifiedGetter Identity
Instance details Defined in Control.Lens.Reified Methods cosieve ∷ ReifiedGetter a b → Identity a → b Source #
Sieve ReifiedGetter Identity
Instance details Defined in Control.Lens.Reified Methods sieve ∷ ReifiedGetter 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 Methods basicUnsafeFreeze ∷ Mutable Vector s (Identity a) → ST s (Vector (Identity a)) Source # basicUnsafeThaw ∷ Vector (Identity a) → ST s (Mutable Vector s (Identity a)) Source # basicLength ∷ Vector (Identity a) → Int Source # basicUnsafeSlice ∷ Int → Int → Vector (Identity a) → Vector (Identity a) Source # basicUnsafeIndexM ∷ Vector (Identity a) → Int → Box (Identity a) Source # basicUnsafeCopy ∷ Mutable Vector s (Identity a) → Vector (Identity a) → ST s () Source # elemseq ∷ Vector (Identity a) → Identity a → b → b Source #
Unbox a ⇒ MVector MVector (Identity a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength ∷ MVector s (Identity a) → Int Source # basicUnsafeSlice ∷ Int → Int → MVector s (Identity a) → MVector s (Identity a) Source # basicOverlaps ∷ MVector s (Identity a) → MVector s (Identity a) → Bool Source # basicUnsafeNew ∷ Int → ST s (MVector s (Identity a)) Source # basicInitialize ∷ MVector s (Identity a) → ST s () Source # basicUnsafeReplicate ∷ Int → Identity a → ST s (MVector s (Identity a)) Source # basicUnsafeRead ∷ MVector s (Identity a) → Int → ST s (Identity a) Source # basicUnsafeWrite ∷ MVector s (Identity a) → Int → Identity a → ST s () Source # basicClear ∷ MVector s (Identity a) → ST s () Source # basicSet ∷ MVector s (Identity a) → Identity a → ST s () Source # basicUnsafeCopy ∷ MVector s (Identity a) → MVector s (Identity a) → ST s () Source # basicUnsafeMove ∷ MVector s (Identity a) → MVector s (Identity a) → ST s () Source # basicUnsafeGrow ∷ MVector s (Identity a) → Int → ST s (MVector s (Identity a)) Source #
FromJSON a ⇒ FromJSON (Identity a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON ∷ Value → Parser (Identity a) Source # parseJSONList ∷ Value → Parser [Identity a] Source # omittedField ∷ Maybe (Identity a) Source #
FromJSON (CekMachineCostsBase Identity)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods parseJSON ∷ Value → Parser (CekMachineCostsBase Identity) Source # parseJSONList ∷ Value → Parser [CekMachineCostsBase Identity] Source # omittedField ∷ Maybe (CekMachineCostsBase Identity) Source #
FromJSONKey a ⇒ FromJSONKey (Identity a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey ∷ FromJSONKeyFunction (Identity a) Source # fromJSONKeyList ∷ FromJSONKeyFunction [Identity a] Source #
ToJSON a ⇒ ToJSON (Identity a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON ∷ Identity a → Value Source # toEncoding ∷ Identity a → Encoding Source # toJSONList ∷ [Identity a] → Value Source # toEncodingList ∷ [Identity a] → Encoding Source # omitField ∷ Identity a → Bool Source #
ToJSON (CekMachineCostsBase Identity)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON ∷ CekMachineCostsBase Identity → Value Source # toEncoding ∷ CekMachineCostsBase Identity → Encoding Source # toJSONList ∷ [CekMachineCostsBase Identity] → Value Source # toEncodingList ∷ [CekMachineCostsBase Identity] → Encoding Source # omitField ∷ CekMachineCostsBase Identity → Bool Source #
ToJSONKey a ⇒ ToJSONKey (Identity a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey ∷ ToJSONKeyFunction (Identity a) Source # toJSONKeyList ∷ ToJSONKeyFunction [Identity a] Source #
IsString a ⇒ IsString (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.String Methods fromString ∷ String → Identity a Source #
Storable a ⇒ Storable (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods sizeOf ∷ Identity a → Int Source # alignment ∷ Identity a → Int Source # peekElemOff ∷ Ptr (Identity a) → Int → IO (Identity a) Source # pokeElemOff ∷ Ptr (Identity a) → Int → Identity a → IO () Source # peekByteOff ∷ Ptr b → Int → IO (Identity a) Source # pokeByteOff ∷ Ptr b → Int → Identity a → IO () Source # peek ∷ Ptr (Identity a) → IO (Identity a) Source # poke ∷ Ptr (Identity a) → Identity a → IO () Source #
Monoid a ⇒ Monoid (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods mempty ∷ Identity a Source # mappend ∷ Identity a → Identity a → Identity a Source # mconcat ∷ [Identity a] → Identity a Source #
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 # sconcat ∷ NonEmpty (Identity a) → Identity a Source # stimes ∷ Integral 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 Methods (.&.) ∷ Identity a → Identity a → Identity a Source # (.\|.) ∷ Identity a → Identity a → Identity a Source # xor ∷ Identity a → Identity a → Identity a Source # complement ∷ Identity a → Identity a Source # shift ∷ Identity a → Int → Identity a Source # rotate ∷ Identity a → Int → Identity a Source # zeroBits ∷ Identity a Source # bit ∷ Int → Identity a Source # setBit ∷ Identity a → Int → Identity a Source # clearBit ∷ Identity a → Int → Identity a Source # complementBit ∷ Identity a → Int → Identity a Source # testBit ∷ Identity a → Int → Bool Source # bitSizeMaybe ∷ Identity a → Maybe Int Source # bitSize ∷ Identity a → Int Source # isSigned ∷ Identity a → Bool Source # shiftL ∷ Identity a → Int → Identity a Source # unsafeShiftL ∷ Identity a → Int → Identity a Source # shiftR ∷ Identity a → Int → Identity a Source # unsafeShiftR ∷ Identity a → Int → Identity a Source # rotateL ∷ Identity a → Int → Identity a Source # rotateR ∷ Identity a → Int → Identity a Source # popCount ∷ Identity a → Int Source #
FiniteBits a ⇒ FiniteBits (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods finiteBitSize ∷ Identity a → Int Source # countLeadingZeros ∷ Identity a → Int Source # countTrailingZeros ∷ Identity a → Int Source #
Bounded a ⇒ Bounded (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods minBound ∷ Identity a Source # maxBound ∷ Identity a Source #
Enum a ⇒ Enum (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods succ ∷ Identity a → Identity a Source # pred ∷ Identity a → Identity a Source # toEnum ∷ Int → Identity a Source # fromEnum ∷ Identity a → Int Source # enumFrom ∷ Identity a → [Identity a] Source # enumFromThen ∷ Identity a → Identity a → [Identity a] Source # enumFromTo ∷ Identity a → Identity a → [Identity a] Source # enumFromThenTo ∷ Identity a → Identity a → Identity a → [Identity a] Source #
Floating a ⇒ Floating (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods pi ∷ Identity a Source # exp ∷ Identity a → Identity a Source # log ∷ Identity a → Identity a Source # sqrt ∷ Identity a → Identity a Source # (**) ∷ Identity a → Identity a → Identity a Source # logBase ∷ Identity a → Identity a → Identity a Source # sin ∷ Identity a → Identity a Source # cos ∷ Identity a → Identity a Source # tan ∷ Identity a → Identity a Source # asin ∷ Identity a → Identity a Source # acos ∷ Identity a → Identity a Source # atan ∷ Identity a → Identity a Source # sinh ∷ Identity a → Identity a Source # cosh ∷ Identity a → Identity a Source # tanh ∷ Identity a → Identity a Source # asinh ∷ Identity a → Identity a Source # acosh ∷ Identity a → Identity a Source # atanh ∷ Identity a → Identity a Source # log1p ∷ Identity a → Identity a Source # expm1 ∷ Identity a → Identity a Source # log1pexp ∷ Identity a → Identity a Source # log1mexp ∷ Identity a → Identity a Source #
RealFloat a ⇒ RealFloat (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods floatRadix ∷ Identity a → Integer Source # floatDigits ∷ Identity a → Int Source # floatRange ∷ Identity a → (Int, Int) Source # decodeFloat ∷ Identity a → (Integer, Int) Source # encodeFloat ∷ Integer → Int → Identity a Source # exponent ∷ Identity a → Int Source # significand ∷ Identity a → Identity a Source # scaleFloat ∷ Int → Identity a → Identity a Source # isNaN ∷ Identity a → Bool Source # isInfinite ∷ Identity a → Bool Source # isDenormalized ∷ Identity a → Bool Source # isNegativeZero ∷ Identity a → Bool Source # isIEEE ∷ Identity a → Bool Source # atan2 ∷ Identity a → Identity a → Identity a Source #
Generic (Identity a)
Instance details Defined in Data.Functor.Identity Associated Types type Rep (Identity a) ∷ Type → Type Source # Methods from ∷ Identity a → Rep (Identity a) x Source # to ∷ Rep (Identity a) x → Identity a Source #
Ix a ⇒ Ix (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods range ∷ (Identity a, Identity a) → [Identity a] Source # index ∷ (Identity a, Identity a) → Identity a → Int Source # unsafeIndex ∷ (Identity a, Identity a) → Identity a → Int Source # inRange ∷ (Identity a, Identity a) → Identity a → Bool Source # rangeSize ∷ (Identity a, Identity a) → Int Source # unsafeRangeSize ∷ (Identity a, Identity a) → Int Source #
Num a ⇒ Num (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods (+) ∷ Identity a → Identity a → Identity a Source # (-) ∷ Identity a → Identity a → Identity a Source # (*) ∷ Identity a → Identity a → Identity a Source # negate ∷ Identity a → Identity a Source # abs ∷ Identity a → Identity a Source # signum ∷ Identity a → Identity a Source # fromInteger ∷ Integer → Identity a Source #
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 Methods readsPrec ∷ Int → ReadS (Identity a) Source # readList ∷ ReadS [Identity a] Source # readPrec ∷ ReadPrec (Identity a) Source # readListPrec ∷ ReadPrec [Identity a] Source #
Fractional a ⇒ Fractional (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods (/) ∷ Identity a → Identity a → Identity a Source # recip ∷ Identity a → Identity a Source # fromRational ∷ Rational → Identity a Source #
Integral a ⇒ Integral (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods quot ∷ Identity a → Identity a → Identity a Source # rem ∷ Identity a → Identity a → Identity a Source # div ∷ Identity a → Identity a → Identity a Source # mod ∷ Identity a → Identity a → Identity a Source # quotRem ∷ Identity a → Identity a → (Identity a, Identity a) Source # divMod ∷ Identity a → Identity a → (Identity a, Identity a) Source # toInteger ∷ Identity a → Integer Source #
Real a ⇒ Real (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods toRational ∷ Identity a → Rational Source #
RealFrac a ⇒ RealFrac (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods properFraction ∷ Integral b ⇒ Identity a → (b, Identity a) Source # truncate ∷ Integral b ⇒ Identity a → b Source # round ∷ Integral b ⇒ Identity a → b Source # ceiling ∷ Integral b ⇒ Identity a → b Source # floor ∷ Integral 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 Methods showsPrec ∷ Int → Identity a → ShowS Source # show ∷ Identity a → String Source # showList ∷ [Identity a] → ShowS Source #
Crypto c ⇒ DecCBOR (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods decCBOR ∷ Decoder s (Pulser c) Source # dropCBOR ∷ Proxy (Pulser c) → Decoder s () Source # label ∷ Proxy (Pulser c) → Text Source #
Crypto c ⇒ EncCBOR (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods encCBOR ∷ Pulser 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 rnf ∷ Identity a → () Source #
NFData (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ Pulser 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 compare ∷ Identity 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 # max ∷ Identity a → Identity a → Identity a Source # min ∷ Identity 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 generator ∷ Identity a Source #
Group a ⇒ Group (Identity a)	`Identity` lifts groups pointwise (at only one point).
Instance details Defined in Data.Group Methods invert ∷ Identity a → Identity a Source # (~~) ∷ Identity a → Identity a → Identity a Source # pow ∷ Integral x ⇒ Identity a → x → Identity a Source #
Hashable a ⇒ Hashable (Identity a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Identity a → Int Source # hash ∷ Identity a → Int Source #
Ixed (Identity a)
Instance details Defined in Control.Lens.At Methods ix ∷ Index (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 # Methods _Wrapped' ∷ Iso' (Identity a) (Unwrapped (Identity a)) Source #
MonoFoldable (Identity a)
Instance details Defined in Data.MonoTraversable Methods ofoldMap ∷ Monoid 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 # otoList ∷ Identity a → [Element (Identity a)] Source # oall ∷ (Element (Identity a) → Bool) → Identity a → Bool Source # oany ∷ (Element (Identity a) → Bool) → Identity a → Bool Source # onull ∷ Identity a → Bool Source # olength ∷ Identity a → Int Source # olength64 ∷ Identity a → Int64 Source # ocompareLength ∷ Integral 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 # ofoldlM ∷ Monad m ⇒ (a0 → Element (Identity a) → m a0) → a0 → Identity a → m a0 Source # ofoldMap1Ex ∷ Semigroup 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 # headEx ∷ Identity a → Element (Identity a) Source # lastEx ∷ Identity a → Element (Identity a) Source # unsafeHead ∷ Identity a → Element (Identity a) Source # unsafeLast ∷ Identity 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 # oelem ∷ Element (Identity a) → Identity a → Bool Source # onotElem ∷ Element (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 opoint ∷ Element (Identity a) → Identity a Source #
MonoTraversable (Identity a)
Instance details Defined in Data.MonoTraversable Methods otraverse ∷ Applicative f ⇒ (Element (Identity a) → f (Element (Identity a))) → Identity a → f (Identity a) Source # omapM ∷ Applicative 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 Methods noThunks ∷ Context → Identity a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Identity a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Identity a) → String Source #
Typeable c ⇒ NoThunks (Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks ∷ Context → Pulser c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Pulser c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Pulser c) → String Source #
Pretty a ⇒ Pretty (Identity a)	`>>>` `pretty (Identity 1)`1
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Identity 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 Methods sizeOf# ∷ Identity a → Int# Source # alignment# ∷ Identity a → Int# Source # indexByteArray# ∷ ByteArray# → Int# → Identity a Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, Identity a #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → Identity a → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → Identity a → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → Identity a Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, Identity a #) Source # writeOffAddr# ∷ Addr# → Int# → Identity a → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → Identity a → State# s → State# s Source #
Serialise a ⇒ Serialise (Identity a)	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Identity a → Encoding Source # decode ∷ Decoder s (Identity a) Source # encodeList ∷ [Identity a] → Encoding Source # decodeList ∷ Decoder s [Identity a] Source #
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 _1 ∷ Lens (Identity a) (Identity b) a b Source #
FromJSON (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods parseJSON ∷ Value → Parser (ShelleyPParams Identity era) Source # parseJSONList ∷ Value → Parser [ShelleyPParams Identity era] Source # omittedField ∷ Maybe (ShelleyPParams Identity era) Source #
(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 Methods toJSON ∷ ShelleyPParams Identity era → Value Source # toEncoding ∷ ShelleyPParams Identity era → Encoding Source # toJSONList ∷ [ShelleyPParams Identity era] → Value Source # toEncodingList ∷ [ShelleyPParams Identity era] → Encoding Source # omitField ∷ ShelleyPParams Identity era → Bool Source #
Show (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ShelleyPParams Identity era → ShowS Source # show ∷ ShelleyPParams Identity era → String Source # showList ∷ [ShelleyPParams Identity era] → ShowS Source #
Era era ⇒ FromCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR ∷ Decoder s (ShelleyPParams Identity era) Source # label ∷ Proxy (ShelleyPParams Identity era) → Text Source #
Era era ⇒ ToCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ ShelleyPParams Identity era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams Identity era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams Identity era] → Size Source #
Era era ⇒ DecCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR ∷ Decoder s (ShelleyPParams Identity era) Source # dropCBOR ∷ Proxy (ShelleyPParams Identity era) → Decoder s () Source # label ∷ Proxy (ShelleyPParams Identity era) → Text Source #
Era era ⇒ EncCBOR (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ ShelleyPParams Identity era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams Identity era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams Identity era] → Size Source #
NFData (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ShelleyPParams Identity era → () Source #
Eq (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (/=) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source #
Ord (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Ordering Source # (<) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (<=) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (>) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # (>=) ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → Bool Source # max ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → ShelleyPParams Identity era Source # min ∷ ShelleyPParams Identity era → ShelleyPParams Identity era → ShelleyPParams Identity era Source #
NoThunks (ShelleyPParams Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ShelleyPParams Identity era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPParams Identity era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPParams Identity era) → String Source #
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) ∷ Type → Type Source # Methods from ∷ RupdEvent c → Rep (RupdEvent c) x Source # to ∷ Rep (RupdEvent c) x → RupdEvent c Source #
NFData (RupdEvent c) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods rnf ∷ RupdEvent 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.11.0.0-inplace" 'False) (C1 ('MetaCons "RupdEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) (Set (Reward c))))))

Orphan instances

(Era era, EraGov era) ⇒ STS (ShelleyRUPD era) Source #

Instance details

Associated Types

type State (ShelleyRUPD era) Source #

type Signal (ShelleyRUPD era) Source #

type Environment (ShelleyRUPD era) Source #

type BaseM (ShelleyRUPD era) ∷ Type → Type Source #

type Event (ShelleyRUPD era) Source #

type PredicateFailure (ShelleyRUPD era) Source #

Methods

initialRules ∷ [InitialRule (ShelleyRUPD era)] Source #

transitionRules ∷ [TransitionRule (ShelleyRUPD era)] Source #

assertions ∷ [Assertion (ShelleyRUPD era)] Source #

renderAssertionViolation ∷ AssertionViolation (ShelleyRUPD era) → String Source #