License	BSD-3-Clause
Maintainer	Oleg Grenrus <oleg.grenrus@iki.fi>
Safe Haskell	None
Language	Haskell2010

GitHub.Request

Contents

Types
Request execution in IO
Helpers

Description

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

Synopsis

type Request = GenRequest MtJSON
data GenRequest (mt :: MediaType) (rw :: RW) a where
- Query :: Paths -> QueryString -> GenRequest mt rw a
- PagedQuery :: Paths -> QueryString -> FetchCount -> GenRequest mt rw (Vector a)
- Command :: CommandMethod -> Paths -> ByteString -> GenRequest mt RW a
data CommandMethod
- = Post
- | Patch
- | Put
- | Delete
toMethod :: CommandMethod -> Method
type Paths = [Text]
type QueryString = [(ByteString, Maybe ByteString)]
executeRequest :: ParseResponse mt a => Auth -> GenRequest mt rw a -> IO (Either Error a)
executeRequestWithMgr :: ParseResponse mt a => Manager -> Auth -> GenRequest mt rw a -> IO (Either Error a)
executeRequest' :: ParseResponse mt a => GenRequest mt RO a -> IO (Either Error a)
executeRequestWithMgr' :: ParseResponse mt a => Manager -> GenRequest mt RO a -> IO (Either Error a)
executeRequestMaybe :: ParseResponse mt a => Maybe Auth -> GenRequest mt RO a -> IO (Either Error a)
unsafeDropAuthRequirements :: GenRequest mt rw' a -> GenRequest mt rw a
class Accept (mt :: MediaType) where
- contentType :: Tagged mt ByteString
- modifyRequest :: Tagged mt (Request -> Request)
class Accept mt => ParseResponse (mt :: MediaType) a where
- parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged mt (m a)
makeHttpRequest :: forall mt rw a m. (MonadThrow m, Accept mt) => Maybe Auth -> GenRequest mt rw a -> m Request
parseStatus :: MonadError Error m => StatusMap a -> Status -> m a
type StatusMap a = [(Int, a)]
getNextUrl :: Response a -> Maybe URI
performPagedRequest :: forall a m mt. (ParseResponse mt a, Semigroup a, MonadCatch m, MonadError Error m) => (Request -> m (Response ByteString)) -> (a -> Bool) -> Request -> Tagged mt (m a)

Types

type Request = GenRequest MtJSON Source #

Most requests ask for JSON.

data GenRequest (mt :: MediaType) (rw :: RW) a where Source #

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 :: Paths -> QueryString -> FetchCount -> GenRequest mt rw (Vector a)
Command	Command
Fields :: CommandMethod command -> Paths path -> ByteString body -> GenRequest mt RW a

Instances

