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

Cardano.Ledger.Shelley

Description

Definition of the shelley era, along with instances ot the Core types defined in module Cardano.Ledger.Core , and instances of the API classes exposed in module Cardano.Ledger.Shelley.API .

Synopsis

Documentation

data ShelleyEra c Source #

Instances

Instances details
Crypto c => Era ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

Associated Types

type Crypto ( ShelleyEra c) Source #

Methods

getTxOutEitherAddr :: TxOut ( ShelleyEra c) -> Either ( Addr ( Crypto ( ShelleyEra c))) ( CompactAddr ( Crypto ( ShelleyEra c))) Source #

getTxOutAddr :: TxOut ( ShelleyEra c) -> Addr ( Crypto ( ShelleyEra c)) Source #

getTxOutCompactAddr :: TxOut ( ShelleyEra c) -> CompactAddr ( Crypto ( ShelleyEra c)) Source #

getAllTxInputs :: TxBody ( ShelleyEra c) -> Set ( TxIn ( Crypto ( ShelleyEra c))) Source #

( Crypto c, UsesTxBody ( ShelleyEra c)) => ValidateScript ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

Methods

scriptPrefixTag :: Script ( ShelleyEra c) -> ByteString Source #

validateScript :: Script ( ShelleyEra c) -> Tx ( ShelleyEra c) -> Bool Source #

hashScript :: Script ( ShelleyEra c) -> ScriptHash ( Crypto ( ShelleyEra c)) Source #

isNativeScript :: Script ( ShelleyEra c) -> Bool Source #

Crypto c => SupportsSegWit ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

Associated Types

type TxSeq ( ShelleyEra c) = (r :: Type ) Source #

Methods

fromTxSeq :: TxSeq ( ShelleyEra c) -> StrictSeq ( Tx ( ShelleyEra c)) Source #

toTxSeq :: StrictSeq ( Tx ( ShelleyEra c)) -> TxSeq ( ShelleyEra c) Source #

hashTxSeq :: TxSeq ( ShelleyEra c) -> Hash ( HASH ( Crypto ( ShelleyEra c))) EraIndependentBlockBody Source #

numSegComponents :: Word64 Source #

Crypto c => UsesPParams ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

Methods

mergePPUpdates :: proxy ( ShelleyEra c) -> PParams ( ShelleyEra c) -> PParamsDelta ( ShelleyEra c) -> PParams ( ShelleyEra c) Source #

Crypto c => UsesTxOut ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

Methods

makeTxOut :: Proxy ( ShelleyEra c) -> Addr ( Crypto ( ShelleyEra c)) -> Value ( ShelleyEra c) -> TxOut ( ShelleyEra c) Source #

Crypto c => UsesValue ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

