Package

it.unich.scalafix

utils

Permalink

package utils

Visibility
  1. Public
  2. All

Type Members

  1. trait IterableFunction[A, +B] extends PartialFunction[A, B] with Iterable[(A, B)]

    Permalink

    An IterableFunction is a partial function with an iterator which returns the collection of all its bindings.

    An IterableFunction is a partial function with an iterator which returns the collection of all its bindings. It is half way between a PartialFunction and a Map.

    A

    the domain of the function.

    B

    the codomain of the function.

  2. trait Relation[A] extends (A) ⇒ Set[A]

    Permalink

    This trait represents an arbitrary mathematical relation over values of type A.

    This trait represents an arbitrary mathematical relation over values of type A. It extends A => collection.Set[A] and the apply method is guaranteed to return a set (eventually empty) for each element of type A.

    A

    the domain of the relation.

Value Members

  1. object IterableFunction

    Permalink
  2. object Relation

    Permalink

    The Relation object contains factory methods and concrete implementations.

Ungrouped