GitHub.Tools.PullRequestInfo
data PullRequestInfo Source #
Constructors
Fields
The repository for which the pull request is.
The assigned pull request issue number.
The user who proposed this PR.
The branch name from which the pull request came.
Creation time of pull request. I.e. when it was proposed.
Title of pull request.
The list of pull request reviewers (assignees).
The mergeability state of the PR (clean = it's mergeable now).
The origin repository as user/reponame string.
Whether the author is an org member (True) or an outside contributor (False).
Defined in GitHub.Tools.PullRequestInfo
Methods
(==) :: PullRequestInfo -> PullRequestInfo -> Bool #
(/=) :: PullRequestInfo -> PullRequestInfo -> Bool #
compare :: PullRequestInfo -> PullRequestInfo -> Ordering #
(<) :: PullRequestInfo -> PullRequestInfo -> Bool #
(<=) :: PullRequestInfo -> PullRequestInfo -> Bool #
(>) :: PullRequestInfo -> PullRequestInfo -> Bool #
(>=) :: PullRequestInfo -> PullRequestInfo -> Bool #
max :: PullRequestInfo -> PullRequestInfo -> PullRequestInfo #
min :: PullRequestInfo -> PullRequestInfo -> PullRequestInfo #
showsPrec :: Int -> PullRequestInfo -> ShowS #
show :: PullRequestInfo -> String #
showList :: [PullRequestInfo] -> ShowS #
Associated Types
type Rep PullRequestInfo :: Type -> Type #
from :: PullRequestInfo -> Rep PullRequestInfo x #
to :: Rep PullRequestInfo x -> PullRequestInfo #
toJSON :: PullRequestInfo -> Value #
toEncoding :: PullRequestInfo -> Encoding #
toJSONList :: [PullRequestInfo] -> Value #
toEncodingList :: [PullRequestInfo] -> Encoding #
parseJSON :: Value -> Parser PullRequestInfo #
parseJSONList :: Value -> Parser [PullRequestInfo] #
formatPR :: Bool -> UTCTime -> [[PullRequestInfo]] -> Text Source #
prToTable :: UTCTime -> [[PullRequestInfo]] -> Table Text Text Text Source #
diffInDays :: UTCTime -> UTCTime -> Int Source #