diff options
Diffstat (limited to 'api/dotty/tools/dotc/reporting/Reporting.html')
-rw-r--r-- | api/dotty/tools/dotc/reporting/Reporting.html | 262 |
1 files changed, 138 insertions, 124 deletions
diff --git a/api/dotty/tools/dotc/reporting/Reporting.html b/api/dotty/tools/dotc/reporting/Reporting.html index c74257ff6..edbe27453 100644 --- a/api/dotty/tools/dotc/reporting/Reporting.html +++ b/api/dotty/tools/dotc/reporting/Reporting.html @@ -118,6 +118,21 @@ </li> + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/FatalError$.html">O</a> + + <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/FatalError.html">C</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/FatalError.html">FatalError</a> + </li> + + + + + + <li class="index-entity "> <div class="entity-kinds"> @@ -1373,6 +1388,26 @@ + <li class="index-entity "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">PickleFormat</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">Scala2Flags</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -2331,6 +2366,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">O</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">SafeLazyWrapper</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">O</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">ShowAPI</a> @@ -3403,9 +3448,14 @@ - <li class="index-entity "> + + + + <li class="index-entity with-companion "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/typer/NamerContextOps$.html">O</a> + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">T</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">NamerContextOps</a> @@ -3873,6 +3923,21 @@ + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dottydoc/core/Counters$.html">O</a> + + <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dottydoc/core/Counters.html">C</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dottydoc/core/Counters.html">Counters</a> + </li> + + + + + + <li class="index-entity "> <div class="entity-kinds"> @@ -3973,6 +4038,31 @@ + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dottydoc/core/Statistics$.html">O</a> + + <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">C</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">Statistics</a> + </li> + + + + + + + <li class="index-entity "> + <div class="entity-kinds"> + + <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">C</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">StatisticsPhase</a> + </li> + + + <li class="index-entity "> <div class="entity-kinds"> @@ -5355,7 +5445,7 @@ <div id="$inlineAccessor$traceIndented$1(question,printer,show)(op)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, '$inlineAccessor$traceIndented$1(question,printer,show)(op)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, '$inlineAccessor$traceIndented$1(question,printer,show)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -5443,7 +5533,7 @@ <div id="conditionalTraceIndented(cond,question,printer,show)(op)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'conditionalTraceIndented(cond,question,printer,show)(op)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'conditionalTraceIndented(cond,question,printer,show)(op)');">[+]</span> <span class="member-annotations"> @Body @inline </span> @@ -5539,7 +5629,7 @@ <div id="conditionalTraceIndented$default$3" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'conditionalTraceIndented$default$3');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'conditionalTraceIndented$default$3');">[+]</span> <span class="member-annotations"> </span> @@ -5587,7 +5677,7 @@ <div id="conditionalTraceIndented$default$4" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'conditionalTraceIndented$default$4');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'conditionalTraceIndented$default$4');">[+]</span> <span class="member-annotations"> </span> @@ -5635,7 +5725,7 @@ <div id="debugTraceIndented(question,printer,show)(op)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'debugTraceIndented(question,printer,show)(op)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'debugTraceIndented(question,printer,show)(op)');">[+]</span> <span class="member-annotations"> @Body @inline </span> @@ -5723,7 +5813,7 @@ <div id="debugTraceIndented$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'debugTraceIndented$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'debugTraceIndented$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5771,7 +5861,7 @@ <div id="debugTraceIndented$default$3" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'debugTraceIndented$default$3');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'debugTraceIndented$default$3');">[+]</span> <span class="member-annotations"> </span> @@ -5819,7 +5909,7 @@ <div id="debuglog(msg)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'debuglog(msg)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'debuglog(msg)');">[+]</span> <span class="member-annotations"> </span> @@ -5880,7 +5970,7 @@ <div id="debugwarn(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'debugwarn(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'debugwarn(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -5949,7 +6039,7 @@ <div id="debugwarn$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'debugwarn$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'debugwarn$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -5997,7 +6087,7 @@ <div id="deprecationWarning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'deprecationWarning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'deprecationWarning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -6066,7 +6156,7 @@ <div id="deprecationWarning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'deprecationWarning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'deprecationWarning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6114,7 +6204,7 @@ <div id="doTraceIndented(question,printer,show)(op)" class="member private"> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'doTraceIndented(question,printer,show)(op)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'doTraceIndented(question,printer,show)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -6202,7 +6292,7 @@ <div id="doTraceIndented(leading,trailing)(op)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'doTraceIndented(leading,trailing)(op)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'doTraceIndented(leading,trailing)(op)');">[+]</span> <span class="member-annotations"> </span> @@ -6282,7 +6372,7 @@ <div id="doTraceIndented$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'doTraceIndented$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'doTraceIndented$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6330,7 +6420,7 @@ <div id="doTraceIndented$default$3" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'doTraceIndented$default$3');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'doTraceIndented$default$3');">[+]</span> <span class="member-annotations"> </span> @@ -6378,7 +6468,7 @@ <div id="echo(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'echo(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'echo(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -6447,7 +6537,7 @@ <div id="echo$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'echo$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'echo$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6495,7 +6585,7 @@ <div id="error(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'error(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'error(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -6564,7 +6654,7 @@ <div id="error$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'error$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'error$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6612,7 +6702,7 @@ <div id="errorOrMigrationWarning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'errorOrMigrationWarning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'errorOrMigrationWarning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -6681,7 +6771,7 @@ <div id="errorOrMigrationWarning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'errorOrMigrationWarning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'errorOrMigrationWarning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6729,7 +6819,7 @@ <div id="featureWarning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'featureWarning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'featureWarning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -6798,7 +6888,7 @@ <div id="featureWarning(feature,featureDescription,isScala2Feature,featureUseSite,required,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'featureWarning(feature,featureDescription,isScala2Feature,featureUseSite,required,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'featureWarning(feature,featureDescription,isScala2Feature,featureUseSite,required,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -6899,7 +6989,7 @@ <div id="featureWarning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'featureWarning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'featureWarning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -6947,7 +7037,7 @@ <div id="incompleteInputError(msg,pos)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'incompleteInputError(msg,pos)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'incompleteInputError(msg,pos)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7029,7 +7119,7 @@ <div id="incompleteInputError$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'incompleteInputError$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'incompleteInputError$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -7077,7 +7167,7 @@ <div id="inform(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'inform(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'inform(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -7148,7 +7238,7 @@ <div id="inform$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'inform$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'inform$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -7198,7 +7288,7 @@ <div id="informProgress(msg)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'informProgress(msg)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'informProgress(msg)');">[+]</span> <span class="member-annotations"> </span> @@ -7259,7 +7349,7 @@ <div id="informTime(msg,start)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'informTime(msg,start)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'informTime(msg,start)');">[+]</span> <span class="member-annotations"> </span> @@ -7328,7 +7418,7 @@ <div id="log(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'log(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'log(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -7403,7 +7493,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="log$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'log$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'log$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -7457,7 +7547,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="migrationWarning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'migrationWarning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'migrationWarning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -7526,7 +7616,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="migrationWarning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'migrationWarning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'migrationWarning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -7574,7 +7664,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="restrictionError(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'restrictionError(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'restrictionError(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -7643,7 +7733,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="restrictionError$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'restrictionError$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'restrictionError$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -7691,7 +7781,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="strictWarning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'strictWarning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'strictWarning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -7760,7 +7850,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="strictWarning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'strictWarning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'strictWarning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -7808,7 +7898,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="trace(msg)(value)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'trace(msg)(value)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'trace(msg)(value)');">[+]</span> <span class="member-annotations"> </span> @@ -7880,7 +7970,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="traceIndented(question,printer,show)(op)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'traceIndented(question,printer,show)(op)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'traceIndented(question,printer,show)(op)');">[+]</span> <span class="member-annotations"> @Body @inline </span> @@ -7968,7 +8058,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="traceIndented$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'traceIndented$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'traceIndented$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -8016,7 +8106,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="traceIndented$default$3" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'traceIndented$default$3');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'traceIndented$default$3');">[+]</span> <span class="member-annotations"> </span> @@ -8064,7 +8154,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="uncheckedWarning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'uncheckedWarning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'uncheckedWarning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -8133,7 +8223,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="uncheckedWarning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'uncheckedWarning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'uncheckedWarning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -8181,7 +8271,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="warning(msg,pos)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'warning(msg,pos)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'warning(msg,pos)');">[+]</span> <span class="member-annotations"> </span> @@ -8250,7 +8340,7 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of <div id="warning$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'warning$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'warning$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -8296,82 +8386,6 @@ See [[config.CompilerCommand#explainAdvanced]] for the exact meaning of </script> </div><!-- end member --> - <div id="withNoError(op)(f)" class="member "> - <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'withNoError(op)(f)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - withNoError - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - op: => - </span> - A - - - <span class="no-left">)</span> - - <span class="no-left">(</span> - - - <span class="no-left"> - f: - </span> - A<span class="right-arrow"> => </span>B - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: B</span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-withNoError(op)(f)"> - <p>Implements a fold that applies the function <code>f</code> to the result of <code>op</code> if -there are no new errors in the reporter</p> - - </div> - <div class="member-body-long" id ="long-body-withNoError(op)(f)"> - <p>Implements a fold that applies the function <code>f</code> to the result of <code>op</code> if -there are no new errors in the reporter</p> - - </div> - </div> - <script> - function toggleMemberBody(span, sig) { - var shortBody = document.getElementById("short-body-" + sig); - var longBody = document.getElementById("long-body-" + sig); - - shortBody.classList.toggle("toggled") - longBody.classList.toggle("toggled") - - span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; - } - </script> - </div><!-- end member --> - </div> </div><!-- end entity-container --> </div> |