Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.API.ClientInput

Documentation

data ClientInput tx Source #

Constructors

Init
Abort
NewTx
Fields transaction :: tx
GetUTxO
Recover
Fields recoverTxId :: TxIdType tx
Decommit
Fields decommitTx :: tx
Close
Contest
Fanout

Instances

Instances details

(Arbitrary tx, Arbitrary (TxIdType 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 #
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.20.0-5pXAEiXeWsXH8K4KfwlMxW" '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 "GetUTxO" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((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)))))