Index of exceptions


B
Bits_error [BatIO]

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

E
Empty [BatQueue.Queue]
Raised when BatQueue.Queue.take or BatQueue.Queue.peek is applied to an empty queue.
Empty [BatDllist]
Empty_list [BatRefList]
Empty_list [BatLazyList]
Exceptions

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_rope [BatRope]
An exception thrown when some operation required a rope and received an unacceptable rope.
Invalid_table [BatBase64]
This exception is raised if the encoding or decoding table size is not correct.

M
Malformed_code [BatUTF8]
Malformed_code [BatCharEncodings]
An exception raised when a character is meaningless in the encoding in which it appears.
Malformed_path [BatPathGen.PathType]

N
NaN [BatNumber]
Not a Number
Negative_index [BatBitSet]
When a negative bit value is used for one of the BitSet functions, this exception is raised with the name of the function.
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 [BatOption]
Raised when calling get None.
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 [BatRope]
Raised when an operation violates the bounds of the rope.
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.