Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Rules.Ledger

Synopsis

data LEDGER era
data LedgerEnv era = LedgerEnv {
- ledgerSlotNo :: ! SlotNo
- ledgerIx :: ! TxIx
- ledgerPp :: !( PParams era)
- ledgerAccount :: ! AccountState
}
data LedgerPredicateFailure era
- = UtxowFailure ( PredicateFailure ( EraRule "UTXOW" era))
- | DelegsFailure ( PredicateFailure ( EraRule "DELEGS" era))
data LedgerEvent era
- = UtxowEvent ( Event ( EraRule "UTXOW" era))
- | DelegsEvent ( Event ( EraRule "DELEGS" era))
type family Event a
type family PredicateFailure a

Documentation

data LEDGER era Source #

Instances

Instances details

( Show ( PParams era), Show ( Tx era), Show ( TxOut era), Show ( State ( EraRule "PPUP" era)), HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Era era, Embed ( EraRule "DELEGS" era) ( LEDGER era), Embed ( EraRule "UTXOW" era) ( LEDGER era), Environment ( EraRule "UTXOW" era) ~ UtxoEnv era, State ( EraRule "UTXOW" era) ~ UTxOState era, Signal ( EraRule "UTXOW" era) ~ Tx era, Environment ( EraRule "DELEGS" era) ~ DelegsEnv era, State ( EraRule "DELEGS" era) ~ DPState ( Crypto era), Signal ( EraRule "DELEGS" era) ~ Seq ( DCert ( Crypto era)), HasField "certs" ( TxBody era) ( StrictSeq ( DCert ( Crypto era))), HasField "_keyDeposit" ( PParams era) Coin , HasField "_poolDeposit" ( PParams era) Coin ) => STS ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types type State ( LEDGER era) Source # type Signal ( LEDGER era) Source # type Environment ( LEDGER era) Source # type BaseM ( LEDGER era) :: Type -> Type Source # type Event ( LEDGER era) Source # type PredicateFailure ( LEDGER era) Source # Methods initialRules :: [ InitialRule ( LEDGER era)] Source # transitionRules :: [ TransitionRule ( LEDGER era)] Source # assertions :: [ Assertion ( LEDGER era)] Source # renderAssertionViolation :: AssertionViolation ( LEDGER era) -> String Source #
( Era era, STS ( UTXOW era), PredicateFailure ( EraRule "UTXOW" era) ~ UtxowPredicateFailure era, Event ( EraRule "UTXOW" era) ~ Event ( UTXOW era)) => Embed ( UTXOW era) ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed :: PredicateFailure ( UTXOW era) -> PredicateFailure ( LEDGER era) Source # wrapEvent :: Event ( UTXOW era) -> Event ( LEDGER era) Source #
( Era era, STS ( DELEGS era), PredicateFailure ( EraRule "DELEGS" era) ~ DelegsPredicateFailure era, Event ( EraRule "DELEGS" era) ~ DelegsEvent era) => Embed ( DELEGS era) ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed :: PredicateFailure ( DELEGS era) -> PredicateFailure ( LEDGER era) Source # wrapEvent :: Event ( DELEGS era) -> Event ( LEDGER era) Source #
( Era era, STS ( LEDGER era), PredicateFailure ( EraRule "LEDGER" era) ~ LedgerPredicateFailure era, Event ( EraRule "LEDGER" era) ~ LedgerEvent era) => Embed ( LEDGER era) ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed :: PredicateFailure ( LEDGER era) -> PredicateFailure ( LEDGERS era) Source # wrapEvent :: Event ( LEDGER era) -> Event ( LEDGERS era) Source #
type PredicateFailure ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure ( LEDGER era) = LedgerPredicateFailure era
type Event ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Event ( LEDGER era) = LedgerEvent era
type BaseM ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type BaseM ( LEDGER era) = ShelleyBase
type Environment ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Environment ( LEDGER era) = LedgerEnv era
type Signal ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Signal ( LEDGER era) = Tx era
type State ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type State ( LEDGER era) = LedgerState era

data LedgerEnv era Source #

Constructors

LedgerEnv
Fields ledgerSlotNo :: ! SlotNo ledgerIx :: ! TxIx ledgerPp :: !( PParams era) ledgerAccount :: ! AccountState

Instances

Instances details

