tests
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Chain.Direct.Contract.Init

Description

Mutation-based script validator tests for the init transaction where a healthyInitTx gets mutated by an arbitrary InitMutation.

Documentation

healthyInitTx :: (Tx, UTxO) Source #

healthyHeadParameters :: HeadParameters Source #

data InitMutation Source #

Instances

Instances details
Bounded InitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

Enum InitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

Generic InitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

Associated Types

type Rep InitMutation :: Type -> Type Source #

Show InitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

type Rep InitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

type Rep InitMutation = D1 ('MetaData "InitMutation" "Hydra.Chain.Direct.Contract.Init" "main" 'False) (((C1 ('MetaCons "MintTooManyTokens" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateAddAnotherPT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MutateDropInitialOutput" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateDropSeedInput" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MutateInitialOutputValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateHeadIdInDatum" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MutateHeadIdInInitialDatum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateSeedInDatum" 'PrefixI 'False) (U1 :: Type -> Type))))

data ObserveInitMutation Source #

Constructors

MutateSomePT 

Instances

Instances details
Bounded ObserveInitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

Enum ObserveInitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

Generic ObserveInitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

Associated Types

type Rep ObserveInitMutation :: Type -> Type Source #

Show ObserveInitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

type Rep ObserveInitMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Init

type Rep ObserveInitMutation = D1 ('MetaData "ObserveInitMutation" "Hydra.Chain.Direct.Contract.Init" "main" 'False) (C1 ('MetaCons "MutateSomePT" 'PrefixI 'False) (U1 :: Type -> Type))

genInitMutation :: (Tx, UTxO) -> Gen SomeMutation Source #