<html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of class methods" rel=Appendix href="index_methods.html"> <link title="Index of classes" rel=Appendix href="index_classes.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="BatArray" rel="Chapter" href="BatArray.html"> <link title="BatAvlTree" rel="Chapter" href="BatAvlTree.html"> <link title="BatBase64" rel="Chapter" href="BatBase64.html"> <link title="BatBig_int" rel="Chapter" href="BatBig_int.html"> <link title="BatBigarray" rel="Chapter" href="BatBigarray.html"> <link title="BatBitSet" rel="Chapter" href="BatBitSet.html"> <link title="BatBool" rel="Chapter" href="BatBool.html"> <link title="BatBounded" rel="Chapter" href="BatBounded.html"> <link title="BatBuffer" rel="Chapter" href="BatBuffer.html"> <link title="BatCache" rel="Chapter" href="BatCache.html"> <link title="BatChar" rel="Chapter" href="BatChar.html"> <link title="BatCharParser" rel="Chapter" href="BatCharParser.html"> <link title="BatComplex" rel="Chapter" href="BatComplex.html"> <link title="BatConcurrent" rel="Chapter" href="BatConcurrent.html"> <link title="BatDeque" rel="Chapter" href="BatDeque.html"> <link title="BatDigest" rel="Chapter" href="BatDigest.html"> <link title="BatDllist" rel="Chapter" href="BatDllist.html"> <link title="BatDynArray" rel="Chapter" href="BatDynArray.html"> <link title="BatEnum" rel="Chapter" href="BatEnum.html"> <link title="BatFile" rel="Chapter" href="BatFile.html"> <link title="BatFingerTree" rel="Chapter" href="BatFingerTree.html"> <link title="BatFloat" rel="Chapter" href="BatFloat.html"> <link title="BatFormat" rel="Chapter" href="BatFormat.html"> <link title="BatGc" rel="Chapter" href="BatGc.html"> <link title="BatGenlex" rel="Chapter" href="BatGenlex.html"> <link title="BatGlobal" rel="Chapter" href="BatGlobal.html"> <link title="BatHashcons" rel="Chapter" href="BatHashcons.html"> <link title="BatHashtbl" rel="Chapter" href="BatHashtbl.html"> <link title="BatHeap" rel="Chapter" href="BatHeap.html"> <link title="BatIMap" rel="Chapter" href="BatIMap.html"> <link title="BatIO" rel="Chapter" href="BatIO.html"> <link title="BatISet" rel="Chapter" href="BatISet.html"> <link title="BatInnerIO" rel="Chapter" href="BatInnerIO.html"> <link title="BatInnerPervasives" rel="Chapter" href="BatInnerPervasives.html"> <link title="BatInnerWeaktbl" rel="Chapter" href="BatInnerWeaktbl.html"> <link title="BatInt" rel="Chapter" href="BatInt.html"> <link title="BatInt32" rel="Chapter" href="BatInt32.html"> <link title="BatInt64" rel="Chapter" href="BatInt64.html"> <link title="BatInterfaces" rel="Chapter" href="BatInterfaces.html"> <link title="BatLazyList" rel="Chapter" href="BatLazyList.html"> <link title="BatLexing" rel="Chapter" href="BatLexing.html"> <link title="BatList" rel="Chapter" href="BatList.html"> <link title="BatLog" rel="Chapter" href="BatLog.html"> <link title="BatLogger" rel="Chapter" href="BatLogger.html"> <link title="BatMap" rel="Chapter" href="BatMap.html"> <link title="BatMarshal" rel="Chapter" href="BatMarshal.html"> <link title="BatMultiMap" rel="Chapter" href="BatMultiMap.html"> <link title="BatMultiPMap" rel="Chapter" href="BatMultiPMap.html"> <link title="BatMutex" rel="Chapter" href="BatMutex.html"> <link title="BatNativeint" rel="Chapter" href="BatNativeint.html"> <link title="BatNum" rel="Chapter" href="BatNum.html"> <link title="BatNumber" rel="Chapter" href="BatNumber.html"> <link title="BatOo" rel="Chapter" href="BatOo.html"> <link title="BatOptParse" rel="Chapter" href="BatOptParse.html"> <link title="BatOption" rel="Chapter" href="BatOption.html"> <link title="BatOrd" rel="Chapter" href="BatOrd.html"> <link title="BatParserCo" rel="Chapter" href="BatParserCo.html"> <link title="BatPathGen" rel="Chapter" href="BatPathGen.html"> <link title="BatPervasives" rel="Chapter" href="BatPervasives.html"> <link title="BatPrintexc" rel="Chapter" href="BatPrintexc.html"> <link title="BatPrintf" rel="Chapter" href="BatPrintf.html"> <link title="BatQueue" rel="Chapter" href="BatQueue.html"> <link title="BatRMutex" rel="Chapter" href="BatRMutex.html"> <link title="BatRandom" rel="Chapter" href="BatRandom.html"> <link title="BatRef" rel="Chapter" href="BatRef.html"> <link title="BatRefList" rel="Chapter" href="BatRefList.html"> <link title="BatResult" rel="Chapter" href="BatResult.html"> <link title="BatReturn" rel="Chapter" href="BatReturn.html"> <link title="BatScanf" rel="Chapter" href="BatScanf.html"> <link title="BatSeq" rel="Chapter" href="BatSeq.html"> <link title="BatSet" rel="Chapter" href="BatSet.html"> <link title="BatSplay" rel="Chapter" href="BatSplay.html"> <link title="BatStack" rel="Chapter" href="BatStack.html"> <link title="BatStream" rel="Chapter" href="BatStream.html"> <link title="BatString" rel="Chapter" href="BatString.html"> <link title="BatSubstring" rel="Chapter" href="BatSubstring.html"> <link title="BatSys" rel="Chapter" href="BatSys.html"> <link title="BatText" rel="Chapter" href="BatText.html"> <link title="BatTuple" rel="Chapter" href="BatTuple.html"> <link title="BatUChar" rel="Chapter" href="BatUChar.html"> <link title="BatUTF8" rel="Chapter" href="BatUTF8.html"> <link title="BatUnit" rel="Chapter" href="BatUnit.html"> <link title="BatUnix" rel="Chapter" href="BatUnix.html"> <link title="BatUref" rel="Chapter" href="BatUref.html"> <link title="BatVect" rel="Chapter" href="BatVect.html"> <link title="Batteries" rel="Chapter" href="Batteries.html"> <link title="BatteriesConfig" rel="Chapter" href="BatteriesConfig.html"> <link title="BatteriesPrint" rel="Chapter" href="BatteriesPrint.html"> <link title="BatteriesThread" rel="Chapter" href="BatteriesThread.html"> <link title="Extlib" rel="Chapter" href="Extlib.html"><title>Batteries user guide : Index of exceptions</title> </head> <body> <div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> </div> <h1>Index of exceptions</h1> <table> <tr><td align="left"><br>B</td></tr> <tr><td><a href="BatIO.html#EXCEPTIONBits_error">Bits_error</a> [<a href="BatIO.html">BatIO</a>]</td> <td></td></tr> <tr><td><a href="BatSys.html#EXCEPTIONBreak">Break</a> [<a href="BatSys.html">BatSys</a>]</td> <td><div class="info"> Exception raised on interactive interrupt if <code class="code"><span class="constructor">Sys</span>.catch_break</code> is on. </div> </td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="BatLazyList.html#EXCEPTIONDifferent_list_size">Different_list_size</a> [<a href="BatLazyList.html">BatLazyList</a>]</td> <td><div class="info"> <code class="code"><span class="constructor">Different_list_size</span></code> is raised when applying functions such as <code class="code">iter2</code> on two lists having different size. </div> </td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="BatStack.html#EXCEPTIONEmpty">Empty</a> [<a href="BatStack.html">BatStack</a>]</td> <td><div class="info"> Raised when <code class="code"><span class="constructor">Stack</span>.pop</code> or <code class="code"><span class="constructor">Stack</span>.top</code> is applied to an empty stack. </div> </td></tr> <tr><td><a href="BatQueue.html#EXCEPTIONEmpty">Empty</a> [<a href="BatQueue.html">BatQueue</a>]</td> <td><div class="info"> Raised when <code class="code"><span class="constructor">Queue</span>.take</code> or <code class="code"><span class="constructor">Queue</span>.peek</code> is applied to an empty queue. </div> </td></tr> <tr><td><a href="BatFingerTree.html#EXCEPTIONEmpty">Empty</a> [<a href="BatFingerTree.html">BatFingerTree</a>]</td> <td><div class="info"> An exception that is thrown by various operations when trying to get a non existing element. </div> </td></tr> <tr><td><a href="BatDllist.html#EXCEPTIONEmpty">Empty</a> [<a href="BatDllist.html">BatDllist</a>]</td> <td></td></tr> <tr><td><a href="BatRefList.html#EXCEPTIONEmpty_list">Empty_list</a> [<a href="BatRefList.html">BatRefList</a>]</td> <td></td></tr> <tr><td><a href="BatLazyList.html#EXCEPTIONEmpty_list">Empty_list</a> [<a href="BatLazyList.html">BatLazyList</a>]</td> <td><div class="info"> <code class="code"><span class="constructor">Empty_list</span></code> is raised when an operation applied on an empty list is invalid. </div> </td></tr> <tr><td><a href="BatStream.html#EXCEPTIONError">Error</a> [<a href="BatStream.html">BatStream</a>]</td> <td><div class="info"> Raised by parsers when the first component of a stream pattern is accepted, but one of the following components is rejected. </div> </td></tr> <tr><td align="left"><br>F</td></tr> <tr><td><a href="BatStream.html#EXCEPTIONFailure">Failure</a> [<a href="BatStream.html">BatStream</a>]</td> <td><div class="info"> Raised by parsers when none of the first components of the stream patterns is accepted. </div> </td></tr> <tr><td align="left"><br>G</td></tr> <tr><td><a href="BatGlobal.html#EXCEPTIONGlobal_not_initialized">Global_not_initialized</a> [<a href="BatGlobal.html">BatGlobal</a>]</td> <td><div class="info"> Raised when a global variable is accessed without first having been assigned a value. </div> </td></tr> <tr><td align="left"><br>I</td></tr> <tr><td><a href="BatPathGen.PathType.html#EXCEPTIONIllegal_char">Illegal_char</a> [<a href="BatPathGen.PathType.html">BatPathGen.PathType</a>]</td> <td><div class="info"> Raised by <a href="BatPathGen.PathType.html#VALof_string"><code class="code"><span class="constructor">BatPathGen</span>.<span class="constructor">PathType</span>.of_string</code></a>, <a href="BatPathGen.PathType.html#VALappend"><code class="code"><span class="constructor">BatPathGen</span>.<span class="constructor">PathType</span>.append</code></a> and <a href="BatPathGen.PathType.Operators.html#VAL(/:)"><code class="code"><span class="constructor">BatPathGen</span>.<span class="constructor">PathType</span>.<span class="constructor">Operators</span>.(/:)</code></a> when used validator finds illegal character. </div> </td></tr> <tr><td><a href="BatEnum.html#EXCEPTIONInfinite_enum">Infinite_enum</a> [<a href="BatEnum.html">BatEnum</a>]</td> <td><div class="info"> As a convenience for debugging, this exception <i>may</i> be raised by the <code class="code">count</code> function of <code class="code">make</code> when attempting to count an infinite enum. </div> </td></tr> <tr><td><a href="BatInnerIO.html#EXCEPTIONInput_closed">Input_closed</a> [<a href="BatInnerIO.html">BatInnerIO</a>]</td> <td><div class="info"> This exception is raised when reading on a closed input. </div> </td></tr> <tr><td><a href="BatIO.html#EXCEPTIONInput_closed">Input_closed</a> [<a href="BatIO.html">BatIO</a>]</td> <td><div class="info"> This exception is raised when reading on a closed input. </div> </td></tr> <tr><td><a href="BatDynArray.html#EXCEPTIONInvalid_arg">Invalid_arg</a> [<a href="BatDynArray.html">BatDynArray</a>]</td> <td><div class="info"> When an operation on an array fails, <code class="code"><span class="constructor">Invalid_arg</span></code> is raised. </div> </td></tr> <tr><td><a href="BatBase64.html#EXCEPTIONInvalid_char">Invalid_char</a> [<a href="BatBase64.html">BatBase64</a>]</td> <td><div class="info"> This exception is raised when reading an invalid character from a base64 input. </div> </td></tr> <tr><td><a href="BatLazyList.html#EXCEPTIONInvalid_index">Invalid_index</a> [<a href="BatLazyList.html">BatLazyList</a>]</td> <td><div class="info"> <code class="code"><span class="constructor">Invalid_index</span></code> is raised when an indexed access on a list is out of list bounds. </div> </td></tr> <tr><td><a href="BatBase64.html#EXCEPTIONInvalid_table">Invalid_table</a> [<a href="BatBase64.html">BatBase64</a>]</td> <td><div class="info"> This exception is raised if the encoding or decoding table size is not correct. </div> </td></tr> <tr><td align="left"><br>L</td></tr> <tr><td><a href="BatGenlex.html#EXCEPTIONLexerError">LexerError</a> [<a href="BatGenlex.html">BatGenlex</a>]</td> <td></td></tr> <tr><td align="left"><br>M</td></tr> <tr><td><a href="BatUTF8.html#EXCEPTIONMalformed_code">Malformed_code</a> [<a href="BatUTF8.html">BatUTF8</a>]</td> <td></td></tr> <tr><td><a href="BatPathGen.PathType.html#EXCEPTIONMalformed_path">Malformed_path</a> [<a href="BatPathGen.PathType.html">BatPathGen.PathType</a>]</td> <td></td></tr> <tr><td align="left"><br>N</td></tr> <tr><td><a href="BatNumber.html#EXCEPTIONNaN">NaN</a> [<a href="BatNumber.html">BatNumber</a>]</td> <td><div class="info"> Not a Number </div> </td></tr> <tr><td><a href="BatLazyList.html#EXCEPTIONNo_more_elements">No_more_elements</a> [<a href="BatLazyList.html">BatLazyList</a>]</td> <td><div class="info"> See <a href="BatLazyList.html#VALfrom"><code class="code"><span class="constructor">BatLazyList</span>.from</code></a> and <a href="BatLazyList.html#VALfrom_loop"><code class="code"><span class="constructor">BatLazyList</span>.from_loop</code></a> for more information on this exception. </div> </td></tr> <tr><td><a href="BatEnum.html#EXCEPTIONNo_more_elements">No_more_elements</a> [<a href="BatEnum.html">BatEnum</a>]</td> <td><div class="info"> This exception <i>shall</i> be raised by the <code class="code">next</code> function of <code class="code">make</code> or <code class="code">from</code> when no more elements can be enumerated, it <i>shall not</i> be raised by any function which is an argument to any other function specified in the interface. </div> </td></tr> <tr><td><a href="BatInnerIO.html#EXCEPTIONNo_more_input">No_more_input</a> [<a href="BatInnerIO.html">BatInnerIO</a>]</td> <td><div class="info"> This exception is raised when reading on an input with the <code class="code">read</code> or <code class="code">nread</code> functions while there is no available token to read. </div> </td></tr> <tr><td><a href="BatIO.html#EXCEPTIONNo_more_input">No_more_input</a> [<a href="BatIO.html">BatIO</a>]</td> <td><div class="info"> This exception is raised when reading on an input with the <code class="code">read</code> or <code class="code">nread</code> functions while there is no available token to read. </div> </td></tr> <tr><td><a href="BatOptParse.Opt.html#EXCEPTIONNo_value">No_value</a> [<a href="BatOptParse.Opt.html">BatOptParse.Opt</a>]</td> <td><div class="info"> <code class="code"><span class="constructor">No_value</span></code> gets raised by <code class="code"><span class="constructor">OptParse</span>.<span class="constructor">Opt</span>.get</code> when an option value is not available. </div> </td></tr> <tr><td><a href="BatPathGen.PathType.html#EXCEPTIONNot_parent">Not_parent</a> [<a href="BatPathGen.PathType.html">BatPathGen.PathType</a>]</td> <td></td></tr> <tr><td align="left"><br>O</td></tr> <tr><td><a href="BatOptParse.OptParser.html#EXCEPTIONOption_conflict">Option_conflict</a> [<a href="BatOptParse.OptParser.html">BatOptParse.OptParser</a>]</td> <td><div class="info"> <code class="code"><span class="constructor">Option_conflict</span> name</code> is raised by <code class="code"><span class="constructor">OptParse</span>.<span class="constructor">OptParser</span>.add</code> when two different options are added with identical names. </div> </td></tr> <tr><td><a href="BatOptParse.Opt.html#EXCEPTIONOption_error">Option_error</a> [<a href="BatOptParse.Opt.html">BatOptParse.Opt</a>]</td> <td><div class="info"> This exception signals that an option value is invalid. </div> </td></tr> <tr><td><a href="BatOptParse.Opt.html#EXCEPTIONOption_help">Option_help</a> [<a href="BatOptParse.Opt.html">BatOptParse.Opt</a>]</td> <td><div class="info"> When an option wants to display a usage message, this exception may be raised. </div> </td></tr> <tr><td><a href="BatVect.Make.html#EXCEPTIONOut_of_bounds">Out_of_bounds</a> [<a href="BatVect.Make.html">BatVect.Make</a>]</td> <td><div class="info"> Raised when an operation violates the bounds of the vect. </div> </td></tr> <tr><td><a href="BatVect.html#EXCEPTIONOut_of_bounds">Out_of_bounds</a> [<a href="BatVect.html">BatVect</a>]</td> <td><div class="info"> Raised when an operation violates the bounds of the vect. </div> </td></tr> <tr><td><a href="BatText.html#EXCEPTIONOut_of_bounds">Out_of_bounds</a> [<a href="BatText.html">BatText</a>]</td> <td><div class="info"> Raised when an operation violates the bounds of the rope. </div> </td></tr> <tr><td><a href="BatUChar.html#EXCEPTIONOut_of_range">Out_of_range</a> [<a href="BatUChar.html">BatUChar</a>]</td> <td></td></tr> <tr><td><a href="BatInnerIO.html#EXCEPTIONOutput_closed">Output_closed</a> [<a href="BatInnerIO.html">BatInnerIO</a>]</td> <td><div class="info"> This exception is raised when reading on a closed output. </div> </td></tr> <tr><td><a href="BatIO.html#EXCEPTIONOutput_closed">Output_closed</a> [<a href="BatIO.html">BatIO</a>]</td> <td><div class="info"> This exception is raised when reading on a closed output. </div> </td></tr> <tr><td><a href="BatNumber.html#EXCEPTIONOverflow">Overflow</a> [<a href="BatNumber.html">BatNumber</a>]</td> <td><div class="info"> Arithmetic overflow. </div> </td></tr> <tr><td><a href="BatInnerIO.html#EXCEPTIONOverflow">Overflow</a> [<a href="BatInnerIO.html">BatInnerIO</a>]</td> <td><div class="info"> Exception raised when a read or write operation cannot be completed. </div> </td></tr> <tr><td><a href="BatIO.html#EXCEPTIONOverflow">Overflow</a> [<a href="BatIO.html">BatIO</a>]</td> <td><div class="info"> Exception raised when a read or write operation cannot be completed. </div> </td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="BatScanf.html#EXCEPTIONScan_failure">Scan_failure</a> [<a href="BatScanf.html">BatScanf</a>]</td> <td><div class="info"> The exception that formatted input functions raise when the input cannot be read according to the given format. </div> </td></tr> <tr><td align="left"><br>U</td></tr> <tr><td><a href="BatUnix.html#EXCEPTIONUnix_error">Unix_error</a> [<a href="BatUnix.html">BatUnix</a>]</td> <td><div class="info"> Raised by the system calls below when an error is encountered. </div> </td></tr> </table> </body> </html>