hydra-plutus-0.15.0: Hydra Plutus Contracts
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Contract.HeadState

Documentation

type Hash = BuiltinByteString Source #

type Signature = BuiltinByteString Source #

data State Source #

Constructors

Initial 

Fields

Open 

Fields

Closed 

Fields

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

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.15.0-IecVEGhFPJiFEkADQZunJY" '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 #

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

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.15.0-IecVEGhFPJiFEkADQZunJY" '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)))))