Module `Github.Filter`

The Filter module contains types used by search and enumeration interfaces which describe ways to perform result filtering directly in the GitHub API.

Sourcetype state = [

| `All
| `Open
| `Closed

]

state is the activation state of a pull request, milestone, or issue. See Pull.for_repo, Milestone.for_repo, and Issue.for_repo.

Sourcetype milestone_sort = [

| `Due_date
| `Completeness

]

milestone_sort is the field by which to sort a collection of milestones. See Milestone.for_repo.

Sourcetype issue_sort = [

| `Created
| `Updated
| `Comments

]

issue_sort is the field by which to sort a collection of issues. See Issue.for_repo.

Sourcetype issue_comment_sort = [

| `Created
| `Updated

]

issue_comment_sort is the field by which to sort a collection of issue comments. See Issue.comments_for_repo.

Sourcetype repo_sort = [

| `Stars
| `Forks
| `Updated

]

repo_sort is the field by which to sort a collection of repositories. See Search.repos.

Sourcetype forks_sort = [

| `Newest
| `Oldest
| `Stargazers

]

forks_sort is the bias used when sorting a collection of forks. See Repo.forks.

Sourcetype direction = [

| `Asc
| `Desc

]

direction is the sortation precedence.

Sourcetype milestone = [

| `Any
| `None
| `Num of int

]

milestone is the filter predicate for issues. See Issue.for_repo.

Sourcetype user = [

| `Any
| `None
| `Login of string

]

user is the filter predicate for issues. See Issue.for_repo.

Sourcetype 'a range = [

| `Range of 'a option * 'a option
| `Lt of 'a
| `Lte of 'a
| `Eq of 'a
| `Gte of 'a
| `Gt of 'a

]

'a range is the type of range expressions in search queries. `Range is inclusive. See qualifier.

Sourcetype repo_field = [

| `Name
| `Description
| `Readme

]

repo_field is a repository search field selector. See `In in qualifier.

Sourcetype date = string

date is the YYYY-MM-DD representation of a day.

Sourcetype issue_qualifier = [

| `Author of string
| `Assignee of string
| `Mentions of string
| `Commenter of string
| `Involves of string
| `Team of string
| `Label of string
| `Without_label of string
| `Language of string
| `Created of date range
| `Updated of date range
| `Merged of date range
| `Closed of date range
| `User of string
| `Repo of string
| `Project of string

]

issue_qualifier is the type of issue search query predicates.

Sourcetype qualifier = [

| `In of repo_field list
| `Size of int range
| `Stars of int range
| `Forks of int range
| `Fork of [ `True | `Only ]
| `Created of date range
| `Pushed of date range
| `User of string
| `Language of string

]

qualifier is the type of repository search query predicates.

package github-unix

Module Github.Filter

Module `Github.Filter`