Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.API.HTTPServer

Contents

Handlers

Synopsis

newtype DraftCommitTxResponse tx = DraftCommitTxResponse {
- commitTx :: tx
}
data DraftCommitTxRequest tx
- = SimpleCommitRequest {
  - utxoToCommit :: UTxOType tx
  }
- | FullCommitRequest {
  - blueprintTx :: tx
  - utxo :: UTxOType tx
  }
newtype SubmitTxRequest tx = SubmitTxRequest {
- txToSubmit :: tx
}
data TransactionSubmitted = TransactionSubmitted
httpApp :: forall tx. IsChainState tx => Tracer IO APIServerLog -> Chain tx IO -> PParams LedgerEra -> IO (Maybe HeadId) -> IO (Maybe (UTxOType tx)) -> (ClientInput tx -> IO ()) -> Application
handleDraftCommitUtxo :: forall tx. IsChainState tx => Chain tx IO -> IO (Maybe HeadId) -> ByteString -> IO Response
handleSubmitUserTx :: forall tx. FromJSON tx => Chain tx IO -> ByteString -> IO Response
handleDecommit :: forall tx. FromJSON tx => (ClientInput tx -> IO ()) -> ByteString -> IO Response
badRequest :: IsChainState tx => PostTxError tx -> Response
notFound :: Response
okJSON :: ToJSON a => a -> Response

Documentation

newtype DraftCommitTxResponse tx Source #

Constructors

DraftCommitTxResponse
Fields commitTx :: tx

Instances

Instances details

