| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
IOHK.Cicero.API.Run
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 Methods toUrlPiece :: RunID -> Text # toEncodedUrlPiece :: RunID -> Builder # toHeader :: RunID -> ByteString # toQueryParam :: RunID -> Text # | |
type API = NamedRoutes RunRoutes Source #
Run routes in the Cicero API
Constructors
| RunRoutes | |
Fields
| |
Instances
Constructors
| Run | |
Fields
| |