Hercules.API

Documentation

api :: Proxy (API auth)

servantApi :: Proxy (HerculesServantAPI auth)

servantClientApi :: Proxy (ClientServantAPI auth)

swagger :: Swagger

useApi :: forall subapi api mode. GenericServant subapi mode => (api mode -> ToServant subapi mode) -> api mode -> subapi mode

enterApiE :: forall {k} subapi api mode (a :: k). GenericServant (subapi a) mode => api a mode -> (api a mode -> ToServant (subapi a) mode) -> subapi a mode

type API auth = HerculesServantAPI auth :<|> ("api" :> SwaggerSchemaUI "v1" "swagger.json")

type ClientAuth = Auth '[JWT, Cookie] ()

data HerculesAPI auth f

Constructors

HerculesAPI

Fields

• accounts :: f :- ToServantApi (AccountsAPI auth)
• clientInfo :: f :- ToServantApi (ClientInfoAPI auth)
• forges :: f :- ToServantApi (ForgeAPI auth)
• repos :: f :- ToServantApi (ReposAPI auth)
• projects :: f :- ToServantApi (ProjectsAPI auth)
• agents :: f :- ToServantApi (AgentsAPI auth)
• build :: f :- ToServantApi (BuildAPI auth)
• effects :: f :- ToServantApi (EffectsAPI auth)
• health :: f :- ToServantApi (HealthAPI auth)
• organizations :: f :- ToServantApi (OrganizationsAPI auth)
• state :: f :- ToServantApi (StateAPI auth)
• gitlab :: f :- ToServantApi (GitLabAPI auth)

Instances

Generic (HerculesAPI auth f)

Defined in Hercules.API

Associated Types

type Rep (HerculesAPI auth f) :: Type -> Type

Methods

from :: HerculesAPI auth f -> Rep (HerculesAPI auth f) x

to :: Rep (HerculesAPI auth f) x -> HerculesAPI auth f

type Rep (HerculesAPI auth f)

Defined in Hercules.API

