Module `Py.Err`Source

Sourcetype t =

| Exception
| StandardError
| ArithmeticError
| LookupError
| AssertionError
| AttributeError
| EOFError
| EnvironmentError
| FloatingPointError
| IOError
| ImportError
| IndexError
| KeyError
| KeyboardInterrupt
| MemoryError
| NameError
| NotImplementedError
| OSError
| OverflowError
| ReferenceError
| RuntimeError
| SyntaxError
| SystemExit
| TypeError
| ValueError
| ZeroDivisionError
| StopIteration

Sourceval clear : unit -> unit

Wrapper for PyErr_Clear

Sourceval exception_matches : Object.t -> bool

Wrapper for PyErr_ExceptionMatches

Sourceval fetch : unit -> (Object.t * Object.t * Object.t) option

Wrapper for PyErr_Fetch.

Sourceval fetched : unit -> (Object.t * Object.t * Object.t) option

Exception fetched when Py.E has been raised.

Sourceval given_exception_matches : Object.t -> Object.t -> bool

Wrapper for PyErr_GivenExceptionMatches

Sourceval occurred : unit -> Object.t option

Wrapper for PyErr_Occurred

Sourceval print : unit -> unit

Wrapper for PyErr_Print

Sourceval print_ex : int -> unit

Wrapper for PyErr_PrintEx

Sourceval restore : Object.t -> Object.t -> Object.t -> unit

Wrapper for PyErr_Restore

Sourceval restore_tuple : (Object.t * Object.t * Object.t) -> unit

restore_tuple (ptype, pvalue, ptraceback) is equivalent to Py.Err.restore ptype pvalue ptraceback.

Sourceval restore_fetch : unit -> unit

Restore the exception returned by Py.Err.fetch () and raise Failure if None.

Sourceval restore_fetched : unit -> unit

Restore the exception returned by Py.Err.fetched () and raise Failure if None.

Sourceval set_error : t -> string -> unit

set_error e msg calls Py.Err.set_string e msg with a predefined error type. In a closure/method/callback, it is recommended to raise a Py.Err _ exception instead.

Sourceval set_none : Object.t -> unit

Wrapper for PyErr_SetNone

Sourceval set_string : Object.t -> string -> unit

Wrapper for PyErr_SetString

Sourceval set_object : Object.t -> Object.t -> unit

Wrapper for PyErr_SetObject. In a closure/method/callback, it is recommended to raise a Py.E _ exception instead.

package pyml

Module Py.ErrSource

Module `Py.Err`Source