Index of exceptions

B
Bits_error [BatIO]
Break [BatSys]

Exception raised on interactive interrupt if Sys.catch_break is on.

D
Different_list_size [BatLazyList]

Different_list_size is raised when applying functions such as iter2 on two lists having different size.

E
Empty [BatStack]

Raised when Stack.pop or Stack.top is applied to an empty stack.

Empty [BatQueue]

Raised when Queue.take or Queue.peek is applied to an empty queue.

Empty [BatFingerTree]

An exception that is thrown by various operations when trying to get a non existing element.

Empty [BatDllist]
Empty_list [BatRefList]
Empty_list [BatLazyList]

Empty_list is raised when an operation applied on an empty list is invalid.

Error [BatStream]

Raised by parsers when the first component of a stream pattern is accepted, but one of the following components is rejected.

F
Failure [BatStream]

Raised by parsers when none of the first components of the stream patterns is accepted.

G
Global_not_initialized [BatGlobal]

Raised when a global variable is accessed without first having been assigned a value.

I
Illegal_char [BatPathGen.PathType]

Raised by BatPathGen.PathType.of_string, BatPathGen.PathType.append and BatPathGen.PathType.Operators.(/:) when used validator finds illegal character.

Infinite_enum [BatEnum]

As a convenience for debugging, this exception may be raised by the count function of make when attempting to count an infinite enum.

Input_closed [BatInnerIO]

This exception is raised when reading on a closed input.

Input_closed [BatIO]

This exception is raised when reading on a closed input.

Invalid_arg [BatDynArray]

When an operation on an array fails, Invalid_arg is raised.

Invalid_char [BatBase64]

This exception is raised when reading an invalid character from a base64 input.

Invalid_index [BatLazyList]

Invalid_index is raised when an indexed access on a list is out of list bounds.

Invalid_table [BatBase64]

This exception is raised if the encoding or decoding table size is not correct.

L
LexerError [BatGenlex]
M
Malformed_code [BatUTF8]
Malformed_path [BatPathGen.PathType]
N
NaN [BatNumber]

Not a Number

No_more_elements [BatLazyList]

See BatLazyList.from and BatLazyList.from_loop for more information on this exception.

No_more_elements [BatEnum]

This exception shall be raised by the next function of make or from when no more elements can be enumerated, it shall not be raised by any function which is an argument to any other function specified in the interface.

No_more_input [BatInnerIO]

This exception is raised when reading on an input with the read or nread functions while there is no available token to read.

No_more_input [BatIO]

This exception is raised when reading on an input with the read or nread functions while there is no available token to read.

No_value [BatOptParse.Opt]

No_value gets raised by OptParse.Opt.get when an option value is not available.

Not_parent [BatPathGen.PathType]
O
Option_conflict [BatOptParse.OptParser]

Option_conflict name is raised by OptParse.OptParser.add when two different options are added with identical names.

Option_error [BatOptParse.Opt]

This exception signals that an option value is invalid.

Option_help [BatOptParse.Opt]

When an option wants to display a usage message, this exception may be raised.

Out_of_bounds [BatVect.Make]

Raised when an operation violates the bounds of the vect.

Out_of_bounds [BatVect]

Raised when an operation violates the bounds of the vect.

Out_of_bounds [BatText]

Raised when an operation violates the bounds of the rope.

Out_of_range [BatUChar]
Output_closed [BatInnerIO]

This exception is raised when reading on a closed output.

Output_closed [BatIO]

This exception is raised when reading on a closed output.

Overflow [BatNumber]

Arithmetic overflow.

Overflow [BatInnerIO]

Exception raised when a read or write operation cannot be completed.

Overflow [BatIO]

Exception raised when a read or write operation cannot be completed.

S
Scan_failure [BatScanf]

The exception that formatted input functions raise when the input cannot be read according to the given format.

U
Unix_error [BatUnix]

Raised by the system calls below when an error is encountered.