| License | BSD-3-Clause |
|---|---|
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
GitHub.Endpoints.PullRequests
Description
The pull requests API as documented at http://developer.github.com/v3/pulls/.
Synopsis
- pullRequestsForR :: Name Owner -> Name Repo -> PullRequestMod -> FetchCount -> Request k (Vector SimplePullRequest)
- pullRequestR :: Name Owner -> Name Repo -> IssueNumber -> Request k PullRequest
- pullRequestDiffR :: Name Owner -> Name Repo -> IssueNumber -> GenRequest 'MtDiff rw ByteString
- pullRequestPatchR :: Name Owner -> Name Repo -> IssueNumber -> GenRequest 'MtPatch rw ByteString
- createPullRequestR :: Name Owner -> Name Repo -> CreatePullRequest -> Request 'RW PullRequest
- updatePullRequestR :: Name Owner -> Name Repo -> IssueNumber -> EditPullRequest -> Request 'RW PullRequest
- pullRequestCommitsR :: Name Owner -> Name Repo -> IssueNumber -> FetchCount -> Request k (Vector Commit)
- pullRequestFilesR :: Name Owner -> Name Repo -> IssueNumber -> FetchCount -> Request k (Vector File)
- isPullRequestMergedR :: Name Owner -> Name Repo -> IssueNumber -> GenRequest 'MtStatus rw Bool
- mergePullRequestR :: Name Owner -> Name Repo -> IssueNumber -> Maybe Text -> GenRequest 'MtStatus 'RW MergeResult
- module GitHub.Data
Documentation
pullRequestsForR :: Name Owner -> Name Repo -> PullRequestMod -> FetchCount -> Request k (Vector SimplePullRequest) Source #
List pull requests. See https://developer.github.com/v3/pulls/#list-pull-requests
pullRequestR :: Name Owner -> Name Repo -> IssueNumber -> Request k PullRequest Source #
Query a single pull request. See https://developer.github.com/v3/pulls/#get-a-single-pull-request
pullRequestDiffR :: Name Owner -> Name Repo -> IssueNumber -> GenRequest 'MtDiff rw ByteString Source #
Query a single pull request to obtain the diff See https://developer.github.com/v3/pulls/#get-a-single-pull-request
pullRequestPatchR :: Name Owner -> Name Repo -> IssueNumber -> GenRequest 'MtPatch rw ByteString Source #
Query a single pull request to obtain the patch See https://developer.github.com/v3/pulls/#get-a-single-pull-request
createPullRequestR :: Name Owner -> Name Repo -> CreatePullRequest -> Request 'RW PullRequest Source #
Create a pull request. See https://developer.github.com/v3/pulls/#create-a-pull-request
updatePullRequestR :: Name Owner -> Name Repo -> IssueNumber -> EditPullRequest -> Request 'RW PullRequest Source #
Update a pull request. See https://developer.github.com/v3/pulls/#update-a-pull-request
pullRequestCommitsR :: Name Owner -> Name Repo -> IssueNumber -> FetchCount -> Request k (Vector Commit) Source #
List commits on a pull request. See https://developer.github.com/v3/pulls/#list-commits-on-a-pull-request
pullRequestFilesR :: Name Owner -> Name Repo -> IssueNumber -> FetchCount -> Request k (Vector File) Source #
List pull requests files. See https://developer.github.com/v3/pulls/#list-pull-requests-files
isPullRequestMergedR :: Name Owner -> Name Repo -> IssueNumber -> GenRequest 'MtStatus rw Bool Source #
Query if a pull request has been merged. See https://developer.github.com/v3/pulls/#get-if-a-pull-request-has-been-merged
mergePullRequestR :: Name Owner -> Name Repo -> IssueNumber -> Maybe Text -> GenRequest 'MtStatus 'RW MergeResult Source #
Merge a pull request (Merge Button). https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
module GitHub.Data