<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="Pa_do_nums" rel="Chapter" href="Pa_do_nums.html"> <link title="Pa_infix" rel="Chapter" href="Pa_infix.html"><title>Pa_infix</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> operator = string<br> <span class="keyword">exception</span> <span class="constructor">Not_operator</span> <span class="keyword">of</span> <span class="constructor">Pa_infix</span>.operator<br> <span class="keyword">exception</span> <span class="constructor">Forbidden</span> <span class="keyword">of</span> <span class="constructor">Pa_infix</span>.operator<br> <span class="keyword">module</span> <span class="constructor">Level</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> unary<br> <span class="keyword">type</span> binary<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">type</span> arity = <span class="constructor">Unary</span> <span class="keywordsign">|</span> <span class="constructor">Binary</span><br> <span class="keyword">type</span> assoc = <span class="constructor">Camlp4</span>.<span class="constructor">Sig</span>.<span class="constructor">Grammar</span>.assoc = <span class="constructor">NonA</span> <span class="keywordsign">|</span> <span class="constructor">RightA</span> <span class="keywordsign">|</span> <span class="constructor">LeftA</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a precedence =<br> <span class="constructor">Highest</span><br> <span class="keywordsign">|</span> <span class="constructor">Higher</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keywordsign">|</span> <span class="constructor">Lower</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keywordsign">|</span> <span class="constructor">Lowest</span><br> <span class="keyword">exception</span> <span class="constructor">Bad_arity</span><br> <span class="keyword">val</span> compare : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> binary :<br> ?name:string <span class="keywordsign">-></span><br> ?assoc:<span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.assoc <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.precedence <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> unary :<br> ?name:string <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.precedence <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> name : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> arity : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.arity<br> <span class="keyword">val</span> assoc : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.assoc<br> <span class="keyword">val</span> assignment : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> disjunction : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> conjunction : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> comparison : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> concatenation : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> addition : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> multiplication : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> exponentiation : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> default_unary : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">type</span> kind = <span class="constructor">Prefix</span> <span class="keywordsign">|</span> <span class="constructor">Infix</span> <span class="keywordsign">|</span> <span class="constructor">Postfix</span><br> <span class="keyword">exception</span> <span class="constructor">Conflicting_kind</span> <span class="keyword">of</span> <span class="constructor">Pa_infix</span>.operator * <span class="constructor">Pa_infix</span>.kind *<br> <span class="constructor">Pa_infix</span>.kind<br> <span class="keyword">exception</span> <span class="constructor">Conflicting_level</span> <span class="keyword">of</span> <span class="constructor">Pa_infix</span>.operator * string * string<br> <span class="keyword">val</span> infix :<br> <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span><br> ?expr:(<span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr <span class="keywordsign">-></span><br> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr <span class="keywordsign">-></span><br> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.<span class="constructor">Loc</span>.t <span class="keywordsign">-></span> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr) <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> prefix :<br> ?expr:(<span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr <span class="keywordsign">-></span><br> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.<span class="constructor">Loc</span>.t <span class="keywordsign">-></span> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr) <span class="keywordsign">-></span><br> ?level:<span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> postfix :<br> ?expr:(<span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr <span class="keywordsign">-></span><br> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.<span class="constructor">Loc</span>.t <span class="keywordsign">-></span> <span class="constructor">Camlp4</span>.<span class="constructor">PreCast</span>.<span class="constructor">Syntax</span>.<span class="constructor">Ast</span>.expr) <span class="keywordsign">-></span><br> ?level:<span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> assoc : <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.assoc<br> <span class="keyword">val</span> level : <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> kind : <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.kind<br> <span class="keyword">val</span> is_operator : <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> is_set : <span class="constructor">Pa_infix</span>.operator <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> handle_error : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">end</span></code></body></html>
