Safe Haskell	None
Language	Haskell2010

Cardano.Node.Emulator.Validation

Contents

Modifying the state
Lenses
Etc.

Description

Transaction validation using 'cardano-ledger-specs'

Synopsis

type EmulatorBlock = [ Validated ( Tx EmulatorEra )]
data EmulatedLedgerState = EmulatedLedgerState {
- _ledgerEnv :: MempoolEnv EmulatorEra
- _memPoolState :: MempoolState EmulatorEra
- _currentBlock :: EmulatorBlock
- _previousBlocks :: [ EmulatorBlock ]
}
newtype Coin = Coin {
- unCoin :: Integer
}
newtype SlotNo = SlotNo {
- unSlotNo :: Word64
}
type EmulatorEra = BabbageEra StandardCrypto
type CardanoLedgerError = Either ValidationErrorInPhase ToCardanoError
initialState :: Params -> EmulatedLedgerState
hasValidationErrors :: Params -> SlotNo -> UTxO EmulatorEra -> Tx BabbageEra -> Either ValidationErrorInPhase ValidationSuccess
makeTransactionBody :: Params -> UTxO EmulatorEra -> CardanoBuildTx -> Either CardanoLedgerError ( TxBody BabbageEra )
validateCardanoTx :: Params -> Slot -> UTxO EmulatorEra -> CardanoTx -> Either ValidationErrorInPhase ValidationSuccess
makeBlock :: EmulatedLedgerState -> EmulatedLedgerState
setSlot :: SlotNo -> EmulatedLedgerState -> EmulatedLedgerState
nextSlot :: EmulatedLedgerState -> EmulatedLedgerState
newtype UTxO era = UTxO {
- unUTxO :: Map ( TxIn ( Crypto era)) ( TxOut era)
}
setUtxo :: UTxO EmulatorEra -> EmulatedLedgerState -> EmulatedLedgerState
ledgerEnv :: Lens' EmulatedLedgerState ( MempoolEnv EmulatorEra )
memPoolState :: Lens' EmulatedLedgerState ( MempoolState EmulatorEra )
currentBlock :: Lens' EmulatedLedgerState EmulatorBlock
previousBlocks :: Lens' EmulatedLedgerState [ EmulatorBlock ]
emulatorGlobals :: Params -> Globals

Documentation

type EmulatorBlock = [ Validated ( Tx EmulatorEra )] Source #

data EmulatedLedgerState Source #

State of the ledger with configuration, mempool, and the blockchain.

Constructors

EmulatedLedgerState
Fields _ledgerEnv :: MempoolEnv EmulatorEra _memPoolState :: MempoolState EmulatorEra _currentBlock :: EmulatorBlock _previousBlocks :: [ EmulatorBlock ]

Instances

Instances details

Show EmulatedLedgerState Source #
Instance details Defined in Cardano.Node.Emulator.Validation Methods showsPrec :: Int -> EmulatedLedgerState -> ShowS Source # show :: EmulatedLedgerState -> String Source # showList :: [ EmulatedLedgerState ] -> ShowS Source #

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin
Fields unCoin :: Integer

Instances

Instances details

