module Datatypes: sig
.. end
Generic datatypes
These are the datatypes used throughout the library.
type
query = (string * string option) list
type
language = string
type
user = string
type
token_type = [ `EDIT | `MOVE ]
type
search_type = [ `TEXT | `TITLE ]
type
rc_type = [ `EDIT | `LOG | `NEW ]
type
redirect_filter = [ `ALL | `NOT_REDIRECT | `REDIRECT ]
type
user_filter = [ `ALL | `EXCLUDE of user | `ONLY of user ]
type
category_filter = [ `HIDDEN | `NOT_HIDDEN ]
type
minor_flag = [ `DEFAULT | `MINOR | `NOT_MINOR ]
type
watch_flag = [ `DEFAULT | `NO_CHANGE | `UNWATCH | `WATCH ]
type
create_flag = [ `CREATE_ONLY | `DEFAULT | `NO_CREATE | `RECREATE ]
type
edit_status = [ `NEW | `NO_CHANGE | `UPDATE ]
type
move_status = [ `NO_REDIRECT | `REDIRECTED ]
type
upload_status = [ `SUCCESS | `WARNING ]
type 'a
relative_id = [ `CURRENT | `ID of 'a Id.t | `NEXT | `PREVIOUS ]
type
order = [ `DECR | `INCR ]
type
token = {
}
type
page = {
}
type
revision = {
}
type
diff = {
}
type
langlink = {
|
lang_title : string ; |
|
lang_language : language ; |
}
type
namespace_info = {
|
ns_id : namespace ; |
|
ns_name : string ; |
|
ns_canonical : string option ; |
|
ns_content : bool ; |
|
ns_case_sensitive : bool ; |
|
ns_subpages : bool ; |
|
ns_aliases : string list ; |
}
type
user_info = {
|
user_id : user_t Id.t ; |
|
user_name : string ; |
|
user_anon : bool ; |
|
user_groups : string list ; |
|
user_rights : string list ; |
|
user_editcount : int ; |
}
type
category_info = {
|
cat_name : string ; |
|
cat_size : int ; |
|
cat_pages : int ; |
|
cat_files : int ; |
|
cat_subcats : int ; |
|
cat_hidden : bool ; |
}
type
rc_info = {
}
type
site_statistics = {
|
stats_pages : int ; |
|
stats_articles : int ; |
|
stats_edits : int ; |
|
stats_images : int ; |
|
stats_users : int ; |
|
stats_activeusers : int ; |
|
stats_admins : int ; |
|
stats_jobs : int ; |
}
type
interwiki_info = {
|
iw_prefix : string ; |
|
iw_url : string ; |
|
iw_local : bool ; |
}
type
move_result = {
|
moved_status : move_status ; |
|
moved_page : string * string ; |
|
moved_talk : (string * string) option ; |
|
moved_subpage : (string * string) list ; |
|
moved_subtalk : (string * string) list ; |
}
type
upload_result = {
}
type
site = {
|
site_name : string ; |
|
site_api : string ; |
|
site_lang : string ; |
}
class type session = object
.. end