Examples of RTOApp3

org.openquark.cal.internal.runtime.lecc.RTOApp3
This is a specialized representation of an oversaturated application in three arguments. It is used when it is known that the function will take one argument and produce another function which takes exactly two arguments. This means that this node can be treated like a fully saturated application. (i.e. the arity and arg count are zero). @author RCypher

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

0 1

TOP

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.