Show ( PParams era) => Show ( LedgerEnv era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods showsPrec :: Int -> LedgerEnv era -> ShowS Source # show :: LedgerEnv era -> String Source # showList :: [ LedgerEnv era] -> ShowS Source #
NFData ( PParams era) => NFData ( LedgerEnv era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods rnf :: LedgerEnv era -> () Source #

data LedgerPredicateFailure era Source #

Constructors

UtxowFailure ( PredicateFailure ( EraRule "UTXOW" era))
DelegsFailure ( PredicateFailure ( EraRule "DELEGS" era))

Instances

Instances details

( Eq ( PredicateFailure ( EraRule "DELEGS" era)), Eq ( PredicateFailure ( EraRule "UTXOW" era)), Era era) => Eq ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods (==) :: LedgerPredicateFailure era -> LedgerPredicateFailure era -> Bool Source # (/=) :: LedgerPredicateFailure era -> LedgerPredicateFailure era -> Bool Source #
( Show ( PredicateFailure ( EraRule "DELEGS" era)), Show ( PredicateFailure ( EraRule "UTXOW" era)), Era era) => Show ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods showsPrec :: Int -> LedgerPredicateFailure era -> ShowS Source # show :: LedgerPredicateFailure era -> String Source # showList :: [ LedgerPredicateFailure era] -> ShowS Source #
Generic ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types type Rep ( LedgerPredicateFailure era) :: Type -> Type Source # Methods from :: LedgerPredicateFailure era -> Rep ( LedgerPredicateFailure era) x Source # to :: Rep ( LedgerPredicateFailure era) x -> LedgerPredicateFailure era Source #
( ToCBOR ( PredicateFailure ( EraRule "DELEGS" era)), ToCBOR ( PredicateFailure ( EraRule "UTXOW" era)), Era era) => ToCBOR ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods toCBOR :: LedgerPredicateFailure era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( LedgerPredicateFailure era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ LedgerPredicateFailure era] -> Size Source #
( FromCBOR ( PredicateFailure ( EraRule "DELEGS" era)), FromCBOR ( PredicateFailure ( EraRule "UTXOW" era)), Era era) => FromCBOR ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods fromCBOR :: Decoder s ( LedgerPredicateFailure era) Source # label :: Proxy ( LedgerPredicateFailure era) -> Text Source #
( NoThunks ( PredicateFailure ( EraRule "DELEGS" era)), NoThunks ( PredicateFailure ( EraRule "UTXOW" era)), Era era) => NoThunks ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods noThunks :: Context -> LedgerPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LedgerPredicateFailure era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LedgerPredicateFailure era) -> String Source #
type Rep ( LedgerPredicateFailure era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Rep ( LedgerPredicateFailure era) = D1 (' MetaData "LedgerPredicateFailure" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "UtxowFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "UTXOW" era)))) :+: C1 (' MetaCons "DelegsFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "DELEGS" era)))))

data LedgerEvent era Source #

Constructors

UtxowEvent ( Event ( EraRule "UTXOW" era))
DelegsEvent ( Event ( EraRule "DELEGS" era))

type family Event a Source #

Event type.

Instances

Instances details

type Event ( SNAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type Event ( SNAP era) = SnapEvent era
type Event ( RUPD era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type Event ( RUPD era) = RupdEvent ( Crypto era)
type Event ( PPUP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type Event ( PPUP era) = PpupEvent era
type Event ( UTXO era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type Event ( UTXO era) = UtxoEvent era
type Event ( UTXOW era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type Event ( UTXOW era) = UtxowEvent era
type Event ( POOLREAP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type Event ( POOLREAP era) = PoolreapEvent era
type Event ( POOL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type Event ( POOL era) = PoolEvent era
type Event ( NEWPP era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type Event ( NEWPP era) = Void
type Event ( UPEC era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type Event ( UPEC era) = Void
type Event ( MIR era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type Event ( MIR era) = MirEvent era
type Event ( EPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type Event ( EPOCH era) = EpochEvent era
type Event ( DELEG era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type Event ( DELEG era)
type Event ( DELPL era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type Event ( DELPL era) = DelplEvent era
type Event ( DELEGS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type Event ( DELEGS era) = DelegsEvent era
type Event ( LEDGER era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type Event ( LEDGER era) = LedgerEvent era
type Event ( LEDGERS era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Event ( LEDGERS era) = LedgersEvent era
type Event ( BBODY era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type Event ( BBODY era) = BbodyEvent era
type Event ( NEWEPOCH era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type Event ( NEWEPOCH era) = NewEpochEvent era
type Event ( TICKF era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Event ( TICKF era)
type Event ( TICK era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type Event ( TICK era) = TickEvent era
type Event ( STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type Event ( STUB e st si f m) = Void

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