Safe Haskell	Safe-Inferred
Language	Haskell2010

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 #

healthySeedInput :: TxIn Source #

healthyParties :: [Party] Source #

healthyCardanoKeys :: [VerificationKey PaymentKey] Source #

healthyLookupUTxO :: UTxO Source #

data InitMutation Source #

Constructors

MintTooManyTokens	Mint more than one ST and PTs.
MutateAddAnotherPT
MutateDropInitialOutput
MutateDropSeedInput
MutateInitialOutputValue
MutateHeadIdInDatum
MutateSeedInDatum

Instances

Instances details

Bounded InitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Methods minBound :: InitMutation Source # maxBound :: InitMutation Source #
Enum InitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Methods succ :: InitMutation -> InitMutation Source # pred :: InitMutation -> InitMutation Source # toEnum :: Int -> InitMutation Source # fromEnum :: InitMutation -> Int Source # enumFrom :: InitMutation -> [InitMutation] Source # enumFromThen :: InitMutation -> InitMutation -> [InitMutation] Source # enumFromTo :: InitMutation -> InitMutation -> [InitMutation] Source # enumFromThenTo :: InitMutation -> InitMutation -> InitMutation -> [InitMutation] Source #
Generic InitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Associated Types type Rep InitMutation :: Type -> Type Source # Methods from :: InitMutation -> Rep InitMutation x Source # to :: Rep InitMutation x -> InitMutation Source #
Show InitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Methods showsPrec :: Int -> InitMutation -> ShowS Source # show :: InitMutation -> String Source # showList :: [InitMutation] -> ShowS Source #
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 "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 Methods minBound :: ObserveInitMutation Source # maxBound :: ObserveInitMutation Source #
Enum ObserveInitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Methods succ :: ObserveInitMutation -> ObserveInitMutation Source # pred :: ObserveInitMutation -> ObserveInitMutation Source # toEnum :: Int -> ObserveInitMutation Source # fromEnum :: ObserveInitMutation -> Int Source # enumFrom :: ObserveInitMutation -> [ObserveInitMutation] Source # enumFromThen :: ObserveInitMutation -> ObserveInitMutation -> [ObserveInitMutation] Source # enumFromTo :: ObserveInitMutation -> ObserveInitMutation -> [ObserveInitMutation] Source # enumFromThenTo :: ObserveInitMutation -> ObserveInitMutation -> ObserveInitMutation -> [ObserveInitMutation] Source #
Generic ObserveInitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Associated Types type Rep ObserveInitMutation :: Type -> Type Source # Methods from :: ObserveInitMutation -> Rep ObserveInitMutation x Source # to :: Rep ObserveInitMutation x -> ObserveInitMutation Source #
Show ObserveInitMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.Init Methods showsPrec :: Int -> ObserveInitMutation -> ShowS Source # show :: ObserveInitMutation -> String Source # showList :: [ObserveInitMutation] -> ShowS Source #
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 #