Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Generator

Synopsis

networkId :: NetworkId
data Dataset = Dataset {
- fundingTransaction :: Tx
- clientDatasets :: [ClientDataset]
- title :: Maybe Text
- description :: Maybe Text
}
data ClientKeys = ClientKeys {
- signingKey :: SigningKey PaymentKey
- externalSigningKey :: SigningKey PaymentKey
}
data ClientDataset = ClientDataset {
- clientKeys :: ClientKeys
- initialUTxO :: UTxO
- txSequence :: [Tx]
}
defaultProtocolParameters :: ProtocolParameters
generateConstantUTxODataset :: ProtocolParameters -> Int -> Int -> IO Dataset
genDatasetConstantUTxO :: SigningKey PaymentKey -> ProtocolParameters -> Int -> Int -> Gen Dataset

Documentation

networkId :: NetworkId Source #

data Dataset Source #

A Dataset that can be run for testing purpose. Each Dataset represents a complete scenario where several ClientDataset are run concurrently against one or more HydraNodes. A dataset can optionally have a title and description which will be used to report results.

Constructors

Dataset
Fields fundingTransaction :: Tx clientDatasets :: [ClientDataset] title :: Maybe Text description :: Maybe Text

Instances

Instances details

Arbitrary Dataset Source #
Instance details Defined in Hydra.Generator Methods arbitrary :: Gen Dataset shrink :: Dataset -> [Dataset]
Generic Dataset Source #
Instance details Defined in Hydra.Generator Associated Types type Rep Dataset :: Type -> Type Source # Methods from :: Dataset -> Rep Dataset x Source # to :: Rep Dataset x -> Dataset Source #
Show Dataset Source #
Instance details Defined in Hydra.Generator Methods showsPrec :: Int -> Dataset -> ShowS Source # show :: Dataset -> String Source # showList :: [Dataset] -> ShowS Source #
FromCBOR Dataset Source #
Instance details Defined in Hydra.Generator Methods fromCBOR :: Decoder s Dataset label :: Proxy Dataset -> Text
ToCBOR Dataset Source #
Instance details Defined in Hydra.Generator Methods toCBOR :: Dataset -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Dataset -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Dataset] -> Size
type Rep Dataset Source #
Instance details Defined in Hydra.Generator type Rep Dataset = D1 ('MetaData "Dataset" "Hydra.Generator" "hydra-cluster-0.16.0-H5lzY9AHDZU1l7EKaIl1Ia" 'False) (C1 ('MetaCons "Dataset" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fundingTransaction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx) :: S1 ('MetaSel ('Just "clientDatasets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ClientDataset])) :: (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ClientKeys Source #

Constructors

ClientKeys
Fields signingKey :: SigningKey PaymentKey Key used by the hydra-node to authorize hydra transactions and holding fuel. externalSigningKey :: SigningKey PaymentKey Key holding funds to commit.

Instances

Instances details

Arbitrary ClientKeys Source #
Instance details Defined in Hydra.Generator Methods arbitrary :: Gen ClientKeys shrink :: ClientKeys -> [ClientKeys]
Show ClientKeys Source #
Instance details Defined in Hydra.Generator Methods showsPrec :: Int -> ClientKeys -> ShowS Source # show :: ClientKeys -> String Source # showList :: [ClientKeys] -> ShowS Source #
FromCBOR ClientKeys Source #
Instance details Defined in Hydra.Generator Methods fromCBOR :: Decoder s ClientKeys label :: Proxy ClientKeys -> Text
ToCBOR ClientKeys Source #
Instance details Defined in Hydra.Generator Methods toCBOR :: ClientKeys -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ClientKeys -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ClientKeys] -> Size

data ClientDataset Source #

Constructors

ClientDataset
Fields clientKeys :: ClientKeys initialUTxO :: UTxO txSequence :: [Tx]

Instances

Instances details

Generic ClientDataset Source #
Instance details Defined in Hydra.Generator Associated Types type Rep ClientDataset :: Type -> Type Source # Methods from :: ClientDataset -> Rep ClientDataset x Source # to :: Rep ClientDataset x -> ClientDataset Source #
Show ClientDataset Source #
Instance details Defined in Hydra.Generator Methods showsPrec :: Int -> ClientDataset -> ShowS Source # show :: ClientDataset -> String Source # showList :: [ClientDataset] -> ShowS Source #
FromCBOR ClientDataset Source #
Instance details Defined in Hydra.Generator Methods fromCBOR :: Decoder s ClientDataset label :: Proxy ClientDataset -> Text
ToCBOR ClientDataset Source #
Instance details Defined in Hydra.Generator Methods toCBOR :: ClientDataset -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ClientDataset -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ClientDataset] -> Size
type Rep ClientDataset Source #
Instance details Defined in Hydra.Generator type Rep ClientDataset = D1 ('MetaData "ClientDataset" "Hydra.Generator" "hydra-cluster-0.16.0-H5lzY9AHDZU1l7EKaIl1Ia" 'False) (C1 ('MetaCons "ClientDataset" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClientKeys) :: (S1 ('MetaSel ('Just "initialUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTxO) :: S1 ('MetaSel ('Just "txSequence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Tx]))))

defaultProtocolParameters :: ProtocolParameters Source #

generateConstantUTxODataset Source #

Arguments

:: ProtocolParameters
-> Int	Number of clients
-> Int	Number of transactions
-> IO Dataset

Generate Dataset which does not grow the per-client UTXO set over time. The sequence of transactions generated consist only of simple payments from and to arbitrary keys controlled by the individual clients.

genDatasetConstantUTxO Source #

Arguments

:: SigningKey PaymentKey	The faucet signing key
-> ProtocolParameters
-> Int	Number of clients
-> Int	Number of transactions
-> Gen Dataset