Managed.Connectors.HTTPConnector.Internal
type ManagedAPI = "probes" :> (Get '[JSON] [ProbeID] :<|> ((Capture "probe" ProbeID :> Get '[JSON] ProbeDescription) :<|> (Capture "probe" ProbeID :> ("invoke" :> (ReqBody '[JSON] [String] :> Post '[JSON] String))))) Source #
mkServer :: Agent SR -> Server ManagedAPI Source #
mkApp :: Agent SR -> Application Source #