{ 
{ 
(
string
OAuth.token_res
)
 
get_request_token
, 
(
string
, 
string
string
)
 
build_authorize_url
, 
(
string
OAuth.token_res
)
 
connection_result
, 
(
string
, 
string
, 
string
OAuth.token_res
)
 
get_access_token
 }
 
OAuth
, 
{ 
∀ α, β.
(
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
    Dropbox.info
     
    success
     }
  • or 
    { 
    void
     
    ...
     }
)
 
info
 }
 
Account
, 
Dropbox.metadata_options
 
default_metadata_options
, 
(
string
, 
string
{ 
∀ α, β.
(
option
(
int
)
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
    Dropbox.file
     
    success
     }
  • or 
    { 
    void
     
    ...
     }
)
 
get
, 
∀ α, β.
(
string
, 
binary
, 
bool
, 
option
(
int
)
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
put
, 
∀ α, β.
(
Dropbox.metadata_options
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
metadata
, 
∀ α, β.
(
option
(
int
)
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
revisions
, 
∀ α, β.
(
int
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
restore
, 
∀ α, β.
(
string
, 
bool
, 
option
(
int
)
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
search
, 
∀ α, β.
(
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
    Dropbox.url
     
    success
     }
  • or 
    { 
    void
     
    ...
     }
)
 
shares
, 
∀ α, β.
(
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
    Dropbox.url
     
    success
     }
  • or 
    { 
    void
     
    ...
     }
)
 
media
, 
∀ α, β.
(
Dropbox.thumb_format
, 
Dropbox.thumb_size
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
    Dropbox.file
     
    success
     }
  • or 
    { 
    void
     
    ...
     }
)
 
thumbnails
 }
)
 
Files
, 
{ 
∀ α, β.
(
string
, 
string
, 
string
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
copy
, 
∀ α, β.
(
string
, 
string
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
create_folder
, 
∀ α, β.
(
string
, 
string
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
delete
, 
∀ α, β.
(
string
, 
string
, 
string
, 
Dropbox.creds
Variant
  •    
    { 
    Variant
    •    
      { 
      int
       
      unexpected_error
       }
    • or 
      { 
      void
       
      not_modified
       }
    • or 
      { 
      void
       
      bad_input
       }
    • or 
      { 
      void
       
      too_many_files
       }
    • or 
      { 
      void
       
      invalid_operation
       }
    • or 
      { 
      void
       
      chunked_encoded_not_supported
       }
    • or 
      { 
      void
       
      invalid_image
       }
    • or 
      { 
      void
       
      not_found
       }
    • or 
      { 
      void
       
      over_storage_quota
       }
    • or 
      { 
      void
       
      too_many_requests
       }
    • or 
      { 
       }
    • or 
      { 
      void
       
      ...
       }
     
    failure
     }
  • or 
    { 
     }
  • or 
    { 
    void
     
    ...
     }
)
 
move
 }
 
FileOps
, 
∀ α, α.
(
{
(
Variant
  •    
    { 
    string
     
    request_secret
    , 
    string
     
    request_token
     }
  • or 
    { 
    void
     
    ...
     }
)
 
get_status
, 
(
string
, 
string
void
)
 
set_authenticated
, 
(
string
, 
string
void
)
 
set_request
, 
void
 
...
}
{ 
(
string
outcome
(
void
, 
string
)
)
 
err
, 
∀ β.
(
string
Variant
  •    
    { 
    string
     
    failure
     }
  • or 
    { 
    string
     
    success
     }
  • or 
    { 
    void
     
    ...
     }
)
 
get_login_url
, 
(
string
Variant
  •    
    { 
    string
     
    failure
     }
  • or 
    { 
    void
     
    success
     }
)
 
get_access
, 
 
are_valid_creds
 }
)
 
Auth
 }
Dropbox (
Dropbox.conf
 
conf)

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.