Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Node.Environment

Synopsis

data Environment = Environment {
- party :: Party
- signingKey :: SigningKey HydraKey
- otherParties :: [Party]
- participants :: [OnChainId]
- contestationPeriod :: ContestationPeriod
- depositPeriod :: DepositPeriod
- configuredPeers :: Text
}
mkHeadParameters :: Environment -> HeadParameters

Documentation

data Environment Source #

Constructors

Environment
Fields party :: Party This is the p_i from the paper signingKey :: SigningKey HydraKey otherParties :: [Party] participants :: [OnChainId] contestationPeriod :: ContestationPeriod depositPeriod :: DepositPeriod configuredPeers :: Text Configured peers for the network layer, used for comparison on etcd errors.

Instances

Instances details

Arbitrary Environment Source #
Instance details Defined in Hydra.Node.Environment Methods arbitrary :: Gen Environment shrink :: Environment -> [Environment]
Generic Environment Source #
Instance details Defined in Hydra.Node.Environment Associated Types type Rep Environment :: Type -> Type Source # Methods from :: Environment -> Rep Environment x Source # to :: Rep Environment x -> Environment Source #
Show Environment Source #
Instance details Defined in Hydra.Node.Environment Methods showsPrec :: Int -> Environment -> ShowS Source # show :: Environment -> String Source # showList :: [Environment] -> ShowS Source #
Eq Environment Source #
Instance details Defined in Hydra.Node.Environment Methods (==) :: Environment -> Environment -> Bool Source # (/=) :: Environment -> Environment -> Bool Source #
HasParty Environment Source #
Instance details Defined in Hydra.Node.Environment Methods getParty :: Environment -> Party
type Rep Environment Source #
Instance details Defined in Hydra.Node.Environment type Rep Environment = D1 ('MetaData "Environment" "Hydra.Node.Environment" "hydra-node-0.22.0-3RX9tiIC3LXIH8z0ykSV06" 'False) (C1 ('MetaCons "Environment" 'PrefixI 'True) ((S1 ('MetaSel ('Just "party") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Party) :: (S1 ('MetaSel ('Just "signingKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SigningKey HydraKey)) :: S1 ('MetaSel ('Just "otherParties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Party]))) :: ((S1 ('MetaSel ('Just "participants") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [OnChainId]) :: S1 ('MetaSel ('Just "contestationPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContestationPeriod)) :: (S1 ('MetaSel ('Just "depositPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DepositPeriod) :: S1 ('MetaSel ('Just "configuredPeers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

mkHeadParameters :: Environment -> HeadParameters Source #

Make HeadParameters that are consistent with the given Environment.