Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype RunID = RunID {}
- runIdFromString :: String -> Maybe RunID
- type API = NamedRoutes RunRoutes
- data RunRoutes mode = RunRoutes {
- getAll :: mode :- (QueryFlag "recursive" :> (QueryParams "input" FactID :> (QueryParam "offset" Natural :> (QueryParam "limit" Natural :> Get '[JSON] [RunV2]))))
- createFact :: mode :- (Capture "id" RunID :> ("fact" :> (ReqBody '[OctetStream] CreateFactV1 :> Post '[JSON] FactV1)))
- getLogs :: mode :- (Capture "id" RunID :> ("logs" :> Get '[JSON] RunLogsV1))
- abort :: mode :- (Capture "id" RunID :> DeleteNoContent)
- data RunV2 = Run {
- nomadJobId :: !RunID
- invocationId :: !InvocationID
- createdAt :: !ZonedTime
- finishedAt :: !(Maybe ZonedTime)
- newtype RunLogsV1 = RunLogs [RunLog]
- data RunLog = RunLog {}
Documentation
Instances
FromJSON RunID Source # | |
ToJSON RunID Source # | |
Defined in IOHK.Cicero.API.Run | |
Eq RunID Source # | |
Ord RunID Source # | |
ToHttpApiData RunID Source # | |
Defined in IOHK.Cicero.API.Run toUrlPiece :: RunID -> Text # toEncodedUrlPiece :: RunID -> Builder # toHeader :: RunID -> ByteString # toQueryParam :: RunID -> Text # |
type API = NamedRoutes RunRoutes Source #
Run routes in the Cicero API
RunRoutes | |
|
Instances
Run | |
|