Eq (GenRequest rw mt a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in GitHub.Data.Request Methods hashWithSalt :: Int -> GenRequest rw mt a -> Int # hash :: GenRequest rw mt a -> Int #

data CommandMethod Source #

Http method of requests with body.

Constructors

Post
Patch
Put
Delete

Instances

Bounded CommandMethod Source #
Instance details Defined in GitHub.Data.Request Methods minBound :: CommandMethod # maxBound :: CommandMethod #
Enum CommandMethod Source #
Instance details 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 Source #
Instance details Defined in GitHub.Data.Request Methods (==) :: CommandMethod -> CommandMethod -> Bool # (/=) :: CommandMethod -> CommandMethod -> Bool #
Data CommandMethod Source #
Instance details 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 :: (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 Source #
Instance details 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 Source #
Instance details Defined in GitHub.Data.Request Methods readsPrec :: Int -> ReadS CommandMethod # readList :: ReadS [CommandMethod] # readPrec :: ReadPrec CommandMethod # readListPrec :: ReadPrec [CommandMethod] #
Show CommandMethod Source #
Instance details Defined in GitHub.Data.Request Methods showsPrec :: Int -> CommandMethod -> ShowS # show :: CommandMethod -> String # showList :: [CommandMethod] -> ShowS #
Generic CommandMethod Source #
Instance details 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 Source #
Instance details Defined in GitHub.Data.Request Methods hashWithSalt :: Int -> CommandMethod -> Int # hash :: CommandMethod -> Int #
type Rep CommandMethod Source #
Instance details Defined in GitHub.Data.Request type Rep CommandMethod = D1 (MetaData "CommandMethod" "GitHub.Data.Request" "github-0.21-4ub3OwsHN9iKbFFFtffuFt" 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 Source #

type Paths = [Text] Source #

type QueryString = [(ByteString, Maybe ByteString)] Source #

Request query string

Request execution in IO

executeRequest :: ParseResponse mt a => Auth -> GenRequest mt rw a -> IO (Either Error a) Source #

Execute Request in IO

executeRequestWithMgr :: ParseResponse mt a => Manager -> Auth -> GenRequest mt rw a -> IO (Either Error a) Source #

Like executeRequest but with provided Manager.

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

Like executeRequest but without authentication.

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

Like executeRequestWithMgr but without authentication.

executeRequestMaybe :: ParseResponse mt a => Maybe Auth -> GenRequest mt RO a -> IO (Either Error a) Source #

Helper for picking between executeRequest and executeRequest'.

The use is discouraged.

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

Partial function to drop authentication need.

Helpers

class Accept (mt :: MediaType) where Source #

Minimal complete definition

Nothing

Methods

contentType :: Tagged mt ByteString Source #

modifyRequest :: Tagged mt (Request -> Request) Source #

Instances

Accept MtJSON Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtJSON ByteString Source # modifyRequest :: Tagged MtJSON (Request -> Request) Source #
Accept MtRaw Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtRaw ByteString Source # modifyRequest :: Tagged MtRaw (Request -> Request) Source #
Accept MtDiff Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtDiff ByteString Source # modifyRequest :: Tagged MtDiff (Request -> Request) Source #
Accept MtPatch Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtPatch ByteString Source # modifyRequest :: Tagged MtPatch (Request -> Request) Source #
Accept MtSha Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtSha ByteString Source # modifyRequest :: Tagged MtSha (Request -> Request) Source #
Accept MtStar Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtStar ByteString Source # modifyRequest :: Tagged MtStar (Request -> Request) Source #
Accept MtRedirect Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtRedirect ByteString Source # modifyRequest :: Tagged MtRedirect (Request -> Request) Source #
Accept MtStatus Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtStatus ByteString Source # modifyRequest :: Tagged MtStatus (Request -> Request) Source #
Accept MtUnit Source #
Instance details Defined in GitHub.Request Methods contentType :: Tagged MtUnit ByteString Source # modifyRequest :: Tagged MtUnit (Request -> Request) Source #

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

Methods

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

Instances

FromJSON a => ParseResponse MtJSON a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtJSON (m a) Source #
a ~ ByteString => ParseResponse MtRaw a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtRaw (m a) Source #
a ~ ByteString => ParseResponse MtDiff a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtDiff (m a) Source #
a ~ ByteString => ParseResponse MtPatch a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtPatch (m a) Source #
a ~ ByteString => ParseResponse MtSha a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtSha (m a) Source #
FromJSON a => ParseResponse MtStar a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtStar (m a) Source #
b ~ URI => ParseResponse MtRedirect b Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtRedirect (m b) Source #
HasStatusMap a => ParseResponse MtStatus a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtStatus (m a) Source #
a ~ () => ParseResponse MtUnit a Source #
Instance details Defined in GitHub.Request Methods parseResponse :: MonadError Error m => Request -> Response ByteString -> Tagged MtUnit (m a) Source #

makeHttpRequest :: forall mt rw a m. (MonadThrow m, Accept mt) => Maybe Auth -> GenRequest mt rw a -> m Request Source #

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 Source #

Helper for handling of RequestStatus.

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

type StatusMap a = [(Int, a)] Source #

getNextUrl :: Response a -> Maybe URI Source #

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

performPagedRequest Source #

Arguments

:: (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 a)

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

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