ScalaFix/it.unich.scalafix/Assignment

Assignment

object Assignment

Collection of factory methods for generating assignments with human-readable toString results.

Source:
Assignment.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[U, V](v: V): StandardAssignment[U, V]

Returns a constant assignment mapping all unknowns to the same value v.

Returns a constant assignment mapping all unknowns to the same value v.

Value parameters:
v

the fixed value returned by the assignment.

Source:
Assignment.scala
def apply[U, V](m: Map[U, V]): StandardAssignment[U, V]

Returns an assignment backed by an immutable map.

Returns an assignment backed by an immutable map.

Value parameters:
m

the immutable map holding the assignment.

Source:
Assignment.scala
def apply[U, V](f: U => V, str: Option[String]): StandardAssignment[U, V]

Returns an assignment backed by a function

Returns an assignment backed by a function

Value parameters:
f

the function holding the assignment.

str

the optional result of the toString method. If None, the standard toString method for functions is used.

Source:
Assignment.scala