Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Rupd

Synopsis

data RUPD era
data RupdEnv era = RupdEnv ( BlocksMade ( Crypto era)) ( EpochState era)
type family PredicateFailure a
data RupdPredicateFailure era
epochInfoRange :: Monad m => EpochInfo m -> EpochNo -> m ( SlotNo , SlotNo )
data PulsingRewUpdate crypto
- = Pulsing !( RewardSnapShot crypto) !( Pulser crypto)
- | Complete !( RewardUpdate crypto)
startStep :: forall era. UsesPP era => EpochSize -> BlocksMade ( Crypto era) -> EpochState era -> Coin -> ActiveSlotCoeff -> Word64 -> ( PulsingRewUpdate ( Crypto era), RewardProvenance ( Crypto era))
pulseStep :: PulsingRewUpdate crypto -> ShelleyBase ( PulsingRewUpdate crypto, RewardEvent crypto)
completeStep :: PulsingRewUpdate crypto -> ShelleyBase ( PulsingRewUpdate crypto, RewardEvent crypto)
lift :: ( MonadTrans t, Monad m) => m a -> t m a
newtype Identity a = Identity {
- runIdentity :: a
}
data RupdEvent crypto = RupdEvent ! EpochNo !( Map ( Credential ' Staking crypto) ( Set ( Reward crypto)))

Documentation

data RUPD era Source #

Instances

Instances details

( Era era, HasField "_a0" ( PParams era) NonNegativeInterval , HasField "_d" ( PParams era) UnitInterval , HasField "_nOpt" ( PParams era) Natural , HasField "_protocolVersion" ( PParams era) ProtVer , HasField "_rho" ( PParams era) UnitInterval , HasField "_tau" ( PParams era) UnitInterval ) => STS ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Associated Types type State ( RUPD era) Source # type Signal ( RUPD era) Source # type Environment ( RUPD era) Source # type BaseM ( RUPD era) :: Type -> Type Source # type Event ( RUPD era) Source # type PredicateFailure ( RUPD era) Source # Methods initialRules :: [ InitialRule ( RUPD era)] Source # transitionRules :: [ TransitionRule ( RUPD era)] Source # assertions :: [ Assertion ( RUPD era)] Source # renderAssertionViolation :: AssertionViolation ( RUPD era) -> String Source #
( 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 Methods wrapFailed :: PredicateFailure ( RUPD era) -> PredicateFailure ( TICK era) Source # wrapEvent :: Event ( RUPD era) -> Event ( TICK era) Source #
type PredicateFailure ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure ( RUPD era) = RupdPredicateFailure era
type Event ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Event ( RUPD era) = RupdEvent ( Crypto era)
type BaseM ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type BaseM ( RUPD era) = ShelleyBase
type Environment ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Environment ( RUPD era) = RupdEnv era
type Signal ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Signal ( RUPD era) = SlotNo
type State ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State ( RUPD era) = StrictMaybe ( PulsingRewUpdate ( Crypto era))

data RupdEnv era Source #

Constructors

RupdEnv ( BlocksMade ( Crypto era)) ( EpochState era)

type family PredicateFailure a Source #

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

As a convention, PredicateFailure s 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 PredicateFailure s 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 ( SNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure ( SNAP era) = SnapPredicateFailure era
type PredicateFailure ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure ( RUPD era) = RupdPredicateFailure era
type PredicateFailure ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure ( PPUP era) = PpupPredicateFailure era
type PredicateFailure ( UTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( POOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure ( POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure ( POOL era) = PoolPredicateFailure era
type PredicateFailure ( NEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure ( NEWPP era) = NewppPredicateFailure era
type PredicateFailure ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type PredicateFailure ( MIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure ( MIR era) = MirPredicateFailure era
type PredicateFailure ( EPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure ( EPOCH era) = EpochPredicateFailure era
type PredicateFailure ( DELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure ( DELEG era) = DelegPredicateFailure era
type PredicateFailure ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure ( DELPL era) = DelplPredicateFailure era
type PredicateFailure ( DELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure ( DELEGS era) = DelegsPredicateFailure era
type PredicateFailure ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure ( LEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure ( LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure ( BBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure ( BBODY era) = BbodyPredicateFailure era
type PredicateFailure ( NEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure ( NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICKF era) = TickfPredicateFailure era
type PredicateFailure ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICK era) = TickPredicateFailure 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 RupdPredicateFailure era Source #

Instances

Instances details

Eq ( RupdPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods (==) :: RupdPredicateFailure era -> RupdPredicateFailure era -> Bool Source # (/=) :: RupdPredicateFailure era -> RupdPredicateFailure era -> Bool Source #
Show ( RupdPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods showsPrec :: Int -> RupdPredicateFailure era -> ShowS Source # show :: RupdPredicateFailure era -> String Source # showList :: [ RupdPredicateFailure era] -> ShowS Source #
Generic ( RupdPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Associated Types type Rep ( RupdPredicateFailure era) :: Type -> Type Source # Methods from :: RupdPredicateFailure era -> Rep ( RupdPredicateFailure era) x Source # to :: Rep ( RupdPredicateFailure era) x -> RupdPredicateFailure era Source #
NoThunks ( RupdPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd Methods noThunks :: Context -> RupdPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> RupdPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( RupdPredicateFailure era) -> String Source #
type Rep ( RupdPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Rep ( RupdPredicateFailure era) = D1 (' MetaData "RupdPredicateFailure" "Cardano.Ledger.Shelley.Rules.Rupd" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( V1 :: Type -> Type )

epochInfoRange :: Monad m => EpochInfo m -> EpochNo -> m ( SlotNo , SlotNo ) Source #

data PulsingRewUpdate crypto Source #

The state used in the STS rules

Constructors

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

Instances

Instances details

Eq ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods (==) :: PulsingRewUpdate crypto -> PulsingRewUpdate crypto -> Bool Source # (/=) :: PulsingRewUpdate crypto -> PulsingRewUpdate crypto -> Bool Source #
Show ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec :: Int -> PulsingRewUpdate crypto -> ShowS Source # show :: PulsingRewUpdate crypto -> String Source # showList :: [ PulsingRewUpdate crypto] -> ShowS Source #
Generic ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types type Rep ( PulsingRewUpdate crypto) :: Type -> Type Source # Methods from :: PulsingRewUpdate crypto -> Rep ( PulsingRewUpdate crypto) x Source # to :: Rep ( PulsingRewUpdate crypto) x -> PulsingRewUpdate crypto Source #
NFData ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf :: PulsingRewUpdate crypto -> () Source #
Crypto crypto => ToCBOR ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods toCBOR :: PulsingRewUpdate crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PulsingRewUpdate crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PulsingRewUpdate crypto] -> Size Source #
Crypto crypto => FromCBOR ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods fromCBOR :: Decoder s ( PulsingRewUpdate crypto) Source # label :: Proxy ( PulsingRewUpdate crypto) -> Text Source #
Typeable crypto => NoThunks ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods noThunks :: Context -> PulsingRewUpdate crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PulsingRewUpdate crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PulsingRewUpdate crypto) -> String Source #
type Rep ( PulsingRewUpdate crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep ( PulsingRewUpdate crypto) = D1 (' MetaData "PulsingRewUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "Pulsing" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RewardSnapShot crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Pulser crypto))) :+: C1 (' MetaCons "Complete" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( RewardUpdate crypto))))

startStep :: forall era. UsesPP era => EpochSize -> BlocksMade ( Crypto era) -> EpochState era -> Coin -> ActiveSlotCoeff -> Word64 -> ( PulsingRewUpdate ( Crypto era), RewardProvenance ( Crypto era)) Source #

Assemble the components for, and then create, a Pulser.

pulseStep :: PulsingRewUpdate crypto -> ShelleyBase ( PulsingRewUpdate crypto, RewardEvent crypto) Source #

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

completeStep :: PulsingRewUpdate crypto -> ShelleyBase ( PulsingRewUpdate crypto, RewardEvent crypto) 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

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 #
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 #
MonadFix Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Methods mfix :: (a -> Identity a) -> Identity 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 #
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 #
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 #
ToJSON1 Identity
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value ) -> ([a] -> Value ) -> Identity a -> Value Source # liftToJSONList :: (a -> Value ) -> ([a] -> Value ) -> [ Identity a] -> Value Source # liftToEncoding :: (a -> Encoding ) -> ([a] -> Encoding ) -> Identity a -> Encoding Source # liftToEncodingList :: (a -> Encoding ) -> ([a] -> Encoding ) -> [ Identity a] -> Encoding Source #
FromJSON1 Identity
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> Value -> Parser ( Identity a) Source # liftParseJSONList :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> Value -> Parser [ Identity 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 #
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 #
HKDFunctor Identity Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods hkdMap :: Proxy Identity -> (a -> b) -> HKD Identity a -> HKD Identity b Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( WitnessSet era) ( Set ( WitVKey ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: WitnessSet era -> Set ( WitVKey ' Witness c) Source #
(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 Methods getField :: WitnessSet era -> Map ( ScriptHash c) script Source #
() :=> ( Monad Identity )
Instance details Defined in Data.Constraint Methods ins :: () :- Monad Identity Source #
() :=> ( Functor Identity )
Instance details Defined in Data.Constraint Methods ins :: () :- Functor Identity Source #
Unbox a => Vector Vector ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) ( Identity a) -> m ( Vector ( Identity a)) Source # basicUnsafeThaw :: PrimMonad m => Vector ( Identity a) -> m ( Mutable Vector ( PrimState m) ( Identity a)) Source # basicLength :: Vector ( Identity a) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector ( Identity a) -> Vector ( Identity a) Source # basicUnsafeIndexM :: Monad m => Vector ( Identity a) -> Int -> m ( Identity a) Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) ( Identity a) -> Vector ( Identity a) -> m () 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 :: PrimMonad m => Int -> m ( MVector ( PrimState m) ( Identity a)) Source # basicInitialize :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> m () Source # basicUnsafeReplicate :: PrimMonad m => Int -> Identity a -> m ( MVector ( PrimState m) ( Identity a)) Source # basicUnsafeRead :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Int -> m ( Identity a) Source # basicUnsafeWrite :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Int -> Identity a -> m () Source # basicClear :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> m () Source # basicSet :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Identity a -> m () Source # basicUnsafeCopy :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> MVector ( PrimState m) ( Identity a) -> m () Source # basicUnsafeMove :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> MVector ( PrimState m) ( Identity a) -> m () Source # basicUnsafeGrow :: PrimMonad m => MVector ( PrimState m) ( Identity a) -> Int -> m ( MVector ( PrimState m) ( Identity a)) 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 #
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 #
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 #
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 #
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 #
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 #
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 #
Real a => Real ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods toRational :: Identity a -> Rational 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 #
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 #
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 #
IsString a => IsString ( Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.String Methods fromString :: String -> Identity a Source #
Generic ( Identity a)	Since: base-4.8.0.0
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 #
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 #
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 #
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 #
Hashable a => Hashable ( Identity a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Identity a -> Int Source # hash :: Identity a -> Int 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 #
ToJSON ( PParams era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toJSON :: PParams era -> Value Source # toEncoding :: PParams era -> Encoding Source # toJSONList :: [ PParams era] -> Value Source # toEncodingList :: [ PParams era] -> Encoding 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 #
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 #
FromJSON ( PParams era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods parseJSON :: Value -> Parser ( PParams era) Source # parseJSONList :: Value -> Parser [ PParams era] 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 #
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 #
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 #
Era era => ToCBOR ( PParams era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR :: PParams era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PParams era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PParams era] -> Size Source #
Crypto c => ToCBOR ( Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods toCBOR :: Pulser c -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Pulser c) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Pulser c] -> Size Source #
( Typeable era, FromCBOR ( Annotator ( Script era)), ValidateScript era) => FromCBOR ( Annotator ( WitnessSetHKD Identity era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods fromCBOR :: Decoder s ( Annotator ( WitnessSetHKD Identity era)) Source # label :: Proxy ( Annotator ( WitnessSetHKD Identity era)) -> Text Source #
Era era => FromCBOR ( PParams era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR :: Decoder s ( PParams era) Source # label :: Proxy ( PParams era) -> Text Source #
Crypto c => FromCBOR ( Pulser c) Source #
Instance details Defined in Cardano.Ledger.Shelley.RewardUpdate Methods fromCBOR :: Decoder s ( Pulser c) Source # label :: Proxy ( Pulser c) -> Text Source #
Default ( PParams era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods def :: PParams era 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 #
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 #
NoThunks ( PParams era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks :: Context -> PParams era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PParams era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PParams era) -> 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 #
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
Generic1 Identity	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Associated Types type Rep1 Identity :: k -> Type Source # Methods from1 :: forall (a :: k). Identity a -> Rep1 Identity a Source # to1 :: forall (a :: k). Rep1 Identity a -> Identity a Source #
( Bounded a) :=> ( Bounded ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Bounded a :- Bounded ( Identity a) Source #
( Enum a) :=> ( Enum ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Enum a :- Enum ( Identity a) Source #
( Eq a) :=> ( Eq ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Eq a :- Eq ( Identity a) Source #
( Floating a) :=> ( Floating ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Floating a :- Floating ( Identity a) Source #
( Fractional a) :=> ( Fractional ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Fractional a :- Fractional ( Identity a) Source #
( Integral a) :=> ( Integral ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Integral a :- Integral ( Identity a) Source #
( Num a) :=> ( Num ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Num a :- Num ( Identity a) Source #
( Ord a) :=> ( Ord ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Ord a :- Ord ( Identity a) Source #
( Read a) :=> ( Read ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Read a :- Read ( Identity a) Source #
( Real a) :=> ( Real ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Real a :- Real ( Identity a) Source #
( RealFloat a) :=> ( RealFloat ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: RealFloat a :- RealFloat ( Identity a) Source #
( RealFrac a) :=> ( RealFrac ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: RealFrac a :- RealFrac ( Identity a) Source #
( Show a) :=> ( Show ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Show a :- Show ( Identity a) Source #
( Semigroup a) :=> ( Semigroup ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Semigroup a :- Semigroup ( Identity a) Source #
( Monoid a) :=> ( Monoid ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Monoid a :- Monoid ( Identity a) Source #
( Bits a) :=> ( Bits ( Identity a))
Instance details Defined in Data.Constraint Methods ins :: Bits a :- Bits ( Identity a) Source #
Eq ( PParams' Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) :: PParams' Identity era -> PParams' Identity era -> Bool Source # (/=) :: PParams' Identity era -> PParams' Identity era -> Bool Source #
( Era era, TransWitnessSet Eq era) => Eq ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> Bool Source # (/=) :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> Bool Source #
Show ( PParams' Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec :: Int -> PParams' Identity era -> ShowS Source # show :: PParams' Identity era -> String Source # showList :: [ PParams' Identity era] -> ShowS Source #
( Era era, TransWitnessSet Show era) => Show ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec :: Int -> WitnessSetHKD Identity era -> ShowS Source # show :: WitnessSetHKD Identity era -> String Source # showList :: [ WitnessSetHKD Identity era] -> ShowS Source #
Era era => Generic ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Associated Types type Rep ( WitnessSetHKD Identity era) :: Type -> Type Source # Methods from :: WitnessSetHKD Identity era -> Rep ( WitnessSetHKD Identity era) x Source # to :: Rep ( WitnessSetHKD Identity era) x -> WitnessSetHKD Identity era Source #
( Era era, AnnotatedData ( Script era)) => Semigroup ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (<>) :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> WitnessSetHKD Identity era Source # sconcat :: NonEmpty ( WitnessSetHKD Identity era) -> WitnessSetHKD Identity era Source # stimes :: Integral b => b -> WitnessSetHKD Identity era -> WitnessSetHKD Identity era Source #
( Era era, AnnotatedData ( Script era)) => Monoid ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods mempty :: WitnessSetHKD Identity era Source # mappend :: WitnessSetHKD Identity era -> WitnessSetHKD Identity era -> WitnessSetHKD Identity era Source # mconcat :: [ WitnessSetHKD Identity era] -> WitnessSetHKD Identity era Source #
NFData ( PParams' Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf :: PParams' Identity era -> () Source #
( Era era, NFData ( Script era), NFData ( WitVKey ' Witness ( Crypto era)), NFData ( BootstrapWitness ( Crypto era))) => NFData ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf :: WitnessSetHKD Identity era -> () Source #
Era era => ToCBOR ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR :: WitnessSetHKD Identity era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( WitnessSetHKD Identity era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ WitnessSetHKD Identity era] -> Size Source #
SafeToHash ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods originalBytes :: WitnessSetHKD Identity era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> WitnessSetHKD Identity era -> SafeHash c index Source #
( Era era, TransWitnessSet NoThunks era) => NoThunks ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks :: Context -> WitnessSetHKD Identity era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> WitnessSetHKD Identity era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( WitnessSetHKD Identity era) -> String Source #
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)
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)))
newtype Vector ( Identity a)
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector ( Identity a) = V_Identity ( Vector a)
type Rep1 Identity
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 Rep ( WitnessSetHKD Identity era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep ( WitnessSetHKD Identity era)

data RupdEvent crypto Source #

Constructors

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