Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Contract.HeadState

Documentation

type SnapshotNumber = Integer Source #

type Hash = BuiltinByteString Source #

type Signature = BuiltinByteString Source #

data State Source #

Constructors

Initial
Fields contestationPeriod :: ContestationPeriod parties :: [Party] headId :: CurrencySymbol seed :: TxOutRef
Open
Fields contestationPeriod :: ContestationPeriod parties :: [Party] utxoHash :: Hash headId :: CurrencySymbol
Closed
Fields parties :: [Party] snapshotNumber :: SnapshotNumber utxoHash :: Hash contestationDeadline :: POSIXTime contestationPeriod :: ContestationPeriod headId :: CurrencySymbol contesters :: [PubKeyHash]
Final

Instances

Instances details

Generic State Source #
Instance details Defined in Hydra.Contract.HeadState Associated Types type Rep State :: Type -> Type Source # Methods from :: State -> Rep State x Source # to :: Rep State x -> State Source #
Show State Source #
Instance details Defined in Hydra.Contract.HeadState Methods showsPrec :: Int -> State -> ShowS Source # show :: State -> String Source # showList :: [State] -> ShowS Source #
FromData State Source #
Instance details Defined in Hydra.Contract.HeadState Methods fromBuiltinData :: BuiltinData -> Maybe State
ToData State Source #
Instance details Defined in Hydra.Contract.HeadState Methods toBuiltinData :: State -> BuiltinData
UnsafeFromData State Source #
Instance details Defined in Hydra.Contract.HeadState Methods unsafeFromBuiltinData :: BuiltinData -> State
type Rep State Source #
Instance details Defined in Hydra.Contract.HeadState type Rep State = D1 ('MetaData "State" "Hydra.Contract.HeadState" "hydra-plutus-0.16.0-BVNXGEfsIFMGbIIk6HCb31" 'False) ((C1 ('MetaCons "Initial" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contestationPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContestationPeriod) :: S1 ('MetaSel ('Just "parties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Party])) :: (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol) :: S1 ('MetaSel ('Just "seed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: C1 ('MetaCons "Open" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contestationPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContestationPeriod) :: S1 ('MetaSel ('Just "parties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Party])) :: (S1 ('MetaSel ('Just "utxoHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash) :: S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)))) :+: (C1 ('MetaCons "Closed" 'PrefixI 'True) ((S1 ('MetaSel ('Just "parties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Party]) :: (S1 ('MetaSel ('Just "snapshotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "utxoHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))) :: ((S1 ('MetaSel ('Just "contestationDeadline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime) :: S1 ('MetaSel ('Just "contestationPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContestationPeriod)) :: (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol) :: S1 ('MetaSel ('Just "contesters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash])))) :+: C1 ('MetaCons "Final" 'PrefixI 'False) (U1 :: Type -> Type)))

data Input Source #

Constructors

CollectCom
Close
Fields signature :: [Signature]
Contest
Fields signature :: [Signature]
Abort
Fanout
Fields numberOfFanoutOutputs :: Integer

Instances

Instances details

Generic Input Source #
Instance details Defined in Hydra.Contract.HeadState Associated Types type Rep Input :: Type -> Type Source # Methods from :: Input -> Rep Input x Source # to :: Rep Input x -> Input Source #
Show Input Source #
Instance details Defined in Hydra.Contract.HeadState Methods showsPrec :: Int -> Input -> ShowS Source # show :: Input -> String Source # showList :: [Input] -> ShowS Source #
FromData Input Source #
Instance details Defined in Hydra.Contract.HeadState Methods fromBuiltinData :: BuiltinData -> Maybe Input
ToData Input Source #
Instance details Defined in Hydra.Contract.HeadState Methods toBuiltinData :: Input -> BuiltinData
UnsafeFromData Input Source #
Instance details Defined in Hydra.Contract.HeadState Methods unsafeFromBuiltinData :: BuiltinData -> Input
type Rep Input Source #
Instance details Defined in Hydra.Contract.HeadState type Rep Input = D1 ('MetaData "Input" "Hydra.Contract.HeadState" "hydra-plutus-0.16.0-BVNXGEfsIFMGbIIk6HCb31" 'False) ((C1 ('MetaCons "CollectCom" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Close" 'PrefixI 'True) (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Signature]))) :+: (C1 ('MetaCons "Contest" 'PrefixI 'True) (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Signature])) :+: (C1 ('MetaCons "Abort" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fanout" 'PrefixI 'True) (S1 ('MetaSel ('Just "numberOfFanoutOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))