Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.API.ClientInput

Documentation

data ClientInput tx Source #

Constructors

Init
Abort
NewTx
Fields transaction :: tx
Recover
Fields recoverTxId :: TxIdType tx
Decommit
Fields decommitTx :: tx
Close
Contest
Fanout
SideLoadSnapshot
Fields snapshot :: ConfirmedSnapshot tx

Instances

Instances details

(Arbitrary tx, Arbitrary (TxIdType tx), Arbitrary (UTxOType tx), IsTx tx) => Arbitrary (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Methods arbitrary :: Gen (ClientInput tx) shrink :: ClientInput tx -> [ClientInput tx]
IsTx tx => FromJSON (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Methods parseJSON :: Value -> Parser (ClientInput tx) parseJSONList :: Value -> Parser [ClientInput tx] omittedField :: Maybe (ClientInput tx)
IsTx tx => ToJSON (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Methods toJSON :: ClientInput tx -> Value toEncoding :: ClientInput tx -> Encoding toJSONList :: [ClientInput tx] -> Value toEncodingList :: [ClientInput tx] -> Encoding omitField :: ClientInput tx -> Bool
Generic (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Associated Types type Rep (ClientInput tx) :: Type -> Type Source # Methods from :: ClientInput tx -> Rep (ClientInput tx) x Source # to :: Rep (ClientInput tx) x -> ClientInput tx Source #
IsTx tx => Show (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Methods showsPrec :: Int -> ClientInput tx -> ShowS Source # show :: ClientInput tx -> String Source # showList :: [ClientInput tx] -> ShowS Source #
IsTx tx => Eq (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Methods (==) :: ClientInput tx -> ClientInput tx -> Bool Source # (/=) :: ClientInput tx -> ClientInput tx -> Bool Source #
(Arbitrary tx, Arbitrary (TxIdType tx), Arbitrary (UTxOType tx), IsTx tx) => ToADTArbitrary (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput Methods toADTArbitrarySingleton :: Proxy (ClientInput tx) -> Gen (ADTArbitrarySingleton (ClientInput tx)) toADTArbitrary :: Proxy (ClientInput tx) -> Gen (ADTArbitrary (ClientInput tx))
type Rep (ClientInput tx) Source #
Instance details Defined in Hydra.API.ClientInput type Rep (ClientInput tx) = D1 ('MetaData "ClientInput" "Hydra.API.ClientInput" "hydra-node-0.22.2-8OGyeIUSe0Q4Djdh0bRuph" 'False) (((C1 ('MetaCons "Init" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abort" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NewTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "transaction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx)) :+: C1 ('MetaCons "Recover" 'PrefixI 'True) (S1 ('MetaSel ('Just "recoverTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxIdType tx))))) :+: ((C1 ('MetaCons "Decommit" 'PrefixI 'True) (S1 ('MetaSel ('Just "decommitTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx)) :+: C1 ('MetaCons "Close" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Contest" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Fanout" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SideLoadSnapshot" 'PrefixI 'True) (S1 ('MetaSel ('Just "snapshot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConfirmedSnapshot tx)))))))