Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
ngua committed Feb 26, 2024
1 parent 55c4cca commit d48ab58
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 0 deletions.
4 changes: 4 additions & 0 deletions inferno-ml-server-types/src/Inferno/ML/Server/Client.hs
Original file line number Diff line number Diff line change
Expand Up @@ -19,12 +19,16 @@ import Servant.Client.Streaming (ClientM, client)
-- | Get the status of the server. @Nothing@ indicates that an inference job
-- is being evaluated. @Just ()@ means the server is idle
statusC :: ClientM (Maybe ())

-- | Run an inference parameter
inferenceC :: Id (InferenceParam uid gid p s) -> Maybe Int64 -> ClientM ()

-- | Cancel the existing inference job, if it exists
cancelC :: ClientM ()

-- | Register the information required to communicate with the bridge server
registerBridgeC :: BridgeInfo -> ClientM ()

-- | Check if any bridge information has been previously registered with this
-- server instance
checkBridgeC :: ClientM (Maybe BridgeInfo)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ writePairsC ::
p ->
PairStream t IO ->
ClientM ()

-- | Get the value at the given time via the bridge, for the given entity @p@
valueAtC ::
( ToJSON t,
Expand All @@ -32,6 +33,7 @@ valueAtC ::
p ->
t ->
ClientM IValue

-- | Get the latest value and the time
latestValueAndTimeBeforeC ::
( ToJSON t,
Expand Down

0 comments on commit d48ab58

Please sign in to comment.