Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.TxGenerator.Types

Description

Documentation

type ShelleyGenesis = ShelleyGenesis StandardCrypto Source #

type NumberOfTxs = Int Source #

type TPSRate = Double Source #

data TxGenError where Source #

Constructors

ApiError :: Error e => !e -> TxGenError
ProtocolError :: Error e => !e -> TxGenError
PlutusError :: Show e => !e -> TxGenError
TxGenError :: !String -> TxGenError

Instances

Instances details

Semigroup TxGenError Source #
Instance details Defined in Cardano.TxGenerator.Types Methods (<>) :: TxGenError -> TxGenError -> TxGenError Source # sconcat :: NonEmpty TxGenError -> TxGenError Source # stimes :: Integral b => b -> TxGenError -> TxGenError Source #
Show TxGenError Source #
Instance details Defined in Cardano.TxGenerator.Types Methods showsPrec :: Int -> TxGenError -> ShowS Source # show :: TxGenError -> String Source # showList :: [TxGenError] -> ShowS Source #
Error TxGenError Source #
Instance details Defined in Cardano.TxGenerator.Types Methods prettyError :: TxGenError -> Doc ann #

data TxEnvironment era Source #

Constructors

TxEnvironment
Fields txEnvNetworkId :: !NetworkId txEnvProtocolParams :: !ProtocolParameters txEnvFee :: TxFee era txEnvMetadata :: TxMetadataInEra era

type TxGenerator era = [Fund] -> [TxOut CtxTx era] -> Either TxGenError (Tx era, TxId) Source #

type NumberOfInputsPerTx = Int Source #

type NumberOfOutputsPerTx = Int Source #

type TxAdditionalSize = Int Source #

type FundSource m = m (Either TxGenError [Fund]) Source #

type FundToStore m = Fund -> m () Source #

type FundToStoreList m = [Fund] -> m () Source #

data PayWithChange Source #

Constructors

PayExact [Lovelace]
PayWithChange Lovelace [Lovelace]

data TxGenTxParams Source #

Constructors

TxGenTxParams
Fields txParamFee :: !Lovelace Transaction fee, in Lovelace txParamAddTxSize :: !Int Extra transaction payload, in bytes -- Note [Tx additional size] txParamTTL :: !SlotNo Time-to-live

Instances

Instances details

