Safe Haskell	None
Language	Haskell2010

Cardano.Node.Emulator.Internal.Node.Params

Contents

cardano-ledger specific types and conversion functions
Orphan instances

Description

The set of parameters, like protocol parameters and slot configuration.

Synopsis

data Params = Params {
- pSlotConfig :: !SlotConfig
- emulatorPParams :: !PParams
- pNetworkId :: !NetworkId
}
paramsWithProtocolsParameters :: SlotConfig -> ProtocolParameters -> NetworkId -> Params
slotConfigL :: Lens' Params SlotConfig
emulatorPParamsL :: Lens' Params PParams
pParamsFromProtocolParams :: ProtocolParameters -> PParams
pProtocolParams :: Params -> ProtocolParameters
protocolParamsL :: Lens' Params ProtocolParameters
networkIdL :: Lens' Params NetworkId
increaseTransactionLimits :: Params -> Params
increaseTransactionLimits' :: Natural -> Natural -> Natural -> Params -> Params
genesisDefaultsFromParams :: Params -> ShelleyGenesis EmulatorEra
type EmulatorEra = BabbageEra StandardCrypto
type PParams = PParams EmulatorEra
slotLength :: Params -> SlotLength
testnet :: NetworkId
emulatorEpochSize :: EpochSize
emulatorGlobals :: Params -> Globals
emulatorEraHistory :: Params -> EraHistory CardanoMode

Documentation

data Params Source #

Constructors

Params
Fields pSlotConfig :: !SlotConfig emulatorPParams :: !PParams Convert `Params` to cardano-ledger `PParams` pNetworkId :: !NetworkId

Instances

Instances details

Eq Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Methods (==) :: Params -> Params -> Bool Source # (/=) :: Params -> Params -> Bool Source #
Show Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Methods showsPrec :: Int -> Params -> ShowS Source # show :: Params -> String Source # showList :: [Params] -> ShowS Source #
Generic Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Associated Types type Rep Params :: Type -> Type Source # Methods from :: Params -> Rep Params x Source # to :: Rep Params x -> Params Source #
FromJSON Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Methods parseJSON :: Value -> Parser Params parseJSONList :: Value -> Parser [Params]
ToJSON Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Methods toJSON :: Params -> Value toEncoding :: Params -> Encoding toJSONList :: [Params] -> Value toEncodingList :: [Params] -> Encoding
Default Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Methods def :: Params
Pretty Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params Methods pretty :: Params -> Doc ann prettyList :: [Params] -> Doc ann
IsRunnable EmulatorM Source #
Instance details Defined in Cardano.Node.Emulator.Test Methods awaitSlot :: SlotNo -> EmulatorM ()
HasChainIndex EmulatorM Source #
Instance details Defined in Cardano.Node.Emulator.Test Methods getChainIndex :: EmulatorM ChainIndex getChainState :: EmulatorM ChainState
type Rep Params Source #
Instance details Defined in Cardano.Node.Emulator.Internal.Node.Params type Rep Params = D1 ('MetaData "Params" "Cardano.Node.Emulator.Internal.Node.Params" "cardano-node-emulator-1.2.0.0-1RjxyDmnwHSAn2KgGdAUXD" 'False) (C1 ('MetaCons "Params" 'PrefixI 'True) (S1 ('MetaSel ('Just "pSlotConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotConfig) :: (S1 ('MetaSel ('Just "emulatorPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PParams) :: S1 ('MetaSel ('Just "pNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkId))))
type Realized EmulatorM a
Instance details Defined in Cardano.Node.Emulator.Test type Realized EmulatorM a = a

paramsWithProtocolsParameters :: SlotConfig -> ProtocolParameters -> NetworkId -> Params Source #

slotConfigL :: Lens' Params SlotConfig Source #

emulatorPParamsL :: Lens' Params PParams Source #

pParamsFromProtocolParams :: ProtocolParameters -> PParams Source #

pProtocolParams :: Params -> ProtocolParameters Source #

protocolParamsL :: Lens' Params ProtocolParameters Source #

networkIdL :: Lens' Params NetworkId Source #

increaseTransactionLimits :: Params -> Params Source #

Set higher limits on transaction size and execution units. This can be used to work around MaxTxSizeUTxO and ExUnitsTooBigUTxO errors. Note that if you need this your Plutus script will probably not validate on Mainnet.

increaseTransactionLimits' :: Natural -> Natural -> Natural -> Params -> Params Source #

genesisDefaultsFromParams :: Params -> ShelleyGenesis EmulatorEra Source #

cardano-ledger specific types and conversion functions

type EmulatorEra = BabbageEra StandardCrypto Source #

The default era for the emulator

type PParams = PParams EmulatorEra Source #

slotLength :: Params -> SlotLength Source #

Calculate the cardano-ledger SlotLength

testnet :: NetworkId #

emulatorEpochSize :: EpochSize Source #

A sensible default EpochSize value for the emulator

emulatorGlobals :: Params -> Globals Source #

A sensible default Globals value for the emulator

emulatorEraHistory :: Params -> EraHistory CardanoMode Source #

A sensible default EraHistory value for the emulator

Orphan instances

FromJSON NetworkId Source #
Instance details Methods parseJSON :: Value -> Parser NetworkId parseJSONList :: Value -> Parser [NetworkId]
FromJSON NetworkMagic Source #
Instance details Methods parseJSON :: Value -> Parser NetworkMagic parseJSONList :: Value -> Parser [NetworkMagic]
ToJSON NetworkId Source #
Instance details Methods toJSON :: NetworkId -> Value toEncoding :: NetworkId -> Encoding toJSONList :: [NetworkId] -> Value toEncodingList :: [NetworkId] -> Encoding
ToJSON NetworkMagic Source #
Instance details Methods toJSON :: NetworkMagic -> Value toEncoding :: NetworkMagic -> Encoding toJSONList :: [NetworkMagic] -> Value toEncodingList :: [NetworkMagic] -> Encoding
Default ProtocolParameters Source #
Instance details Methods def :: ProtocolParameters