File: pervasiveext.mli

package info (click to toggle)
xen-api-libs 0.5.2-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 1,940 kB
  • sloc: ml: 13,925; sh: 2,930; ansic: 1,699; makefile: 1,240; python: 83
file content (30 lines) | stat: -rw-r--r-- 1,227 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
(*
 * Copyright (C) 2006-2009 Citrix Systems Inc.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published
 * by the Free Software Foundation; version 2.1 only. with the special
 * exception on linking described in file LICENSE.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *)
val exnhook : (exn -> unit) option ref
val finally : (unit -> 'a) -> (unit -> 'b) -> 'a
val maybe_with_default : 'b -> ('a -> 'b) -> 'a option -> 'b
val may : ('a -> 'b) -> 'a option -> 'b option
val default : 'a -> 'a option -> 'a
val maybe : ('a -> unit) -> 'a option -> unit
val reraise_if : bool -> (unit -> unit) -> unit
val ignore_exn : (unit -> unit) -> unit
val ignore_int : int -> unit
val ignore_int32 : int32 -> unit
val ignore_int64 : int64 -> unit
val ignore_string : string -> unit
val ignore_float : float -> unit
val ignore_bool : bool -> unit

val (++) : ('b -> 'c) -> ('a -> 'b) -> ('a -> 'c)
val ($) : ('a -> 'b) -> 'a -> 'b