<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 modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Reins" rel="Chapter" href="Reins.html"><title>Reins.Iterator.S</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a elt<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a cursor<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a collection<br> <span class="keyword">type</span> direction<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a traversal =<br> <span class="constructor">Traverse_All</span><br> <span class="keywordsign">|</span> <span class="constructor">Traverse_If</span> <span class="keyword">of</span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool)<br> <span class="keywordsign">|</span> <span class="constructor">Traverse_While</span> <span class="keyword">of</span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool)<br> <span class="keyword">val</span> create :<br> <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.direction <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.elt <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.traversal <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.collection <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> from_cursor :<br> <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.direction <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.elt <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.traversal <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.cursor <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> value : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.elt option<br> <span class="keyword">val</span> get_value : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.elt<br> <span class="keyword">val</span> at_end : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> at_beg : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> has_next : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> next : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> has_prev : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> prev : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> goto_beg : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> goto_end : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> flip : <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t<br> <span class="keyword">val</span> iter :<br> (<span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.elt <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.elt <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Reins</span>.<span class="constructor">Iterator</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">end</span></code></body></html>