tests
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Chain.Direct.Contract.CollectCom

Documentation

healthyCollectComTx :: (Tx, UTxO) Source #

healthyParticipants :: [VerificationKey PaymentKey] Source #

healthyCommits :: Map TxIn HealthyCommit Source #

healthyContestationPeriod :: ContestationPeriod Source #

healthyHeadTxIn :: TxIn Source #

healthyHeadTxOut :: TxOut CtxUTxO Source #

healthyCollectComInitialDatum :: State Source #

healthyOnChainParties :: [Party] Source #

healthyParties :: [Party] Source #

data HealthyCommit Source #

Constructors

HealthyCommit 

Fields

Instances

Instances details
Show HealthyCommit Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.CollectCom

Methods

showsPrec :: Int -> HealthyCommit -> ShowS Source #

show :: HealthyCommit -> String Source #

showList :: [HealthyCommit] -> ShowS Source #

healthyCommitOutput :: OnChainId -> Party -> UTxO -> (TxIn, HealthyCommit) Source #

data CollectComMutation Source #

Constructors

NotContinueContract

Ensures collectCom does not allow any output address but νHead.

ExtractSomeValue

Needs to prevent that not all value is collected into the head output.

MutateOpenUTxOHash 
MutateCommitToInitial

Ensures collectCom cannot collect from an initial UTxO.

MutateNumberOfParties

Every party should have commited and been taken into account for the collectCom transaction to be valid. Here we increase the number of parties in input and output but keep the commits unchanged. This simulates the situation where one participant would not have commited already or whose commit would have been ignored by the collectCom transaction.

MutateHeadId 
MutateRequiredSigner 
MutateTokenMintingOrBurning

Minting or burning of tokens should not be possible in collectCom.

RemoveSTFromOutput

νCommit validator checks the ST is in the output

Instances

Instances details
Bounded CollectComMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.CollectCom

Methods

minBound :: CollectComMutation Source #

maxBound :: CollectComMutation Source #

Enum CollectComMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.CollectCom

Methods

succ :: CollectComMutation -> CollectComMutation Source #

pred :: CollectComMutation -> CollectComMutation Source #

toEnum :: Int -> CollectComMutation Source #

fromEnum :: CollectComMutation -> Int Source #

enumFrom :: CollectComMutation -> [CollectComMutation] Source #

enumFromThen :: CollectComMutation -> CollectComMutation -> [CollectComMutation] Source #

enumFromTo :: CollectComMutation -> CollectComMutation -> [CollectComMutation] Source #

enumFromThenTo :: CollectComMutation -> CollectComMutation -> CollectComMutation -> [CollectComMutation] Source #

Generic CollectComMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.CollectCom

Associated Types

type Rep CollectComMutation :: Type -> Type Source #

Methods

from :: CollectComMutation -> Rep CollectComMutation x Source #

to :: Rep CollectComMutation x -> CollectComMutation Source #

Show CollectComMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.CollectCom

Methods

showsPrec :: Int -> CollectComMutation -> ShowS Source #

show :: CollectComMutation -> String Source #

showList :: [CollectComMutation] -> ShowS Source #

type Rep CollectComMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.CollectCom

type Rep CollectComMutation = D1 ('MetaData "CollectComMutation" "Hydra.Chain.Direct.Contract.CollectCom" "main" 'False) (((C1 ('MetaCons "NotContinueContract" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtractSomeValue" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MutateOpenUTxOHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateCommitToInitial" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MutateNumberOfParties" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateHeadId" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MutateRequiredSigner" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MutateTokenMintingOrBurning" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemoveSTFromOutput" 'PrefixI 'False) (U1 :: Type -> Type)))))

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