Enum Coin
Instance details Defined in Cardano.Ledger.Coin Methods succ :: Coin -> Coin Source # pred :: Coin -> Coin Source # toEnum :: Int -> Coin Source # fromEnum :: Coin -> Int Source # enumFrom :: Coin -> [ Coin ] Source # enumFromThen :: Coin -> Coin -> [ Coin ] Source # enumFromTo :: Coin -> Coin -> [ Coin ] Source # enumFromThenTo :: Coin -> Coin -> Coin -> [ Coin ] Source #
Eq Coin
Instance details Defined in Cardano.Ledger.Coin Methods (==) :: Coin -> Coin -> Bool Source # (/=) :: Coin -> Coin -> Bool Source #
Ord Coin
Instance details Defined in Cardano.Ledger.Coin Methods compare :: Coin -> Coin -> Ordering Source # (<) :: Coin -> Coin -> Bool Source # (<=) :: Coin -> Coin -> Bool Source # (>) :: Coin -> Coin -> Bool Source # (>=) :: Coin -> Coin -> Bool Source # max :: Coin -> Coin -> Coin Source # min :: Coin -> Coin -> Coin Source #
Show Coin
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec :: Int -> Coin -> ShowS Source # show :: Coin -> String Source # showList :: [ Coin ] -> ShowS Source #
Generic Coin
Instance details Defined in Cardano.Ledger.Coin Associated Types type Rep Coin :: Type -> Type Source # Methods from :: Coin -> Rep Coin x Source # to :: Rep Coin x -> Coin Source #
Semigroup Coin
Instance details Defined in Cardano.Ledger.Coin Methods (<>) :: Coin -> Coin -> Coin Source # sconcat :: NonEmpty Coin -> Coin Source # stimes :: Integral b => b -> Coin -> Coin Source #
Monoid Coin
Instance details Defined in Cardano.Ledger.Coin Methods mempty :: Coin Source # mappend :: Coin -> Coin -> Coin Source # mconcat :: [ Coin ] -> Coin Source #
NFData Coin
Instance details Defined in Cardano.Ledger.Coin Methods rnf :: Coin -> () Source #
ToJSON Coin
Instance details Defined in Cardano.Ledger.Coin Methods toJSON :: Coin -> Value Source # toEncoding :: Coin -> Encoding Source # toJSONList :: [ Coin ] -> Value Source # toEncodingList :: [ Coin ] -> Encoding Source #
FromJSON Coin
Instance details Defined in Cardano.Ledger.Coin Methods parseJSON :: Value -> Parser Coin Source # parseJSONList :: Value -> Parser [ Coin ] Source #
FromCBOR Coin
Instance details Defined in Cardano.Ledger.Coin Methods fromCBOR :: Decoder s Coin Source # label :: Proxy Coin -> Text Source #
ToCBOR Coin
Instance details Defined in Cardano.Ledger.Coin Methods toCBOR :: Coin -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy Coin -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Coin ] -> Size Source #
Val Coin
Instance details Defined in Cardano.Ledger.Val Methods zero :: Coin Source # (<+>) :: Coin -> Coin -> Coin Source # (<×>) :: Integral i => i -> Coin -> Coin Source # (<->) :: Coin -> Coin -> Coin Source # isZero :: Coin -> Bool Source # coin :: Coin -> Coin Source # inject :: Coin -> Coin Source # modifyCoin :: ( Coin -> Coin ) -> Coin -> Coin Source # size :: Coin -> Integer Source # pointwise :: ( Integer -> Integer -> Bool ) -> Coin -> Coin -> Bool Source # isAdaOnly :: Coin -> Bool Source # isAdaOnlyCompact :: CompactForm Coin -> Bool Source # injectCompact :: CompactForm Coin -> CompactForm Coin Source #
DecodeNonNegative Coin
Instance details Defined in Cardano.Ledger.Val Methods decodeNonNegative :: Decoder s Coin Source #
DecodeMint Coin
Instance details Defined in Cardano.Ledger.Val Methods decodeMint :: Decoder s Coin Source #
EncodeMint Coin
Instance details Defined in Cardano.Ledger.Val Methods encodeMint :: Coin -> Encoding Source #
Compactible Coin
Instance details Defined in Cardano.Ledger.Coin Associated Types data CompactForm Coin Source # Methods toCompact :: Coin -> Maybe ( CompactForm Coin ) Source # fromCompact :: CompactForm Coin -> Coin Source #
HeapWords Coin
Instance details Defined in Cardano.Ledger.Coin Methods heapWords :: Coin -> Int Source #
Group Coin
Instance details Defined in Cardano.Ledger.Coin Methods invert :: Coin -> Coin Source # (~~) :: Coin -> Coin -> Coin Source # pow :: Integral x => Coin -> x -> Coin Source #
Abelian Coin
Instance details Defined in Cardano.Ledger.Coin
NoThunks Coin
Instance details Defined in Cardano.Ledger.Coin Methods noThunks :: Context -> Coin -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Coin -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy Coin -> String Source #
PartialOrd Coin
Instance details Defined in Cardano.Ledger.Coin Methods (<=) :: Coin -> Coin -> Bool Source # (>=) :: Coin -> Coin -> Bool Source # (==) :: Coin -> Coin -> Bool Source # (/=) :: Coin -> Coin -> Bool Source # (<) :: Coin -> Coin -> Bool Source # (>) :: Coin -> Coin -> Bool Source # compare :: Coin -> Coin -> Maybe Ordering Source #
HasField "txfee" ( TxBody era) Coin
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "txfee" ( TxBody era) Coin
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "txfee" ( TxBody era) Coin
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "txfee" ( TxBody era) Coin
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "totalCollateral" ( TxBody era) ( StrictMaybe Coin )
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe Coin Source #
Eq ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods (==) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (/=) :: CompactForm Coin -> CompactForm Coin -> Bool Source #
Show ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods showsPrec :: Int -> CompactForm Coin -> ShowS Source # show :: CompactForm Coin -> String Source # showList :: [ CompactForm Coin ] -> ShowS Source #
NFData ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods rnf :: CompactForm Coin -> () Source #
FromCBOR ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods fromCBOR :: Decoder s ( CompactForm Coin ) Source # label :: Proxy ( CompactForm Coin ) -> Text Source #
ToCBOR ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods toCBOR :: CompactForm Coin -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CompactForm Coin ) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactForm Coin ] -> Size Source #
HeapWords ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods heapWords :: CompactForm Coin -> Int Source #
Prim ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods sizeOf# :: CompactForm Coin -> Int# Source # alignment# :: CompactForm Coin -> Int# Source # indexByteArray# :: ByteArray# -> Int# -> CompactForm Coin Source # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm Coin #) Source # writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm Coin -> State# s -> State# s Source # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s Source # indexOffAddr# :: Addr# -> Int# -> CompactForm Coin Source # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm Coin #) Source # writeOffAddr# :: Addr# -> Int# -> CompactForm Coin -> State# s -> State# s Source # setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s Source #
NoThunks ( CompactForm Coin )
Instance details Defined in Cardano.Ledger.Coin Methods noThunks :: Context -> CompactForm Coin -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CompactForm Coin -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( CompactForm Coin ) -> String Source #
type Rep Coin
Instance details Defined in Cardano.Ledger.Coin type Rep Coin = D1 (' MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "Coin" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unCoin") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Integer )))
newtype CompactForm Coin
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm Coin = CompactCoin Word64

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo :: Word64

Instances

Instances details

Bounded SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: SlotNo Source # maxBound :: SlotNo Source #
Enum SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: SlotNo -> SlotNo Source # pred :: SlotNo -> SlotNo Source # toEnum :: Int -> SlotNo Source # fromEnum :: SlotNo -> Int Source # enumFrom :: SlotNo -> [ SlotNo ] Source # enumFromThen :: SlotNo -> SlotNo -> [ SlotNo ] Source # enumFromTo :: SlotNo -> SlotNo -> [ SlotNo ] Source # enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [ SlotNo ] Source #
Eq SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: SlotNo -> SlotNo -> Bool Source # (/=) :: SlotNo -> SlotNo -> Bool Source #
Num SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: SlotNo -> SlotNo -> SlotNo Source # (-) :: SlotNo -> SlotNo -> SlotNo Source # (*) :: SlotNo -> SlotNo -> SlotNo Source # negate :: SlotNo -> SlotNo Source # abs :: SlotNo -> SlotNo Source # signum :: SlotNo -> SlotNo Source # fromInteger :: Integer -> SlotNo Source #
Ord SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: SlotNo -> SlotNo -> Ordering Source # (<) :: SlotNo -> SlotNo -> Bool Source # (<=) :: SlotNo -> SlotNo -> Bool Source # (>) :: SlotNo -> SlotNo -> Bool Source # (>=) :: SlotNo -> SlotNo -> Bool Source # max :: SlotNo -> SlotNo -> SlotNo Source # min :: SlotNo -> SlotNo -> SlotNo Source #
Show SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> SlotNo -> ShowS Source # show :: SlotNo -> String Source # showList :: [ SlotNo ] -> ShowS Source #
Generic SlotNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo :: Type -> Type Source # Methods from :: SlotNo -> Rep SlotNo x Source # to :: Rep SlotNo x -> SlotNo Source #
NFData SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: SlotNo -> () Source #
ToJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: SlotNo -> Value Source # toEncoding :: SlotNo -> Encoding Source # toJSONList :: [ SlotNo ] -> Value Source # toEncodingList :: [ SlotNo ] -> Encoding Source #
FromJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser SlotNo Source # parseJSONList :: Value -> Parser [ SlotNo ] Source #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s SlotNo Source # label :: Proxy SlotNo -> Text Source #
ToCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: SlotNo -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy SlotNo -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SlotNo ] -> Size Source #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> SlotNo -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SlotNo -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy SlotNo -> String Source #
Serialise SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: SlotNo -> Encoding Source # decode :: Decoder s SlotNo Source # encodeList :: [ SlotNo ] -> Encoding Source # decodeList :: Decoder s [ SlotNo ] Source #
HasField "ttl" ( TxBody era) SlotNo
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> SlotNo Source #
HasHeader block => Anchorable ( WithOrigin SlotNo ) ( Anchor block) block
Instance details Defined in Ouroboros.Network.AnchoredFragment Methods asAnchor :: block -> Anchor block Source # getAnchorMeasure :: Proxy block -> Anchor block -> WithOrigin SlotNo Source #
Anchorable ( WithOrigin SlotNo ) ( HeaderState blk) ( HeaderState blk)	Used by `HeaderStateHistory` but defined here, where it is not an orphan.
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods asAnchor :: HeaderState blk -> HeaderState blk Source # getAnchorMeasure :: Proxy ( HeaderState blk) -> HeaderState blk -> WithOrigin SlotNo Source #
GetTip l => Anchorable ( WithOrigin SlotNo ) (Checkpoint l) (Checkpoint l)
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods asAnchor :: Checkpoint l -> Checkpoint l Source # getAnchorMeasure :: Proxy (Checkpoint l) -> Checkpoint l -> WithOrigin SlotNo Source #
HasExp ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo )
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toExp :: StakeCreds era -> Exp ( Map ( Credential ' Staking era) SlotNo ) Source #
Embed ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo )
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toBase :: StakeCreds era -> Map ( Credential ' Staking era) SlotNo Source # fromBase :: Map ( Credential ' Staking era) SlotNo -> StakeCreds era Source #
type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 (' MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "SlotNo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unSlotNo") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

type EmulatorEra = BabbageEra StandardCrypto Source #

The default era for the emulator

type CardanoLedgerError = Either ValidationErrorInPhase ToCardanoError Source #

initialState :: Params -> EmulatedLedgerState Source #

Initial ledger state for a distribution

hasValidationErrors :: Params -> SlotNo -> UTxO EmulatorEra -> Tx BabbageEra -> Either ValidationErrorInPhase ValidationSuccess Source #

makeTransactionBody :: Params -> UTxO EmulatorEra -> CardanoBuildTx -> Either CardanoLedgerError ( TxBody BabbageEra ) Source #

validateCardanoTx :: Params -> Slot -> UTxO EmulatorEra -> CardanoTx -> Either ValidationErrorInPhase ValidationSuccess Source #

Modifying the state

makeBlock :: EmulatedLedgerState -> EmulatedLedgerState Source #

Make a block with all transactions that have been validated in the current block, add the block to the blockchain, and empty the current block.

setSlot :: SlotNo -> EmulatedLedgerState -> EmulatedLedgerState Source #

Set the slot number

nextSlot :: EmulatedLedgerState -> EmulatedLedgerState Source #

Increase the slot number by one

newtype UTxO era Source #

The unspent transaction outputs.

Constructors

UTxO
Fields unUTxO :: Map ( TxIn ( Crypto era)) ( TxOut era)

Instances

Instances details

( Eq ( TxOut era), Crypto ( Crypto era)) => Eq ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods (==) :: UTxO era -> UTxO era -> Bool Source # (/=) :: UTxO era -> UTxO era -> Bool Source #
( Show ( TxOut era), Crypto ( Crypto era)) => Show ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods showsPrec :: Int -> UTxO era -> ShowS Source # show :: UTxO era -> String Source # showList :: [ UTxO era] -> ShowS Source #
Generic ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Associated Types type Rep ( UTxO era) :: Type -> Type Source # Methods from :: UTxO era -> Rep ( UTxO era) x Source # to :: Rep ( UTxO era) x -> UTxO era Source #
Semigroup ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods (<>) :: UTxO era -> UTxO era -> UTxO era Source # sconcat :: NonEmpty ( UTxO era) -> UTxO era Source # stimes :: Integral b => b -> UTxO era -> UTxO era Source #
Crypto ( Crypto era) => Monoid ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods mempty :: UTxO era Source # mappend :: UTxO era -> UTxO era -> UTxO era Source # mconcat :: [ UTxO era] -> UTxO era Source #
( Era era, NFData ( TxOut era)) => NFData ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods rnf :: UTxO era -> () Source #
( FromCBOR ( TxOut era), Era era) => FromCBOR ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods fromCBOR :: Decoder s ( UTxO era) Source # label :: Proxy ( UTxO era) -> Text Source #
( Era era, ToCBOR ( TxOut era)) => ToCBOR ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods toCBOR :: UTxO era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( UTxO era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ UTxO era] -> Size Source #
( Crypto ( Crypto era), FromSharedCBOR ( TxOut era), Share ( TxOut era) ~ Interns ( Credential ' Staking ( Crypto era))) => FromSharedCBOR ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Associated Types type Share ( UTxO era) Source # Methods getShare :: UTxO era -> Share ( UTxO era) Source # fromSharedCBOR :: Share ( UTxO era) -> Decoder s ( UTxO era) Source # fromSharedPlusCBOR :: StateT ( Share ( UTxO era)) ( Decoder s) ( UTxO era) Source #
Default ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods def :: UTxO era Source #
TransUTxO NoThunks era => NoThunks ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods noThunks :: Context -> UTxO era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> UTxO era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( UTxO era) -> String Source #
type Rep ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO type Rep ( UTxO era) = D1 (' MetaData "UTxO" "Cardano.Ledger.Shelley.UTxO" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "UTxO" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unUTxO") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( TxIn ( Crypto era)) ( TxOut era)))))
type Share ( UTxO era)
Instance details Defined in Cardano.Ledger.Shelley.UTxO type Share ( UTxO era) = Interns ( Credential ' Staking ( Crypto era))
type TranslationError ( AlonzoEra c) UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError ( AlonzoEra c) UTxO = Void
type TranslationError ( BabbageEra c) UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) UTxO = Void
type TranslationError ( AllegraEra c) UTxO
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) UTxO = Void
type TranslationError ( MaryEra c) UTxO
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) UTxO = Void

setUtxo :: UTxO EmulatorEra -> EmulatedLedgerState -> EmulatedLedgerState Source #

Set the utxo

Lenses

ledgerEnv :: Lens' EmulatedLedgerState ( MempoolEnv EmulatorEra ) Source #

memPoolState :: Lens' EmulatedLedgerState ( MempoolState EmulatorEra ) Source #

currentBlock :: Lens' EmulatedLedgerState EmulatorBlock Source #

previousBlocks :: Lens' EmulatedLedgerState [ EmulatorBlock ] Source #

Etc.

emulatorGlobals :: Params -> Globals Source #

A sensible default Globals value for the emulator