Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Snapshot

Synopsis

newtype SnapshotNumber = UnsafeSnapshotNumber Natural
data Snapshot tx = Snapshot {
- headId :: HeadId
- number :: SnapshotNumber
- utxo :: UTxOType tx
- confirmed :: [TxIdType tx]
}
data ConfirmedSnapshot tx
- = InitialSnapshot {
  - headId :: HeadId
  - initialUTxO :: UTxOType tx
  }
- | ConfirmedSnapshot {
  - snapshot :: Snapshot tx
  - signatures :: MultiSignature (Snapshot tx)
  }
getSnapshot :: ConfirmedSnapshot tx -> Snapshot tx
isInitialSnapshot :: ConfirmedSnapshot tx -> Bool
genConfirmedSnapshot :: IsTx tx => HeadId -> SnapshotNumber -> UTxOType tx -> [SigningKey HydraKey] -> Gen (ConfirmedSnapshot tx)
fromChainSnapshot :: SnapshotNumber -> SnapshotNumber

Documentation

newtype SnapshotNumber Source #

Constructors

UnsafeSnapshotNumber Natural

Instances

Instances details

Arbitrary SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods arbitrary :: Gen SnapshotNumber shrink :: SnapshotNumber -> [SnapshotNumber]
FromJSON SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods parseJSON :: Value -> Parser SnapshotNumber parseJSONList :: Value -> Parser [SnapshotNumber] omittedField :: Maybe SnapshotNumber
ToJSON SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods toJSON :: SnapshotNumber -> Value toEncoding :: SnapshotNumber -> Encoding toJSONList :: [SnapshotNumber] -> Value toEncodingList :: [SnapshotNumber] -> Encoding omitField :: SnapshotNumber -> Bool
Enum SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods succ :: SnapshotNumber -> SnapshotNumber Source # pred :: SnapshotNumber -> SnapshotNumber Source # toEnum :: Int -> SnapshotNumber Source # fromEnum :: SnapshotNumber -> Int Source # enumFrom :: SnapshotNumber -> [SnapshotNumber] Source # enumFromThen :: SnapshotNumber -> SnapshotNumber -> [SnapshotNumber] Source # enumFromTo :: SnapshotNumber -> SnapshotNumber -> [SnapshotNumber] Source # enumFromThenTo :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber -> [SnapshotNumber] Source #
Generic SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Associated Types type Rep SnapshotNumber :: Type -> Type Source # Methods from :: SnapshotNumber -> Rep SnapshotNumber x Source # to :: Rep SnapshotNumber x -> SnapshotNumber Source #
Num SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods (+) :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # (-) :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # (*) :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # negate :: SnapshotNumber -> SnapshotNumber Source # abs :: SnapshotNumber -> SnapshotNumber Source # signum :: SnapshotNumber -> SnapshotNumber Source # fromInteger :: Integer -> SnapshotNumber Source #
Integral SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods quot :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # rem :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # div :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # mod :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # quotRem :: SnapshotNumber -> SnapshotNumber -> (SnapshotNumber, SnapshotNumber) Source # divMod :: SnapshotNumber -> SnapshotNumber -> (SnapshotNumber, SnapshotNumber) Source # toInteger :: SnapshotNumber -> Integer Source #
Real SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods toRational :: SnapshotNumber -> Rational Source #
Show SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods showsPrec :: Int -> SnapshotNumber -> ShowS Source # show :: SnapshotNumber -> String Source # showList :: [SnapshotNumber] -> ShowS Source #
FromCBOR SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods fromCBOR :: Decoder s SnapshotNumber label :: Proxy SnapshotNumber -> Text
ToCBOR SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods toCBOR :: SnapshotNumber -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SnapshotNumber -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SnapshotNumber] -> Size
Eq SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods (==) :: SnapshotNumber -> SnapshotNumber -> Bool Source # (/=) :: SnapshotNumber -> SnapshotNumber -> Bool Source #
Ord SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot Methods compare :: SnapshotNumber -> SnapshotNumber -> Ordering Source # (<) :: SnapshotNumber -> SnapshotNumber -> Bool Source # (<=) :: SnapshotNumber -> SnapshotNumber -> Bool Source # (>) :: SnapshotNumber -> SnapshotNumber -> Bool Source # (>=) :: SnapshotNumber -> SnapshotNumber -> Bool Source # max :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source # min :: SnapshotNumber -> SnapshotNumber -> SnapshotNumber Source #
type Rep SnapshotNumber Source #
Instance details Defined in Hydra.Snapshot type Rep SnapshotNumber = D1 ('MetaData "SnapshotNumber" "Hydra.Snapshot" "hydra-node-0.16.0-C0XGScKIquG5I6dPp21445" 'True) (C1 ('MetaCons "UnsafeSnapshotNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

data Snapshot tx Source #

Constructors

Snapshot
Fields headId :: HeadId number :: SnapshotNumber utxo :: UTxOType tx confirmed :: [TxIdType tx] The set of transactions that lead to `$sel:utxo:Snapshot`

Instances

Instances details

IsTx tx => Arbitrary (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods arbitrary :: Gen (Snapshot tx) shrink :: Snapshot tx -> [Snapshot tx]
IsTx tx => FromJSON (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods parseJSON :: Value -> Parser (Snapshot tx) parseJSONList :: Value -> Parser [Snapshot tx] omittedField :: Maybe (Snapshot tx)
IsTx tx => ToJSON (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods toJSON :: Snapshot tx -> Value toEncoding :: Snapshot tx -> Encoding toJSONList :: [Snapshot tx] -> Value toEncodingList :: [Snapshot tx] -> Encoding omitField :: Snapshot tx -> Bool
Generic (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Associated Types type Rep (Snapshot tx) :: Type -> Type Source # Methods from :: Snapshot tx -> Rep (Snapshot tx) x Source # to :: Rep (Snapshot tx) x -> Snapshot tx Source #
IsTx tx => Show (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods showsPrec :: Int -> Snapshot tx -> ShowS Source # show :: Snapshot tx -> String Source # showList :: [Snapshot tx] -> ShowS Source #
(Typeable tx, FromCBOR (UTxOType tx), FromCBOR (TxIdType tx)) => FromCBOR (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods fromCBOR :: Decoder s (Snapshot tx) label :: Proxy (Snapshot tx) -> Text
(Typeable tx, ToCBOR (UTxOType tx), ToCBOR (TxIdType tx)) => ToCBOR (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods toCBOR :: Snapshot tx -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Snapshot tx) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Snapshot tx] -> Size
IsTx tx => SignableRepresentation (Snapshot tx) Source #	Binary representation of snapshot signatures TODO: document CDDL format, either here or on in `verifyPartySignature`
Instance details Defined in Hydra.Snapshot Methods getSignableRepresentation :: Snapshot tx -> ByteString
IsTx tx => Eq (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods (==) :: Snapshot tx -> Snapshot tx -> Bool Source # (/=) :: Snapshot tx -> Snapshot tx -> Bool Source #
type Rep (Snapshot tx) Source #
Instance details Defined in Hydra.Snapshot type Rep (Snapshot tx) = D1 ('MetaData "Snapshot" "Hydra.Snapshot" "hydra-node-0.16.0-C0XGScKIquG5I6dPp21445" 'False) (C1 ('MetaCons "Snapshot" 'PrefixI 'True) ((S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId) :: S1 ('MetaSel ('Just "number") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)) :: (S1 ('MetaSel ('Just "utxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxOType tx)) :*: S1 ('MetaSel ('Just "confirmed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxIdType tx]))))

data ConfirmedSnapshot tx Source #

A snapshot that can be used to close a head with. Either the initial one, or when it was signed by all parties, i.e. it is confirmed.

Constructors

InitialSnapshot
Fields headId :: HeadId initialUTxO :: UTxOType tx
ConfirmedSnapshot
Fields snapshot :: Snapshot tx signatures :: MultiSignature (Snapshot tx)

Instances

Instances details

IsTx tx => Arbitrary (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods arbitrary :: Gen (ConfirmedSnapshot tx) shrink :: ConfirmedSnapshot tx -> [ConfirmedSnapshot tx]
IsTx tx => FromJSON (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods parseJSON :: Value -> Parser (ConfirmedSnapshot tx) parseJSONList :: Value -> Parser [ConfirmedSnapshot tx] omittedField :: Maybe (ConfirmedSnapshot tx)
IsTx tx => ToJSON (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods toJSON :: ConfirmedSnapshot tx -> Value toEncoding :: ConfirmedSnapshot tx -> Encoding toJSONList :: [ConfirmedSnapshot tx] -> Value toEncodingList :: [ConfirmedSnapshot tx] -> Encoding omitField :: ConfirmedSnapshot tx -> Bool
Generic (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot Associated Types type Rep (ConfirmedSnapshot tx) :: Type -> Type Source # Methods from :: ConfirmedSnapshot tx -> Rep (ConfirmedSnapshot tx) x Source # to :: Rep (ConfirmedSnapshot tx) x -> ConfirmedSnapshot tx Source #
IsTx tx => Show (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods showsPrec :: Int -> ConfirmedSnapshot tx -> ShowS Source # show :: ConfirmedSnapshot tx -> String Source # showList :: [ConfirmedSnapshot tx] -> ShowS Source #
IsTx tx => Eq (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot Methods (==) :: ConfirmedSnapshot tx -> ConfirmedSnapshot tx -> Bool Source # (/=) :: ConfirmedSnapshot tx -> ConfirmedSnapshot tx -> Bool Source #
type Rep (ConfirmedSnapshot tx) Source #
Instance details Defined in Hydra.Snapshot type Rep (ConfirmedSnapshot tx) = D1 ('MetaData "ConfirmedSnapshot" "Hydra.Snapshot" "hydra-node-0.16.0-C0XGScKIquG5I6dPp21445" 'False) (C1 ('MetaCons "InitialSnapshot" 'PrefixI 'True) (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId) :: S1 ('MetaSel ('Just "initialUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxOType tx))) :+: C1 ('MetaCons "ConfirmedSnapshot" 'PrefixI 'True) (S1 ('MetaSel ('Just "snapshot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snapshot tx)) :: S1 ('MetaSel ('Just "signatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MultiSignature (Snapshot tx)))))

getSnapshot :: ConfirmedSnapshot tx -> Snapshot tx Source #

Safely get a Snapshot from a confirmed snapshot.

isInitialSnapshot :: ConfirmedSnapshot tx -> Bool Source #

Tell whether a snapshot is the initial snapshot coming from the collect-com transaction.

genConfirmedSnapshot Source #

Arguments

:: IsTx tx
=> HeadId
-> SnapshotNumber	The lower bound on snapshot number to generate. If this is 0, then we can generate an `InitialSnapshot` or a `ConfirmedSnapshot`. Otherwise we generate only `ConfirmedSnapshot` with a number strictly superior to this lower bound.
-> UTxOType tx
-> [SigningKey HydraKey]
-> Gen (ConfirmedSnapshot tx)

fromChainSnapshot :: SnapshotNumber -> SnapshotNumber Source #