ShelleyEraCrypto crypto => ApplyBlock ( ShelleyEra crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.API.Validation

Methods

applyTickOpts :: forall (ep :: EventPolicy ). ApplySTSOpts ep -> Globals -> NewEpochState ( ShelleyEra crypto) -> SlotNo -> EventReturnType ep ( EraRule "TICK" ( ShelleyEra crypto)) ( NewEpochState ( ShelleyEra crypto)) Source #

applyBlockOpts :: forall (ep :: EventPolicy ) m. ( EventReturnTypeRep ep, MonadError ( BlockTransitionError ( ShelleyEra crypto)) m) => ApplySTSOpts ep -> Globals -> NewEpochState ( ShelleyEra crypto) -> Block ( BHeaderView ( Crypto ( ShelleyEra crypto))) ( ShelleyEra crypto) -> m ( EventReturnType ep ( EraRule "BBODY" ( ShelleyEra crypto)) ( NewEpochState ( ShelleyEra crypto))) Source #

reapplyBlock :: Globals -> NewEpochState ( ShelleyEra crypto) -> Block ( BHeaderView ( Crypto ( ShelleyEra crypto))) ( ShelleyEra crypto) -> NewEpochState ( ShelleyEra crypto) Source #

ShelleyEraCrypto c => ApplyTx ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.API.Mempool

Methods

applyTx :: MonadError ( ApplyTxError ( ShelleyEra c)) m => Globals -> MempoolEnv ( ShelleyEra c) -> MempoolState ( ShelleyEra c) -> Tx ( ShelleyEra c) -> m ( MempoolState ( ShelleyEra c), Validated ( Tx ( ShelleyEra c))) Source #

reapplyTx :: MonadError ( ApplyTxError ( ShelleyEra c)) m => Globals -> MempoolEnv ( ShelleyEra c) -> MempoolState ( ShelleyEra c) -> Validated ( Tx ( ShelleyEra c)) -> m ( MempoolState ( ShelleyEra c)) Source #

Crypto c => CLI ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.API.Wallet

Methods

evaluateMinFee :: PParams ( ShelleyEra c) -> Tx ( ShelleyEra c) -> Coin Source #

evaluateConsumed :: PParams ( ShelleyEra c) -> UTxO ( ShelleyEra c) -> TxBody ( ShelleyEra c) -> Value ( ShelleyEra c) Source #

addKeyWitnesses :: Tx ( ShelleyEra c) -> Set ( WitVKey ' Witness ( Crypto ( ShelleyEra c))) -> Tx ( ShelleyEra c) Source #

evaluateTransactionBalance :: PParams ( ShelleyEra c) -> UTxO ( ShelleyEra c) -> ( KeyHash ' StakePool ( Crypto ( ShelleyEra c)) -> Bool ) -> TxBody ( ShelleyEra c) -> Value ( ShelleyEra c) Source #

evaluateTransactionFee :: PParams ( ShelleyEra c) -> Tx ( ShelleyEra c) -> Word -> Coin Source #

evaluateMinLovelaceOutput :: PParams ( ShelleyEra c) -> TxOut ( ShelleyEra c) -> Coin Source #

( Crypto c, Default ( State ( EraRule "PPUP" ( ShelleyEra c)))) => CanStartFromGenesis ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.API.Genesis

Associated Types

type AdditionalGenesisConfig ( ShelleyEra c) Source #

Methods

initialState :: ShelleyGenesis ( ShelleyEra c) -> AdditionalGenesisConfig ( ShelleyEra c) -> NewEpochState ( ShelleyEra c) Source #

( Crypto crypto, DSignable crypto ( Hash crypto EraIndependentTxBody )) => ShelleyBasedEra ( ShelleyEra crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.API

Crypto c => ValidateAuxiliaryData ( ShelleyEra c) c Source #
Instance details

Defined in Cardano.Ledger.Shelley

Methods

hashAuxiliaryData :: AuxiliaryData ( ShelleyEra c) -> AuxiliaryDataHash c Source #

validateAuxiliaryData :: ProtVer -> AuxiliaryData ( ShelleyEra c) -> Bool Source #

type EraRule "BBODY" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "BBODY" ( ShelleyEra c) = BBODY ( ShelleyEra c)
type EraRule "DELEG" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "DELEG" ( ShelleyEra c) = DELEG ( ShelleyEra c)
type EraRule "DELEGS" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "DELEGS" ( ShelleyEra c) = DELEGS ( ShelleyEra c)
type EraRule "DELPL" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "DELPL" ( ShelleyEra c) = DELPL ( ShelleyEra c)
type EraRule "EPOCH" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "EPOCH" ( ShelleyEra c) = EPOCH ( ShelleyEra c)
type EraRule "LEDGER" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "LEDGER" ( ShelleyEra c) = LEDGER ( ShelleyEra c)
type EraRule "LEDGERS" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "LEDGERS" ( ShelleyEra c) = LEDGERS ( ShelleyEra c)
type EraRule "MIR" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "MIR" ( ShelleyEra c) = MIR ( ShelleyEra c)
type EraRule "NEWEPOCH" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "NEWEPOCH" ( ShelleyEra c) = NEWEPOCH ( ShelleyEra c)
type EraRule "NEWPP" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "NEWPP" ( ShelleyEra c) = NEWPP ( ShelleyEra c)
type EraRule "POOL" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "POOL" ( ShelleyEra c) = POOL ( ShelleyEra c)
type EraRule "POOLREAP" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "POOLREAP" ( ShelleyEra c) = POOLREAP ( ShelleyEra c)
type EraRule "PPUP" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "PPUP" ( ShelleyEra c) = PPUP ( ShelleyEra c)
type EraRule "RUPD" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "RUPD" ( ShelleyEra c) = RUPD ( ShelleyEra c)
type EraRule "SNAP" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "SNAP" ( ShelleyEra c) = SNAP ( ShelleyEra c)
type EraRule "TICK" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "TICK" ( ShelleyEra c) = TICK ( ShelleyEra c)
type EraRule "TICKF" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "TICKF" ( ShelleyEra c) = TICKF ( ShelleyEra c)
type EraRule "UPEC" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "UPEC" ( ShelleyEra c) = UPEC ( ShelleyEra c)
type EraRule "UTXO" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "UTXO" ( ShelleyEra c) = UTXO ( ShelleyEra c)
type EraRule "UTXOW" ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.EraMapping

type EraRule "UTXOW" ( ShelleyEra c) = UTXOW ( ShelleyEra c)
type Crypto ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type Crypto ( ShelleyEra c) = c
type TxSeq ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type TxSeq ( ShelleyEra c) = TxSeq ( ShelleyEra c)
type TranslationContext ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type TranslationContext ( ShelleyEra c) = ()
type Tx ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type Tx ( ShelleyEra c) = Tx ( ShelleyEra c)
type TxOut ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type TxOut ( ShelleyEra c) = TxOut ( ShelleyEra c)
type Value ( ShelleyEra _c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type Value ( ShelleyEra _c) = Coin
type TxBody ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type TxBody ( ShelleyEra c) = TxBody ( ShelleyEra c)
type Script ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type Script ( ShelleyEra c) = MultiSig c
type AuxiliaryData ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type AuxiliaryData ( ShelleyEra c) = Metadata ( ShelleyEra c)
type PParams ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type PParams ( ShelleyEra c) = PParams ( ShelleyEra c)
type PParamsDelta ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type PParamsDelta ( ShelleyEra c) = PParamsUpdate ( ShelleyEra c)
type Witnesses ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type Witnesses ( ShelleyEra c) = WitnessSet ( ShelleyEra c)
type AdditionalGenesisConfig ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley.API.Genesis

type AdditionalGenesisConfig ( ShelleyEra c) = ()

type Self c = ShelleyEra c Source #

type TxOut era = TxOut era Source #

type TxBody era = TxBody era Source #

type Value era = Coin Source #

type Script era = MultiSig ( Crypto era) Source #

type AuxiliaryData era = Metadata era Source #

type PParams era = PParams' Identity era Source #

type family PParamsDelta era = (r :: Type ) | r -> era Source #

The type of updates to Protocol parameters

Instances

Instances details
type PParamsDelta ( ShelleyEra c) Source #
Instance details

Defined in Cardano.Ledger.Shelley

type PParamsDelta ( ShelleyEra c) = PParamsUpdate ( ShelleyEra c)

type Tx era = Tx era Source #

type Witnesses era = WitnessSet ( Crypto era) Source #

nativeMultiSigTag :: ByteString Source #

Magic number "memorialized" in the ValidateScript class under the method: scriptPrefixTag:: Core.Script era -> Bs.ByteString, for the Shelley Era.