Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Chain.Direct.Contract.FanOut

Documentation

healthyFanoutTx :: (Tx, UTxO) Source #

healthyFanoutUTxO :: UTxO Source #

healthySlotNo :: SlotNo Source #

healthyContestationDeadline :: UTCTime Source #

healthyFanoutDatum :: State Source #

data FanoutMutation Source #

Constructors

MutateAddUnexpectedOutput
MutateChangeOutputValue
MutateValidityBeforeDeadline

Instances

Instances details

Bounded FanoutMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.FanOut Methods minBound :: FanoutMutation Source # maxBound :: FanoutMutation Source #
Enum FanoutMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.FanOut Methods succ :: FanoutMutation -> FanoutMutation Source # pred :: FanoutMutation -> FanoutMutation Source # toEnum :: Int -> FanoutMutation Source # fromEnum :: FanoutMutation -> Int Source # enumFrom :: FanoutMutation -> [FanoutMutation] Source # enumFromThen :: FanoutMutation -> FanoutMutation -> [FanoutMutation] Source # enumFromTo :: FanoutMutation -> FanoutMutation -> [FanoutMutation] Source # enumFromThenTo :: FanoutMutation -> FanoutMutation -> FanoutMutation -> [FanoutMutation] Source #
Generic FanoutMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.FanOut Associated Types type Rep FanoutMutation :: Type -> Type Source # Methods from :: FanoutMutation -> Rep FanoutMutation x Source # to :: Rep FanoutMutation x -> FanoutMutation Source #
Show FanoutMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.FanOut Methods showsPrec :: Int -> FanoutMutation -> ShowS Source # show :: FanoutMutation -> String Source # showList :: [FanoutMutation] -> ShowS Source #
type Rep FanoutMutation Source #
Instance details Defined in Hydra.Chain.Direct.Contract.FanOut type Rep FanoutMutation = D1 ('MetaData "FanoutMutation" "Hydra.Chain.Direct.Contract.FanOut" "main" 'False) (C1 ('MetaCons "MutateAddUnexpectedOutput" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MutateChangeOutputValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateValidityBeforeDeadline" 'PrefixI 'False) (U1 :: Type -> Type)))

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