| 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))
- 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
| Generic (RunRoutes mode) Source # | |
| type Rep (RunRoutes mode) Source # | |
Defined in IOHK.Cicero.API.Run type Rep (RunRoutes mode) = D1 ('MetaData "RunRoutes" "IOHK.Cicero.API.Run" "cicero-api-0.1.1.3-IBOneHfrhNLHE3ibncoqJp" 'False) (C1 ('MetaCons "RunRoutes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAll") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mode :- (QueryFlag "recursive" :> (QueryParams "input" FactID :> (QueryParam "offset" Natural :> (QueryParam "limit" Natural :> Get '[JSON] [RunV2])))))) :*: (S1 ('MetaSel ('Just "createFact") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mode :- (Capture "id" RunID :> ("fact" :> (ReqBody '[OctetStream] CreateFactV1 :> Post '[JSON] FactV1))))) :*: S1 ('MetaSel ('Just "getLogs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mode :- (Capture "id" RunID :> ("logs" :> Get '[JSON] RunLogsV1))))))) | |
Constructors
| Run | |
Fields
| |