FromJSON TxGenTxParams Source #
Instance details Defined in Cardano.Benchmarking.Script.Aeson Methods parseJSON :: Value -> Parser TxGenTxParams # parseJSONList :: Value -> Parser [TxGenTxParams] # omittedField :: Maybe TxGenTxParams #
ToJSON TxGenTxParams Source #
Instance details Defined in Cardano.TxGenerator.Script.Types Methods toJSON :: TxGenTxParams -> Value # toEncoding :: TxGenTxParams -> Encoding # toJSONList :: [TxGenTxParams] -> Value # toEncodingList :: [TxGenTxParams] -> Encoding # omitField :: TxGenTxParams -> Bool #
ToJSON TxGenTxParams Source #
Instance details Defined in Cardano.Benchmarking.Script.Aeson Methods toJSON :: TxGenTxParams -> Value # toEncoding :: TxGenTxParams -> Encoding # toJSONList :: [TxGenTxParams] -> Value # toEncodingList :: [TxGenTxParams] -> Encoding # omitField :: TxGenTxParams -> Bool #
Generic TxGenTxParams Source #
Instance details Defined in Cardano.TxGenerator.Script.Types Associated Types type Rep TxGenTxParams :: Type -> Type Source # Methods from :: TxGenTxParams -> Rep TxGenTxParams x Source # to :: Rep TxGenTxParams x -> TxGenTxParams Source #
Generic TxGenTxParams Source #
Instance details Defined in Cardano.Benchmarking.Script.Aeson Associated Types type Rep TxGenTxParams :: Type -> Type Source # Methods from :: TxGenTxParams -> Rep TxGenTxParams x Source # to :: Rep TxGenTxParams x -> TxGenTxParams Source #
Show TxGenTxParams Source #
Instance details Defined in Cardano.TxGenerator.Types Methods showsPrec :: Int -> TxGenTxParams -> ShowS Source # show :: TxGenTxParams -> String Source # showList :: [TxGenTxParams] -> ShowS Source #
Eq TxGenTxParams Source #
Instance details Defined in Cardano.TxGenerator.Types Methods (==) :: TxGenTxParams -> TxGenTxParams -> Bool Source # (/=) :: TxGenTxParams -> TxGenTxParams -> Bool Source #
type Rep TxGenTxParams Source #
Instance details Defined in Cardano.TxGenerator.Script.Types type Rep TxGenTxParams = D1 ('MetaData "TxGenTxParams" "Cardano.TxGenerator.Types" "tx-generator-2.11-inplace" 'False) (C1 ('MetaCons "TxGenTxParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "txParamFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Lovelace) :: (S1 ('MetaSel ('Just "txParamAddTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "txParamTTL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))))
type Rep TxGenTxParams Source #
Instance details Defined in Cardano.Benchmarking.Script.Aeson type Rep TxGenTxParams = D1 ('MetaData "TxGenTxParams" "Cardano.TxGenerator.Types" "tx-generator-2.11-inplace" 'False) (C1 ('MetaCons "TxGenTxParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "txParamFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Lovelace) :: (S1 ('MetaSel ('Just "txParamAddTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "txParamTTL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))))

data TxGenConfig Source #

Constructors

TxGenConfig
Fields confMinUtxoValue :: !Lovelace Minimum value required per UTxO entry confTxsPerSecond :: !Double Strength of generated workload, in transactions per second confInitCooldown :: !Double Delay between init and main submissions in seconds confTxsInputs :: !NumberOfInputsPerTx Inputs per transaction confTxsOutputs :: !NumberOfOutputsPerTx Outputs per transaction

Instances

Instances details

Show TxGenConfig Source #
Instance details Defined in Cardano.TxGenerator.Types Methods showsPrec :: Int -> TxGenConfig -> ShowS Source # show :: TxGenConfig -> String Source # showList :: [TxGenConfig] -> ShowS Source #
Eq TxGenConfig Source #
Instance details Defined in Cardano.TxGenerator.Types Methods (==) :: TxGenConfig -> TxGenConfig -> Bool Source # (/=) :: TxGenConfig -> TxGenConfig -> Bool Source #

data TxGenPlutusType Source #

Constructors

LimitSaturationLoop	Generate Txs for a Plutus loop script, choosing settings to max out per Tx script budget
LimitTxPerBlock_8	Generate Txs for a Plutus loop script, choosing settings to best fit 8 Txs into block script budget
BenchCustomCall	Built-in script for benchmarking various complexity of data passed via Plutus API
CustomScript

Instances

Instances details

FromJSON TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types Methods parseJSON :: Value -> Parser TxGenPlutusType # parseJSONList :: Value -> Parser [TxGenPlutusType] # omittedField :: Maybe TxGenPlutusType #
ToJSON TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types Methods toJSON :: TxGenPlutusType -> Value # toEncoding :: TxGenPlutusType -> Encoding # toJSONList :: [TxGenPlutusType] -> Value # toEncodingList :: [TxGenPlutusType] -> Encoding # omitField :: TxGenPlutusType -> Bool #
Enum TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types Methods succ :: TxGenPlutusType -> TxGenPlutusType Source # pred :: TxGenPlutusType -> TxGenPlutusType Source # toEnum :: Int -> TxGenPlutusType Source # fromEnum :: TxGenPlutusType -> Int Source # enumFrom :: TxGenPlutusType -> [TxGenPlutusType] Source # enumFromThen :: TxGenPlutusType -> TxGenPlutusType -> [TxGenPlutusType] Source # enumFromTo :: TxGenPlutusType -> TxGenPlutusType -> [TxGenPlutusType] Source # enumFromThenTo :: TxGenPlutusType -> TxGenPlutusType -> TxGenPlutusType -> [TxGenPlutusType] Source #
Generic TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types Associated Types type Rep TxGenPlutusType :: Type -> Type Source # Methods from :: TxGenPlutusType -> Rep TxGenPlutusType x Source # to :: Rep TxGenPlutusType x -> TxGenPlutusType Source #
Show TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types Methods showsPrec :: Int -> TxGenPlutusType -> ShowS Source # show :: TxGenPlutusType -> String Source # showList :: [TxGenPlutusType] -> ShowS Source #
Eq TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types Methods (==) :: TxGenPlutusType -> TxGenPlutusType -> Bool Source # (/=) :: TxGenPlutusType -> TxGenPlutusType -> Bool Source #
type Rep TxGenPlutusType Source #
Instance details Defined in Cardano.TxGenerator.Types type Rep TxGenPlutusType = D1 ('MetaData "TxGenPlutusType" "Cardano.TxGenerator.Types" "tx-generator-2.11-inplace" 'False) ((C1 ('MetaCons "LimitSaturationLoop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LimitTxPerBlock_8" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BenchCustomCall" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CustomScript" 'PrefixI 'False) (U1 :: Type -> Type)))

data TxGenPlutusParams Source #

Constructors

PlutusOn	Generate Plutus Txs for given script
Fields plutusType :: !TxGenPlutusType plutusScript :: !(Either String FilePath) Path to the Plutus script plutusDatum :: !(Maybe FilePath) Datum passed to the Plutus script (JSON file in ScriptData schema) plutusRedeemer :: !(Maybe FilePath) Redeemer passed to the Plutus script (JSON file in ScriptData schema) plutusExecMemory :: !(Maybe Natural) Max. memory for ExecutionUnits (overriding corresponding protocol parameter) plutusExecSteps :: !(Maybe Natural) Max. steps for ExecutionUnits (overriding corresponding protocol parameter)
PlutusOff	Do not generate Plutus Txs

Instances

Instances details

FromJSON TxGenPlutusParams Source #	This deserialization is not a general one for that type, but custom-tailored to the service definition in: nixnixostx-generator-service.nix
Instance details Defined in Cardano.TxGenerator.Setup.NixService Methods parseJSON :: Value -> Parser TxGenPlutusParams # parseJSONList :: Value -> Parser [TxGenPlutusParams] # omittedField :: Maybe TxGenPlutusParams #
Show TxGenPlutusParams Source #
Instance details Defined in Cardano.TxGenerator.Types Methods showsPrec :: Int -> TxGenPlutusParams -> ShowS Source # show :: TxGenPlutusParams -> String Source # showList :: [TxGenPlutusParams] -> ShowS Source #
Eq TxGenPlutusParams Source #
Instance details Defined in Cardano.TxGenerator.Types Methods (==) :: TxGenPlutusParams -> TxGenPlutusParams -> Bool Source # (/=) :: TxGenPlutusParams -> TxGenPlutusParams -> Bool Source #

data PlutusAutoBudget Source #

Constructors

PlutusAutoBudget	Specifies a budget and parameters for a PlutusAuto loop script
Fields autoBudgetUnits :: !ExecutionUnits execution units available per Tx input / script run autoBudgetDatum :: !ScriptData datum for the auto script autoBudgetRedeemer :: !ScriptRedeemer valid redeemer for the auto script

Instances

Instances details

Show PlutusAutoBudget Source #
Instance details Defined in Cardano.TxGenerator.Types Methods showsPrec :: Int -> PlutusAutoBudget -> ShowS Source # show :: PlutusAutoBudget -> String Source # showList :: [PlutusAutoBudget] -> ShowS Source #
Eq PlutusAutoBudget Source #
Instance details Defined in Cardano.TxGenerator.Types Methods (==) :: PlutusAutoBudget -> PlutusAutoBudget -> Bool Source # (/=) :: PlutusAutoBudget -> PlutusAutoBudget -> Bool Source #

defaultTxGenTxParams :: TxGenTxParams Source #

isPlutusMode :: TxGenPlutusParams -> Bool Source #

hasLoopCalibration :: TxGenPlutusType -> Bool Source #

hasStaticBudget :: TxGenPlutusParams -> Maybe ExecutionUnits Source #