type Rep (HerculesAPI auth f) = D1 ('MetaData "HerculesAPI" "Hercules.API" "hercules-ci-api-0.8.1.0-inplace" 'False) (C1 ('MetaCons "HerculesAPI" 'PrefixI 'True) (((S1 ('MetaSel ('Just "accounts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (AccountsAPI auth))) :*: (S1 ('MetaSel ('Just "clientInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ClientInfoAPI auth))) :*: S1 ('MetaSel ('Just "forges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ForgeAPI auth))))) :*: (S1 ('MetaSel ('Just "repos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ReposAPI auth))) :*: (S1 ('MetaSel ('Just "projects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ProjectsAPI auth))) :*: S1 ('MetaSel ('Just "agents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (AgentsAPI auth)))))) :*: ((S1 ('MetaSel ('Just "build") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (BuildAPI auth))) :*: (S1 ('MetaSel ('Just "effects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (EffectsAPI auth))) :*: S1 ('MetaSel ('Just "health") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (HealthAPI auth))))) :*: (S1 ('MetaSel ('Just "organizations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (OrganizationsAPI auth))) :*: (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (StateAPI auth))) :*: S1 ('MetaSel ('Just "gitlab") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (GitLabAPI auth))))))))

data ClientAPI auth f

Constructors

ClientAPI

Fields

• clientAccounts :: f :- ToServantApi (AccountsAPI auth)
• clientClientInfo :: f :- ToServantApi (ClientInfoAPI auth)
• clientForges :: f :- ToServantApi (ForgeAPI auth)
• clientRepos :: f :- ToServantApi (ReposAPI auth)
• clientProjects :: f :- ToServantApi (ProjectsAPI auth)
• clientAgents :: f :- ToServantApi (AgentsAPI auth)
• clientBuild :: f :- ToServantApi (BuildAPI auth)
• clientEffects :: f :- ToServantApi (EffectsAPI auth)
• clientOrganizations :: f :- ToServantApi (OrganizationsAPI auth)
• clientState :: f :- ToServantApi (StateAPI auth)
• clientGitLab :: f :- ToServantApi (GitLabAPI auth)

Instances

Generic (ClientAPI auth f)

Defined in Hercules.API

Associated Types

type Rep (ClientAPI auth f) :: Type -> Type

Methods

from :: ClientAPI auth f -> Rep (ClientAPI auth f) x

to :: Rep (ClientAPI auth f) x -> ClientAPI auth f

type Rep (ClientAPI auth f)

Defined in Hercules.API

type Rep (ClientAPI auth f) = D1 ('MetaData "ClientAPI" "Hercules.API" "hercules-ci-api-0.8.1.0-inplace" 'False) (C1 ('MetaCons "ClientAPI" 'PrefixI 'True) (((S1 ('MetaSel ('Just "clientAccounts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (AccountsAPI auth))) :*: S1 ('MetaSel ('Just "clientClientInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ClientInfoAPI auth)))) :*: (S1 ('MetaSel ('Just "clientForges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ForgeAPI auth))) :*: (S1 ('MetaSel ('Just "clientRepos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ReposAPI auth))) :*: S1 ('MetaSel ('Just "clientProjects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (ProjectsAPI auth)))))) :*: ((S1 ('MetaSel ('Just "clientAgents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (AgentsAPI auth))) :*: (S1 ('MetaSel ('Just "clientBuild") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (BuildAPI auth))) :*: S1 ('MetaSel ('Just "clientEffects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (EffectsAPI auth))))) :*: (S1 ('MetaSel ('Just "clientOrganizations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (OrganizationsAPI auth))) :*: (S1 ('MetaSel ('Just "clientState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (StateAPI auth))) :*: S1 ('MetaSel ('Just "clientGitLab") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f :- ToServantApi (GitLabAPI auth))))))))

type HerculesServantAPI auth = AddAPIVersion (ToServantApi (HerculesAPI auth))

type AddAPIVersion api = "api" :> ("v1" :> api)

data Id (a :: k)

Instances

FromJSON (Id a)

Defined in Hercules.API.Id

Methods

parseJSON :: Value -> Parser (Id a)

parseJSONList :: Value -> Parser [Id a]

FromJSONKey (Id a)

Defined in Hercules.API.Id

Methods

fromJSONKey :: FromJSONKeyFunction (Id a)

fromJSONKeyList :: FromJSONKeyFunction [Id a]

ToJSON (Id a)

Defined in Hercules.API.Id

Methods

toJSON :: Id a -> Value

toEncoding :: Id a -> Encoding

toJSONList :: [Id a] -> Value

toEncodingList :: [Id a] -> Encoding

ToJSONKey (Id a)

Defined in Hercules.API.Id

Methods

toJSONKey :: ToJSONKeyFunction (Id a)

toJSONKeyList :: ToJSONKeyFunction [Id a]

Generic (Id a)

Defined in Hercules.API.Id

Associated Types

type Rep (Id a) :: Type -> Type

Methods

from :: Id a -> Rep (Id a) x

to :: Rep (Id a) x -> Id a

Show (Id a)

Defined in Hercules.API.Id

Methods

showsPrec :: Int -> Id a -> ShowS

show :: Id a -> String

showList :: [Id a] -> ShowS

NFData (Id a)

Defined in Hercules.API.Id

Methods

rnf :: Id a -> ()

Eq (Id a)

Defined in Hercules.API.Id

Methods

(==) :: Id a -> Id a -> Bool

(/=) :: Id a -> Id a -> Bool

Ord (Id a)

Defined in Hercules.API.Id

Methods

compare :: Id a -> Id a -> Ordering

(<) :: Id a -> Id a -> Bool

(<=) :: Id a -> Id a -> Bool

(>) :: Id a -> Id a -> Bool

(>=) :: Id a -> Id a -> Bool

max :: Id a -> Id a -> Id a

min :: Id a -> Id a -> Id a

Hashable (Id a)

Defined in Hercules.API.Id

Methods

hashWithSalt :: Int -> Id a -> Int

hash :: Id a -> Int

FromHttpApiData (Id a)

Defined in Hercules.API.Id

Methods

parseUrlPiece :: Text -> Either Text (Id a)

parseHeader :: ByteString -> Either Text (Id a)

parseQueryParam :: Text -> Either Text (Id a)

ToHttpApiData (Id a)

Defined in Hercules.API.Id

Methods

toUrlPiece :: Id a -> Text

toEncodedUrlPiece :: Id a -> Builder

toHeader :: Id a -> ByteString

toQueryParam :: Id a -> Text

ToParamSchema (Id a)

Defined in Hercules.API.Id

Methods

toParamSchema :: forall (t :: SwaggerKind Type). Proxy (Id a) -> ParamSchema t

ToSchema (Id a)

Defined in Hercules.API.Id

Methods

declareNamedSchema :: Proxy (Id a) -> Declare (Definitions Schema) NamedSchema

type Rep (Id a)

Defined in Hercules.API.Id

type Rep (Id a) = D1 ('MetaData "Id" "Hercules.API.Id" "hercules-ci-api-core-0.1.5.1-inplace" 'True) (C1 ('MetaCons "Id" 'PrefixI 'True) (S1 ('MetaSel ('Just "idUUID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))

data Name (a :: k)

Instances

FromJSON (Name a)

Defined in Hercules.API.Name

Methods

parseJSON :: Value -> Parser (Name a)

parseJSONList :: Value -> Parser [Name a]

ToJSON (Name a)

Defined in Hercules.API.Name

Methods

toJSON :: Name a -> Value

toEncoding :: Name a -> Encoding

toJSONList :: [Name a] -> Value

toEncodingList :: [Name a] -> Encoding

Generic (Name a)

Defined in Hercules.API.Name

Associated Types

type Rep (Name a) :: Type -> Type

Methods

from :: Name a -> Rep (Name a) x

to :: Rep (Name a) x -> Name a

Show (Name a)

Defined in Hercules.API.Name

Methods

showsPrec :: Int -> Name a -> ShowS

show :: Name a -> String

showList :: [Name a] -> ShowS

NFData (Name a)

Defined in Hercules.API.Name

Methods

rnf :: Name a -> ()

Eq (Name a)

Defined in Hercules.API.Name

Methods

(==) :: Name a -> Name a -> Bool

(/=) :: Name a -> Name a -> Bool

Ord (Name a)

Defined in Hercules.API.Name

Methods

compare :: Name a -> Name a -> Ordering

(<) :: Name a -> Name a -> Bool

(<=) :: Name a -> Name a -> Bool

(>) :: Name a -> Name a -> Bool

(>=) :: Name a -> Name a -> Bool

max :: Name a -> Name a -> Name a

min :: Name a -> Name a -> Name a

Hashable (Name a)

Defined in Hercules.API.Name

Methods

hashWithSalt :: Int -> Name a -> Int

hash :: Name a -> Int

FromHttpApiData (Name a)

Defined in Hercules.API.Name

Methods

parseUrlPiece :: Text -> Either Text (Name a)

parseHeader :: ByteString -> Either Text (Name a)

parseQueryParam :: Text -> Either Text (Name a)

ToHttpApiData (Name a)

Defined in Hercules.API.Name

Methods

toUrlPiece :: Name a -> Text

toEncodedUrlPiece :: Name a -> Builder

toHeader :: Name a -> ByteString

toQueryParam :: Name a -> Text

ToParamSchema (Name a)

Defined in Hercules.API.Name

Methods

toParamSchema :: forall (t :: SwaggerKind Type). Proxy (Name a) -> ParamSchema t

ToSchema (Name a)

Defined in Hercules.API.Name

Methods

declareNamedSchema :: Proxy (Name a) -> Declare (Definitions Schema) NamedSchema

type Rep (Name a)

Defined in Hercules.API.Name

type Rep (Name a) = D1 ('MetaData "Name" "Hercules.API.Name" "hercules-ci-api-core-0.1.5.1-inplace" 'True) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "nameText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Result e a

Constructors

Ok a

Error e

Instances

Foldable (Result e)

Defined in Hercules.API.Result

Methods

fold :: Monoid m => Result e m -> m

foldMap :: Monoid m => (a -> m) -> Result e a -> m

foldMap' :: Monoid m => (a -> m) -> Result e a -> m

foldr :: (a -> b -> b) -> b -> Result e a -> b

foldr' :: (a -> b -> b) -> b -> Result e a -> b

foldl :: (b -> a -> b) -> b -> Result e a -> b

foldl' :: (b -> a -> b) -> b -> Result e a -> b

foldr1 :: (a -> a -> a) -> Result e a -> a

foldl1 :: (a -> a -> a) -> Result e a -> a

toList :: Result e a -> [a]

null :: Result e a -> Bool

length :: Result e a -> Int

elem :: Eq a => a -> Result e a -> Bool

maximum :: Ord a => Result e a -> a

minimum :: Ord a => Result e a -> a

sum :: Num a => Result e a -> a

product :: Num a => Result e a -> a

Traversable (Result e)

Defined in Hercules.API.Result

Methods

traverse :: Applicative f => (a -> f b) -> Result e a -> f (Result e b)

sequenceA :: Applicative f => Result e (f a) -> f (Result e a)

mapM :: Monad m => (a -> m b) -> Result e a -> m (Result e b)

sequence :: Monad m => Result e (m a) -> m (Result e a)

Functor (Result e)

Defined in Hercules.API.Result

Methods

fmap :: (a -> b) -> Result e a -> Result e b

(<$) :: a -> Result e b -> Result e a

(FromJSON e, FromJSON a) => FromJSON (Result e a)

Defined in Hercules.API.Result

Methods

parseJSON :: Value -> Parser (Result e a)

parseJSONList :: Value -> Parser [Result e a]

(ToJSON e, ToJSON a) => ToJSON (Result e a)

Defined in Hercules.API.Result

Methods

toJSON :: Result e a -> Value

toEncoding :: Result e a -> Encoding

toJSONList :: [Result e a] -> Value

toEncodingList :: [Result e a] -> Encoding

Generic (Result e a)

Defined in Hercules.API.Result

Associated Types

type Rep (Result e a) :: Type -> Type

Methods

from :: Result e a -> Rep (Result e a) x

to :: Rep (Result e a) x -> Result e a

(Read a, Read e) => Read (Result e a)

Defined in Hercules.API.Result

Methods

readsPrec :: Int -> ReadS (Result e a)

readList :: ReadS [Result e a]

readPrec :: ReadPrec (Result e a)

readListPrec :: ReadPrec [Result e a]

(Show a, Show e) => Show (Result e a)

Defined in Hercules.API.Result

Methods

showsPrec :: Int -> Result e a -> ShowS

show :: Result e a -> String

showList :: [Result e a] -> ShowS

(NFData a, NFData e) => NFData (Result e a)

Defined in Hercules.API.Result

Methods

rnf :: Result e a -> ()

(Eq a, Eq e) => Eq (Result e a)

Defined in Hercules.API.Result

Methods

(==) :: Result e a -> Result e a -> Bool

(/=) :: Result e a -> Result e a -> Bool

(Ord a, Ord e) => Ord (Result e a)

Defined in Hercules.API.Result

Methods

compare :: Result e a -> Result e a -> Ordering

(<) :: Result e a -> Result e a -> Bool

(<=) :: Result e a -> Result e a -> Bool

(>) :: Result e a -> Result e a -> Bool

(>=) :: Result e a -> Result e a -> Bool

max :: Result e a -> Result e a -> Result e a

min :: Result e a -> Result e a -> Result e a

(ToSchema e, ToSchema a) => ToSchema (Result e a)

Defined in Hercules.API.Result

Methods

declareNamedSchema :: Proxy (Result e a) -> Declare (Definitions Schema) NamedSchema

type Rep (Result e a)

Defined in Hercules.API.Result

type Rep (Result e a) = D1 ('MetaData "Result" "Hercules.API.Result" "hercules-ci-api-0.8.1.0-inplace" 'False) (C1 ('MetaCons "Ok" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Error" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e)))

Reexports

data NoContent

A type for responses without content-body.

Constructors

NoContent

Instances

Generic NoContent

Defined in Servant.API.ContentTypes

Associated Types

type Rep NoContent :: Type -> Type

Methods

from :: NoContent -> Rep NoContent x

to :: Rep NoContent x -> NoContent

Read NoContent

Defined in Servant.API.ContentTypes

Methods

readsPrec :: Int -> ReadS NoContent

readList :: ReadS [NoContent]

readPrec :: ReadPrec NoContent

readListPrec :: ReadPrec [NoContent]

Show NoContent

Defined in Servant.API.ContentTypes

Methods

showsPrec :: Int -> NoContent -> ShowS

show :: NoContent -> String

showList :: [NoContent] -> ShowS

NFData NoContent

Defined in Servant.API.ContentTypes

Methods

rnf :: NoContent -> ()

Eq NoContent

Defined in Servant.API.ContentTypes

Methods

(==) :: NoContent -> NoContent -> Bool

(/=) :: NoContent -> NoContent -> Bool

HasStatus NoContent

If an API can respond with NoContent we assume that this will happen with the status code 204 No Content. If this needs to be overridden, WithStatus can be used.

Defined in Servant.API.UVerb

Associated Types

type StatusOf NoContent :: Nat

(KnownNat status, AllAccept cs, SwaggerMethod method, HasSwagger (UVerb method cs as)) => HasSwagger (UVerb method cs (WithStatus status NoContent ': as) :: Type)

Defined in Servant.Swagger.Internal

Methods

toSwagger :: Proxy (UVerb method cs (WithStatus status NoContent ': as)) -> Swagger

(AllAccept cs, KnownNat status, SwaggerMethod method) => HasSwagger (Verb method status cs NoContent :: Type)

Defined in Servant.Swagger.Internal

Methods

toSwagger :: Proxy (Verb method status cs NoContent) -> Swagger

(AllAccept cs, AllToResponseHeader hs, KnownNat status, SwaggerMethod method) => HasSwagger (Verb method status cs (Headers hs NoContent) :: Type)

Defined in Servant.Swagger.Internal

Methods

toSwagger :: Proxy (Verb method status cs (Headers hs NoContent)) -> Swagger

AllMime (ctyp ': (ctyp' ': ctyps)) => AllMimeRender (ctyp ': (ctyp' ': ctyps)) NoContent

Defined in Servant.API.ContentTypes

Methods

allMimeRender :: Proxy (ctyp ': (ctyp' ': ctyps)) -> NoContent -> [(MediaType, ByteString)]

Accept ctyp => AllMimeRender '[ctyp] NoContent

Defined in Servant.API.ContentTypes

Methods

allMimeRender :: Proxy '[ctyp] -> NoContent -> [(MediaType, ByteString)]

type Rep NoContent

Defined in Servant.API.ContentTypes

type Rep NoContent = D1 ('MetaData "NoContent" "Servant.API.ContentTypes" "servant-0.19.1-CrZ2iNUcfKi8rDYqYmrjOl" 'False) (C1 ('MetaCons "NoContent" 'PrefixI 'False) (U1 :: Type -> Type))

type StatusOf NoContent

Defined in Servant.API.UVerb

type StatusOf NoContent = 204

Utilities

noContent :: Functor m => m NoContent -> m ()

void specialised to NoContent to soothe the compiler that rightfully warns about throwing away a do notation result. By specialising, we make sure that we still get warnings if the result type changes in the future. (We'll get an error)