Arbitrary tx => Arbitrary (DraftCommitTxResponse tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods arbitrary :: Gen (DraftCommitTxResponse tx) shrink :: DraftCommitTxResponse tx -> [DraftCommitTxResponse tx]
IsTx tx => FromJSON (DraftCommitTxResponse tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods parseJSON :: Value -> Parser (DraftCommitTxResponse tx) parseJSONList :: Value -> Parser [DraftCommitTxResponse tx] omittedField :: Maybe (DraftCommitTxResponse tx)
IsTx tx => ToJSON (DraftCommitTxResponse tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods toJSON :: DraftCommitTxResponse tx -> Value toEncoding :: DraftCommitTxResponse tx -> Encoding toJSONList :: [DraftCommitTxResponse tx] -> Value toEncodingList :: [DraftCommitTxResponse tx] -> Encoding omitField :: DraftCommitTxResponse tx -> Bool
Generic (DraftCommitTxResponse tx) Source #
Instance details Defined in Hydra.API.HTTPServer Associated Types type Rep (DraftCommitTxResponse tx) :: Type -> Type Source # Methods from :: DraftCommitTxResponse tx -> Rep (DraftCommitTxResponse tx) x Source # to :: Rep (DraftCommitTxResponse tx) x -> DraftCommitTxResponse tx Source #
Show tx => Show (DraftCommitTxResponse tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods showsPrec :: Int -> DraftCommitTxResponse tx -> ShowS Source # show :: DraftCommitTxResponse tx -> String Source # showList :: [DraftCommitTxResponse tx] -> ShowS Source #
type Rep (DraftCommitTxResponse tx) Source #
Instance details Defined in Hydra.API.HTTPServer type Rep (DraftCommitTxResponse tx) = D1 ('MetaData "DraftCommitTxResponse" "Hydra.API.HTTPServer" "hydra-node-0.19.0-6Z4E5vp1s1XJuLOmmEVMTw" 'True) (C1 ('MetaCons "DraftCommitTxResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "commitTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx)))

data DraftCommitTxRequest tx Source #

Constructors

SimpleCommitRequest
Fields utxoToCommit :: UTxOType tx
FullCommitRequest
Fields blueprintTx :: tx utxo :: UTxOType tx

Instances

Instances details

(Arbitrary tx, Arbitrary (UTxOType tx)) => Arbitrary (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods arbitrary :: Gen (DraftCommitTxRequest tx) shrink :: DraftCommitTxRequest tx -> [DraftCommitTxRequest tx]
(FromJSON tx, FromJSON (UTxOType tx)) => FromJSON (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods parseJSON :: Value -> Parser (DraftCommitTxRequest tx) parseJSONList :: Value -> Parser [DraftCommitTxRequest tx] omittedField :: Maybe (DraftCommitTxRequest tx)
(ToJSON tx, ToJSON (UTxOType tx)) => ToJSON (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods toJSON :: DraftCommitTxRequest tx -> Value toEncoding :: DraftCommitTxRequest tx -> Encoding toJSONList :: [DraftCommitTxRequest tx] -> Value toEncodingList :: [DraftCommitTxRequest tx] -> Encoding omitField :: DraftCommitTxRequest tx -> Bool
Generic (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Associated Types type Rep (DraftCommitTxRequest tx) :: Type -> Type Source # Methods from :: DraftCommitTxRequest tx -> Rep (DraftCommitTxRequest tx) x Source # to :: Rep (DraftCommitTxRequest tx) x -> DraftCommitTxRequest tx Source #
(Show tx, Show (UTxOType tx)) => Show (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods showsPrec :: Int -> DraftCommitTxRequest tx -> ShowS Source # show :: DraftCommitTxRequest tx -> String Source # showList :: [DraftCommitTxRequest tx] -> ShowS Source #
(Eq tx, Eq (UTxOType tx)) => Eq (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods (==) :: DraftCommitTxRequest tx -> DraftCommitTxRequest tx -> Bool Source # (/=) :: DraftCommitTxRequest tx -> DraftCommitTxRequest tx -> Bool Source #
type Rep (DraftCommitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer type Rep (DraftCommitTxRequest tx) = D1 ('MetaData "DraftCommitTxRequest" "Hydra.API.HTTPServer" "hydra-node-0.19.0-6Z4E5vp1s1XJuLOmmEVMTw" 'False) (C1 ('MetaCons "SimpleCommitRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "utxoToCommit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxOType tx))) :+: C1 ('MetaCons "FullCommitRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "blueprintTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tx) :*: S1 ('MetaSel ('Just "utxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxOType tx))))

newtype SubmitTxRequest tx Source #

Constructors

SubmitTxRequest
Fields txToSubmit :: tx

Instances

Instances details

Arbitrary tx => Arbitrary (SubmitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods arbitrary :: Gen (SubmitTxRequest tx) shrink :: SubmitTxRequest tx -> [SubmitTxRequest tx]
FromJSON tx => FromJSON (SubmitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods parseJSON :: Value -> Parser (SubmitTxRequest tx) parseJSONList :: Value -> Parser [SubmitTxRequest tx] omittedField :: Maybe (SubmitTxRequest tx)
ToJSON tx => ToJSON (SubmitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods toJSON :: SubmitTxRequest tx -> Value toEncoding :: SubmitTxRequest tx -> Encoding toJSONList :: [SubmitTxRequest tx] -> Value toEncodingList :: [SubmitTxRequest tx] -> Encoding omitField :: SubmitTxRequest tx -> Bool
Show tx => Show (SubmitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods showsPrec :: Int -> SubmitTxRequest tx -> ShowS Source # show :: SubmitTxRequest tx -> String Source # showList :: [SubmitTxRequest tx] -> ShowS Source #
Eq tx => Eq (SubmitTxRequest tx) Source #
Instance details Defined in Hydra.API.HTTPServer Methods (==) :: SubmitTxRequest tx -> SubmitTxRequest tx -> Bool Source # (/=) :: SubmitTxRequest tx -> SubmitTxRequest tx -> Bool Source #

data TransactionSubmitted Source #

Constructors

TransactionSubmitted

Instances

Instances details

Arbitrary TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer Methods arbitrary :: Gen TransactionSubmitted shrink :: TransactionSubmitted -> [TransactionSubmitted]
FromJSON TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer Methods parseJSON :: Value -> Parser TransactionSubmitted parseJSONList :: Value -> Parser [TransactionSubmitted] omittedField :: Maybe TransactionSubmitted
ToJSON TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer Methods toJSON :: TransactionSubmitted -> Value toEncoding :: TransactionSubmitted -> Encoding toJSONList :: [TransactionSubmitted] -> Value toEncodingList :: [TransactionSubmitted] -> Encoding omitField :: TransactionSubmitted -> Bool
Generic TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer Associated Types type Rep TransactionSubmitted :: Type -> Type Source # Methods from :: TransactionSubmitted -> Rep TransactionSubmitted x Source # to :: Rep TransactionSubmitted x -> TransactionSubmitted Source #
Show TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer Methods showsPrec :: Int -> TransactionSubmitted -> ShowS Source # show :: TransactionSubmitted -> String Source # showList :: [TransactionSubmitted] -> ShowS Source #
Eq TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer Methods (==) :: TransactionSubmitted -> TransactionSubmitted -> Bool Source # (/=) :: TransactionSubmitted -> TransactionSubmitted -> Bool Source #
type Rep TransactionSubmitted Source #
Instance details Defined in Hydra.API.HTTPServer type Rep TransactionSubmitted = D1 ('MetaData "TransactionSubmitted" "Hydra.API.HTTPServer" "hydra-node-0.19.0-6Z4E5vp1s1XJuLOmmEVMTw" 'False) (C1 ('MetaCons "TransactionSubmitted" 'PrefixI 'False) (U1 :: Type -> Type))

httpApp Source #

Arguments

:: forall tx. IsChainState tx
=> Tracer IO APIServerLog
-> Chain tx IO
-> PParams LedgerEra
-> IO (Maybe HeadId)	A means to get the `HeadId` if initializing the Head.
-> IO (Maybe (UTxOType tx))	Get latest confirmed UTxO snapshot.
-> (ClientInput tx -> IO ())	Callback to yield a `ClientInput` to the main event loop.
-> Application

Hydra HTTP server

Handlers

handleDraftCommitUtxo Source #

Arguments

:: forall tx. IsChainState tx
=> Chain tx IO
-> IO (Maybe HeadId)	A means to get the `HeadId` if initializing the Head.
-> ByteString	Request body.
-> IO Response

Handle request to obtain a draft commit tx.

handleSubmitUserTx Source #

Arguments

:: forall tx. FromJSON tx
=> Chain tx IO
-> ByteString	Request body.
-> IO Response

Handle request to submit a cardano transaction.

handleDecommit :: forall tx. FromJSON tx => (ClientInput tx -> IO ()) -> ByteString -> IO Response Source #

badRequest :: IsChainState tx => PostTxError tx -> Response Source #

notFound :: Response Source #

okJSON :: ToJSON a => a -> Response Source #