Skip to content

Commit e38c68b

Browse files
committed
fix: provide extension methods only for neighbor values data
1 parent 819e051 commit e38c68b

File tree

4 files changed

+10
-11
lines changed

4 files changed

+10
-11
lines changed

scafi3-core/src/main/scala/it/unibo/scafi/utils/NumericSharedDataOps.scala

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package it.unibo.scafi.utils
22

3-
import it.unibo.scafi.language.AggregateFoundation
3+
import it.unibo.scafi.language.xc.FieldBasedSharedData
44

55
object NumericSharedDataOps:
6-
extension [V: Numeric as numeric](using lang: AggregateFoundation)(data: lang.SharedData[V])
6+
extension [V: Numeric as numeric](using lang: FieldBasedSharedData)(data: lang.SharedData[V])
77
infix def +(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(numeric.plus)
88
infix def -(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(numeric.minus)
99
infix def *(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(numeric.times)
@@ -13,10 +13,10 @@ object NumericSharedDataOps:
1313
def toDouble: lang.SharedData[Double] = data.mapValues(numeric.toDouble)
1414
def abs: lang.SharedData[V] = data.mapValues(numeric.abs)
1515

16-
extension [V: Fractional as fractional](using lang: AggregateFoundation)(data: lang.SharedData[V])
16+
extension [V: Fractional as fractional](using lang: FieldBasedSharedData)(data: lang.SharedData[V])
1717
infix def /(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(fractional.div)
1818

19-
extension [V: Integral as integral](using lang: AggregateFoundation)(data: lang.SharedData[V])
19+
extension [V: Integral as integral](using lang: FieldBasedSharedData)(data: lang.SharedData[V])
2020
infix def /(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(integral.quot)
2121
infix def %(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(integral.rem)
2222
infix def /%(that: lang.SharedData[V]): lang.SharedData[(V, V)] =

scafi3-core/src/main/scala/it/unibo/scafi/utils/OrderingSharedDataOps.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package it.unibo.scafi.utils
22

3-
import it.unibo.scafi.language.AggregateFoundation
3+
import it.unibo.scafi.language.xc.FieldBasedSharedData
44

55
object OrderingSharedDataOps:
6-
extension [V: Ordering as ordering](using lang: AggregateFoundation)(data: lang.SharedData[V])
6+
extension [V: Ordering as ordering](using lang: FieldBasedSharedData)(data: lang.SharedData[V])
77
infix def compare(that: lang.SharedData[V]): lang.SharedData[Int] = data.alignedMap(that)(ordering.compare)
88
infix def min(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(ordering.min)
99
infix def max(that: lang.SharedData[V]): lang.SharedData[V] = data.alignedMap(that)(ordering.max)

scafi3-core/src/main/scala/it/unibo/scafi/utils/PartialOrderingSharedDataOps.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package it.unibo.scafi.utils
22

3-
import it.unibo.scafi.language.AggregateFoundation
3+
import it.unibo.scafi.language.xc.FieldBasedSharedData
44

55
object PartialOrderingSharedDataOps:
6-
extension [V: PartialOrdering as ordering](using lang: AggregateFoundation)(data: lang.SharedData[V])
6+
extension [V: PartialOrdering as ordering](using lang: FieldBasedSharedData)(data: lang.SharedData[V])
77
infix def <(that: lang.SharedData[V]): lang.SharedData[Boolean] = data.alignedMap(that)(ordering.lt)
88
infix def <=(that: lang.SharedData[V]): lang.SharedData[Boolean] = data.alignedMap(that)(ordering.lteq)
99
infix def >(that: lang.SharedData[V]): lang.SharedData[Boolean] = data.alignedMap(that)(ordering.gt)

scafi3-core/src/main/scala/it/unibo/scafi/utils/StringSharedDataOps.scala

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
package it.unibo.scafi.utils
22

3-
import it.unibo.scafi.language.AggregateFoundation
3+
import it.unibo.scafi.language.xc.FieldBasedSharedData
44

55
object StringSharedDataOps:
6-
extension (using lang: AggregateFoundation)(data: lang.SharedData[String])
6+
extension (using lang: FieldBasedSharedData)(data: lang.SharedData[String])
77
infix def +(that: lang.SharedData[String]): lang.SharedData[String] = data.alignedMap(that)(_ + _)
88
def toUpperCase: lang.SharedData[String] = data.mapValues(_.toUpperCase)
99
def toLowerCase: lang.SharedData[String] = data.mapValues(_.toLowerCase)
@@ -27,6 +27,5 @@ object StringSharedDataOps:
2727
def split(regex: String, limit: Int): lang.SharedData[Array[String]] = data.mapValues(_.split(regex, limit))
2828
def toCharArray: lang.SharedData[Array[Char]] = data.mapValues(_.toCharArray)
2929
def reverse: lang.SharedData[String] = data.mapValues(_.reverse)
30-
def mkString(sep: String): lang.SharedData[String] = data.mapValues(_.mkString(sep))
3130
end extension
3231
end StringSharedDataOps

0 commit comments

Comments
 (0)