package spotlib

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Exn.StdlibSource

Printf style errors
Sourceval failwithf : ('a, unit, string, 'b) format4 -> 'a
Sourceval invalid_argf : ('a, unit, string, 'b) format4 -> 'a
Sourceval raisef : (string -> exn) -> ('a, unit, string, 'b) format4 -> 'a
Exception handling
Sourceexception Finally of exn * exn
Sourceval protect : ('a -> 'b) -> 'a -> finally:('a -> unit) -> 'b

It raises an exception Finally (org, final) when finally cannot recover the error.

Sourceval protect_with : ('a -> 'b) -> 'a -> finally:('a -> 'c) -> 'b * 'c

It raises an exception Finally (org, final) when finally cannot recover the error.

Sourceval catch : ('a -> 'b) -> 'a -> ('b, [> `Exn of exn ]) result
Sourceval try_ignore : ('a -> unit) -> 'a -> unit
Sourceval try_or : ('a -> 'b) -> ('a -> 'b) -> 'a -> 'b
Sourceval try_bool : ('a -> unit) -> 'a -> bool

true at success

Sourceval protect_ : (unit -> 'b) -> finally:(unit -> unit) -> 'b
Sourceval protect_with_ : (unit -> 'b) -> finally:(unit -> 'c) -> 'b * 'c
Sourceval catch_ : (unit -> 'b) -> ('b, [> `Exn of exn ]) result
Sourceval try_ignore_ : (unit -> unit) -> unit
Sourceval try_or_ : (unit -> 'b) -> (unit -> 'b) -> 'b
Sourceval try_bool_ : (unit -> unit) -> bool
Sourceval tee : ('a -> 'b) -> 'a -> handler:(exn -> unit) -> 'b

tee f v ~handler. If f v raises an exception e, handler e is executed, then e is reraised.

Sourcetype 'a return = {
  1. return : 'jump. 'a -> 'jump;
}
Sourceval with_return : ('a return -> 'a) -> 'a
OCaml

Innovation. Community. Security.