GitHub.Request

This module provides data types and helper methods, which makes possible to build alternative API request intepreters in addition to provided IO functions.

Simple example using operational package. See samples/Operational/Operational.hs

type GithubMonad a = Program (GH.Request 'False) a

-- | Intepret GithubMonad value into IO
runMonad :: Manager -> GH.Auth -> GithubMonad a -> ExceptT GH.Error IO a
runMonad mgr auth m = case view m of
   Return a   -> return a
   req :>>= k -> do
       b <- ExceptT $ GH.executeRequestWithMgr mgr auth req
       runMonad mgr auth (k b)

-- | Lift request into Monad
githubRequest :: GH.Request 'False a -> GithubMonad a
githubRequest = singleton

A convenient execution of requests

github :: (AuthMethod am, GitHubRW req res) => am -> req -> res

A convenience function to turn functions returning Request rw x, into functions returning IO (Either Error x).

>>> :t \auth -> github auth userInfoForR
\auth -> github auth userInfoForR
  :: AuthMethod am => am -> Name User -> IO (Either Error User)

>>> :t github pullRequestsForR
\auth -> github auth pullRequestsForR
  :: AuthMethod am =>
     am
     -> Name Owner
     -> Name Repo
     -> PullRequestMod
     -> FetchCount
     -> IO (Either Error (Data.Vector.Vector SimplePullRequest))

github' :: GitHubRO req res => req -> res

Like github' but for RO i.e. read-only requests. Note that GitHub has low request limit for non-authenticated requests.

>>> :t github' userInfoForR
github' userInfoForR :: Name User -> IO (Either Error User)

class GitHubRW req res | req -> res

A type-class implementing github.

Minimal complete definition

githubImpl

Instances

GitHubRW req res => GitHubRW (a -> req) (a -> res)

Defined in GitHub.Request

Methods

githubImpl :: AuthMethod am => am -> (a -> req) -> a -> res

(ParseResponse mt req, res ~ Either Error req) => GitHubRW (GenRequest mt rw req) (IO res)

Defined in GitHub.Request

Methods

githubImpl :: AuthMethod am => am -> GenRequest mt rw req -> IO res

class GitHubRO req res | req -> res

A type-class implementing github'.

Minimal complete definition

githubImpl'

Instances

GitHubRO req res => GitHubRO (a -> req) (a -> res)

Defined in GitHub.Request

Methods

githubImpl' :: (a -> req) -> a -> res

(ParseResponse mt req, res ~ Either Error req, rw ~ 'RO) => GitHubRO (GenRequest mt rw req) (IO res)

Defined in GitHub.Request

Methods

githubImpl' :: GenRequest mt rw req -> IO res

Types

type Request = GenRequest 'MtJSON

Most requests ask for JSON.

data GenRequest (mt :: MediaType *) (rw :: RW) a where

Github request data type.

• rw describes whether authentication is required. It's required for non-GET requests.
• mt describes the media type, i.e. how the response should be interpreted.
• a is the result type

Note: Request is not Functor on purpose.

Constructors

Query :: Paths -> QueryString -> GenRequest mt rw a

PagedQuery :: (a ~ t b, Foldable t, Semigroup a) => Paths -> QueryString -> FetchCount -> GenRequest mt rw a

Command

Command

Fields

• :: CommandMethod

  command

• -> Paths

  path

• -> ByteString

  body

• -> GenRequest mt 'RW a

Instances

Eq (GenRequest rw mt a)

Defined in GitHub.Data.Request

Methods

(==) :: GenRequest rw mt a -> GenRequest rw mt a -> Bool

(/=) :: GenRequest rw mt a -> GenRequest rw mt a -> Bool

Ord (GenRequest rw mt a)

Defined in GitHub.Data.Request

Methods

compare :: GenRequest rw mt a -> GenRequest rw mt a -> Ordering

(<) :: GenRequest rw mt a -> GenRequest rw mt a -> Bool

(<=) :: GenRequest rw mt a -> GenRequest rw mt a -> Bool

(>) :: GenRequest rw mt a -> GenRequest rw mt a -> Bool

(>=) :: GenRequest rw mt a -> GenRequest rw mt a -> Bool

max :: GenRequest rw mt a -> GenRequest rw mt a -> GenRequest rw mt a

min :: GenRequest rw mt a -> GenRequest rw mt a -> GenRequest rw mt a

Show (GenRequest rw mt a)

Defined in GitHub.Data.Request

Methods

showsPrec :: Int -> GenRequest rw mt a -> ShowS

show :: GenRequest rw mt a -> String

showList :: [GenRequest rw mt a] -> ShowS

Hashable (GenRequest rw mt a)

Defined in GitHub.Data.Request

Methods

hashWithSalt :: Int -> GenRequest rw mt a -> Int

hash :: GenRequest rw mt a -> Int

(ParseResponse mt req, res ~ Either Error req, rw ~ 'RO) => GitHubRO (GenRequest mt rw req) (IO res)

Defined in GitHub.Request

Methods

githubImpl' :: GenRequest mt rw req -> IO res

(ParseResponse mt req, res ~ Either Error req) => GitHubRW (GenRequest mt rw req) (IO res)

Defined in GitHub.Request

Methods

githubImpl :: AuthMethod am => am -> GenRequest mt rw req -> IO res

data CommandMethod

Http method of requests with body.

Constructors

Post

Patch

Put

Delete

Instances

Bounded CommandMethod

Defined in GitHub.Data.Request

Methods

minBound :: CommandMethod

maxBound :: CommandMethod

Enum CommandMethod

Defined in GitHub.Data.Request

Methods

succ :: CommandMethod -> CommandMethod

pred :: CommandMethod -> CommandMethod

toEnum :: Int -> CommandMethod

fromEnum :: CommandMethod -> Int

enumFrom :: CommandMethod -> [CommandMethod]

enumFromThen :: CommandMethod -> CommandMethod -> [CommandMethod]

enumFromTo :: CommandMethod -> CommandMethod -> [CommandMethod]

enumFromThenTo :: CommandMethod -> CommandMethod -> CommandMethod -> [CommandMethod]

Eq CommandMethod

Defined in GitHub.Data.Request

Methods

(==) :: CommandMethod -> CommandMethod -> Bool

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

Data CommandMethod

Defined in GitHub.Data.Request

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CommandMethod -> c CommandMethod

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CommandMethod

toConstr :: CommandMethod -> Constr

dataTypeOf :: CommandMethod -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CommandMethod)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CommandMethod)

gmapT :: (forall b. Data b => b -> b) -> CommandMethod -> CommandMethod

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CommandMethod -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CommandMethod -> r

gmapQ :: (forall d. Data d => d -> u) -> CommandMethod -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CommandMethod -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CommandMethod -> m CommandMethod

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CommandMethod -> m CommandMethod

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CommandMethod -> m CommandMethod

Ord CommandMethod

Defined in GitHub.Data.Request

Methods

compare :: CommandMethod -> CommandMethod -> Ordering

(<) :: CommandMethod -> CommandMethod -> Bool

(<=) :: CommandMethod -> CommandMethod -> Bool

(>) :: CommandMethod -> CommandMethod -> Bool

(>=) :: CommandMethod -> CommandMethod -> Bool

max :: CommandMethod -> CommandMethod -> CommandMethod

min :: CommandMethod -> CommandMethod -> CommandMethod

Read CommandMethod

Defined in GitHub.Data.Request

Methods

readsPrec :: Int -> ReadS CommandMethod

readList :: ReadS [CommandMethod]

readPrec :: ReadPrec CommandMethod

readListPrec :: ReadPrec [CommandMethod]

Show CommandMethod

Defined in GitHub.Data.Request

Methods

showsPrec :: Int -> CommandMethod -> ShowS

show :: CommandMethod -> String

showList :: [CommandMethod] -> ShowS

Generic CommandMethod

Defined in GitHub.Data.Request

Associated Types

type Rep CommandMethod :: Type -> Type

Methods

from :: CommandMethod -> Rep CommandMethod x

to :: Rep CommandMethod x -> CommandMethod

Hashable CommandMethod

Defined in GitHub.Data.Request

Methods

hashWithSalt :: Int -> CommandMethod -> Int

hash :: CommandMethod -> Int

type Rep CommandMethod

Defined in GitHub.Data.Request

type Rep CommandMethod = D1 ('MetaData "CommandMethod" "GitHub.Data.Request" "github-0.27-E2VX4APYqInCeK2QmfbNoQ" 'False) ((C1 ('MetaCons "Post" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Patch" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Put" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Delete" 'PrefixI 'False) (U1 :: Type -> Type)))

toMethod :: CommandMethod -> Method

type Paths = [Text]

type QueryString = [(ByteString, Maybe ByteString)]

Request query string

Request execution in IO

executeRequest :: (AuthMethod am, ParseResponse mt a) => am -> GenRequest mt rw a -> IO (Either Error a)

Execute Request in IO

executeRequestWithMgr :: (AuthMethod am, ParseResponse mt a) => Manager -> am -> GenRequest mt rw a -> IO (Either Error a)

Like executeRequest but with provided Manager.

executeRequestWithMgrAndRes :: (AuthMethod am, ParseResponse mt a) => Manager -> am -> GenRequest mt rw a -> IO (Either Error (Response a))

Execute request and return the last received Response.

Since: 0.24

executeRequest' :: ParseResponse mt a => GenRequest mt 'RO a -> IO (Either Error a)

Like executeRequest but without authentication.

executeRequestWithMgr' :: ParseResponse mt a => Manager -> GenRequest mt 'RO a -> IO (Either Error a)

Like executeRequestWithMgr but without authentication.

executeRequestMaybe :: (AuthMethod am, ParseResponse mt a) => Maybe am -> GenRequest mt 'RO a -> IO (Either Error a)

Helper for picking between executeRequest and executeRequest'.

The use is discouraged.

unsafeDropAuthRequirements :: GenRequest mt rw' a -> GenRequest mt rw a

Partial function to drop authentication need.

Helpers

class Accept (mt :: MediaType *) where

Minimal complete definition

Nothing

Methods

contentType :: Tagged mt ByteString

modifyRequest :: Tagged mt (Request -> Request)

Instances

Accept ('MtJSON :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtJSON ByteString

modifyRequest :: Tagged 'MtJSON (Request -> Request)

Accept ('MtRaw :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtRaw ByteString

modifyRequest :: Tagged 'MtRaw (Request -> Request)

Accept ('MtDiff :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtDiff ByteString

modifyRequest :: Tagged 'MtDiff (Request -> Request)

Accept ('MtPatch :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtPatch ByteString

modifyRequest :: Tagged 'MtPatch (Request -> Request)

Accept ('MtSha :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtSha ByteString

modifyRequest :: Tagged 'MtSha (Request -> Request)

Accept ('MtStar :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtStar ByteString

modifyRequest :: Tagged 'MtStar (Request -> Request)

Accept ('MtRedirect :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtRedirect ByteString

modifyRequest :: Tagged 'MtRedirect (Request -> Request)

Accept ('MtStatus :: MediaType Type)

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtStatus ByteString

modifyRequest :: Tagged 'MtStatus (Request -> Request)

Accept ('MtUnit :: MediaType Type)

Note: we don't ignore response status.

We only accept any response body.

Defined in GitHub.Request

Methods

contentType :: Tagged 'MtUnit ByteString

modifyRequest :: Tagged 'MtUnit (Request -> Request)

PreviewAccept p => Accept ('MtPreview p)

Defined in GitHub.Request

Methods

contentType :: Tagged ('MtPreview p) ByteString

modifyRequest :: Tagged ('MtPreview p) (Request -> Request)

class Accept mt => ParseResponse (mt :: MediaType *) a where

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged mt (m a)

Instances

FromJSON a => ParseResponse ('MtJSON :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtJSON (m a)

a ~ ByteString => ParseResponse ('MtRaw :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtRaw (m a)

a ~ ByteString => ParseResponse ('MtDiff :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtDiff (m a)

a ~ ByteString => ParseResponse ('MtPatch :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtPatch (m a)

a ~ ByteString => ParseResponse ('MtSha :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtSha (m a)

FromJSON a => ParseResponse ('MtStar :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtStar (m a)

b ~ URI => ParseResponse ('MtRedirect :: MediaType Type) b

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtRedirect (m b)

HasStatusMap a => ParseResponse ('MtStatus :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtStatus (m a)

a ~ () => ParseResponse ('MtUnit :: MediaType Type) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged 'MtUnit (m a)

PreviewParseResponse p a => ParseResponse ('MtPreview p) a

Defined in GitHub.Request

Methods

parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged ('MtPreview p) (m a)

makeHttpRequest :: forall am mt rw a m. (AuthMethod am, MonadThrow m, Accept mt) => Maybe am -> GenRequest mt rw a -> m Request

Create http-client Request.

• for PagedQuery, the initial request is created.
• for Status, the Request for underlying Request is created, status checking is modifying accordingly.

parseStatus :: MonadError Error m => StatusMap a -> Status -> m a

Helper for handling of RequestStatus.

parseStatus :: StatusMap a -> Status -> Either Error a

type StatusMap a = [(Int, a)]

getNextUrl :: Response a -> Maybe URI

Query Link header with rel=next from the request headers.

performPagedRequest

Arguments

:: forall a m mt. (ParseResponse mt a, Semigroup a, MonadCatch m, MonadError Error m)

=> (Request -> m (Response ByteString))

httpLbs analogue

-> (a -> Bool)

predicate to continue iteration

-> Request

initial request

-> Tagged mt (m (Response a))

Helper for making paginated requests. Responses, a are combined monoidally.

The result is wrapped in the last received Response.

performPagedRequest :: (FromJSON a, Semigroup a)
                    => (Request -> ExceptT Error IO (Response ByteString))
                    -> (a -> Bool)
                    -> Request
                    -> ExceptT Error IO (Response a)

parseResponseJSON :: (FromJSON a, MonadError Error m) => Response ByteString -> m a

Parse API response.

parseResponse :: FromJSON a => Response ByteString -> Either Error a

Preview

class PreviewAccept p where

Minimal complete definition

previewContentType

Methods

previewContentType :: Tagged ('MtPreview p) ByteString

previewModifyRequest :: Tagged ('MtPreview p) (Request -> Request)

class PreviewAccept p => PreviewParseResponse p a where

Methods

previewParseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged ('MtPreview p) (m a)

SSL

This always exist, independently of openssl configuration flag. They change accordingly, to make use of the library simpler.

withOpenSSL :: IO a -> IO a

tlsManagerSettings :: ManagerSettings

Default TLS-enabled manager settings