Examples of RTOApp3


Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

              // Cal.Core.Prelude.Cons
              // Decompose data type to access members.
              RTValue head2 = $case3.get_head();
              RTValue tail2 = $case3.get_tail();

              if ((new RTOApp3(
                $dictvarCal_Core_Prelude_Eq_54,
                _equals___List.$L1_Int_0,
                head1,
                head2)).evaluate(
                $ec).getBooleanValue()) {
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

              // Cal.Core.Prelude.Cons
              // Decompose data type to access members.
              RTValue head2 = $case3.get_head();
              RTValue tail2 = $case3.get_tail();

              if ((new RTOApp3(
                $dictvarCal_Core_Prelude_Eq_54,
                _equals___List.$L1_Int_0,
                head1,
                head2)).evaluate(
                $ec).getBooleanValue()) {
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

      RTRecordValue $recordCase2 =
        ((RTRecordValue)(java.lang.Object)pair.getValue());
      RTValue key = $recordCase2.getOrdinalFieldValue(1);
      RTValue val = $recordCase2.getOrdinalFieldValue(2);

      if ((new RTOApp3(
        $dictvarCal_Core_Prelude_Eq_0,
        Get_Maybe_Vertex_Number__find_Vertex_Num__3.$L1_Int_0,
        val,
        vertex)).evaluate(
        $ec).getBooleanValue()) {
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

   * This method implements the function logic of the CAL function Cal.Core.Prelude.induceEqualityFunction
   */
  public final RTValue f4S(RTValue $dictvarCal_Core_Prelude_Eq_41, RTValue projectionFunction, RTValue x, RTValue y, RTExecutionContext $ec) throws CALExecutorException {
    // Top level supercombinator logic
    return
      new RTOApp3(
        $dictvarCal_Core_Prelude_Eq_41,
        Induce_Equality_Function.$L1_Int_0,
        projectionFunction.getValue().apply(x.getValue()),
        projectionFunction.getValue().apply(y.getValue()));
  }
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

   * This method implements the function logic of the CAL function Cal.Collections.Set.hedgeUnion$cmpx$11
   */
  public final RTValue f3S(RTValue $dictvarCal_Core_Prelude_Ord_25, RTValue value, RTValue y, RTExecutionContext $ec) throws CALExecutorException {
    // Top level supercombinator logic
    return
      new RTOApp3(
        $dictvarCal_Core_Prelude_Ord_25,
        Hedge_Union__cmpx__11.$L1_Int_5,
        value,
        y);
  }
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

          // Decompose data type to access members.
          RTValue value = $case1.get_value();
          RTValue leftSet = $case1.get_leftSet();
          RTValue rightSet = $case1.get_rightSet();

          switch ((new RTOApp3($dictvarCal_Core_Prelude_Ord_29, Member.$L1_Int_5, x.getValue(), value)).evaluate($ec).getOrdinalValue()) {

            case 0: {
              // Cal.Core.Prelude.LT
              t = leftSet;
              continue TRLoop;
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

          // Decompose data type to access members.
          RTValue value = $case1.get_value();
          RTValue leftSet = $case1.get_leftSet();
          RTValue rightSet = $case1.get_rightSet();

          switch ((new RTOApp3($dictvarCal_Core_Prelude_Ord_29, Member.$L1_Int_5, x.getValue(), value)).evaluate($ec).getOrdinalValue()) {

            case 0: {
              // Cal.Core.Prelude.LT
              t = leftSet;
              continue TRLoop;
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

        int size$U = $case1.get_size_As_Int();
        RTValue value = $case1.get_value();
        RTValue leftSet = $case1.get_leftSet();
        RTValue rightSet = $case1.get_rightSet();

        switch ((new RTOApp3($dictvarCal_Core_Prelude_Ord_3, Insert.$L1_Int_5, x, value)).evaluate($ec).getOrdinalValue()) {

          case 0: {
            // Cal.Core.Prelude.LT
            return
              new RTFullApp.General._3._L(
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

   * This method implements the function logic of the CAL function Cal.Collections.Set.hedgeDiff$cmpx$11
   */
  public final RTValue f3S(RTValue $dictvarCal_Core_Prelude_Ord_18, RTValue value, RTValue y, RTExecutionContext $ec) throws CALExecutorException {
    // Top level supercombinator logic
    return
      new RTOApp3(
        $dictvarCal_Core_Prelude_Ord_18,
        Hedge_Diff__cmpx__11.$L1_Int_5,
        value,
        y);
  }
View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

   * This method implements the function logic of the CAL function Cal.Utilities.DirectedGraph.$lambda$map$1
   */
  public final RTValue f3S(RTValue $dictvarCal_Core_Prelude_Eq_44, RTValue entry, RTValue p, RTExecutionContext $ec) throws CALExecutorException {
    // Top level supercombinator logic
    return
      new RTOApp3(
        $dictvarCal_Core_Prelude_Eq_44,
        _lambda__map__1.$L1_Int_0,
        new RTRecordSelection.Ordinal(p, 2),
        (((RTRecordValue)(java.lang.Object)
          entry.getValue())).getOrdinalFieldValue(
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.