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))
- 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
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))))))) |
Run | |
|