Scalgebra/com.alecdorrington.scalgebra/com.alecdorrington.scalgebra.ordered/com.alecdorrington.scalgebra.ordered.builder/OrderedDifferenceSemifieldBuilder

OrderedDifferenceSemifieldBuilder

com.alecdorrington.scalgebra.ordered.builder.OrderedDifferenceSemifieldBuilder

trait OrderedDifferenceSemifieldBuilder extends OrderedFieldBuilder, TupleIsOrderedDifferenceSemifield

Methods for constructing OrderedDifferenceSemifield type classes.

Attributes

Experimental: true
Graph
Supertypes: trait TupleIsOrderedDifferenceSemifield

trait OrderedFieldBuilder

trait TupleIsOrderedField

trait FractionalIsOrderedField

trait SingletonIsOrderedField

trait UnitIsOrderedField

trait NothingIsOrderedField

trait NoneIsOrderedField

trait FloatIsOrderedField

trait EmptyTupleIsOrderedField

trait DoubleIsOrderedEuclideanRing

class Object

trait Matchable

class Any
Show all
Known subtypes: trait DifferenceSemifieldBuilder

trait DifferenceSemiringBuilder

trait DifferenceMonoidBuilder

trait AdditiveMonoidBuilder

trait AdditiveIdentityBuilder

object AdditiveIdentity

trait AdditiveSemigroupBuilder

object AdditiveSemigroup

object AdditiveMonoid

object DifferenceMonoid

trait SemiringBuilder

trait MultiplicativeMonoidBuilder

trait MultiplicativeIdentityBuilder

object MultiplicativeIdentity

trait MultiplicativeSemigroupBuilder

object MultiplicativeSemigroup

object MultiplicativeMonoid

object Semiring

object DifferenceSemiring

trait SemifieldBuilder

trait MultiplicativeGroupBuilder

trait EuclideanMonoidBuilder

object EuclideanMonoid

trait MultiplicativeInverseBuilder

object MultiplicativeInverse

object MultiplicativeGroup

object Semifield

object DifferenceSemifield

trait OrderedDifferenceSemiringBuilder

trait OrderedDifferenceMonoidBuilder

trait OrderedAdditiveMonoidBuilder

trait OrderedAdditiveIdentityBuilder

object OrderedAdditiveIdentity

trait OrderedAdditiveSemigroupBuilder

object OrderedAdditiveSemigroup

object OrderedAdditiveMonoid

object OrderedDifferenceMonoid

trait OrderedSemiringBuilder

trait OrderedMultiplicativeMonoidBuilder

trait OrderedMultiplicativeIdentityBuilder

object OrderedMultiplicativeIdentity

trait OrderedMultiplicativeSemigroupBuilder

object OrderedMultiplicativeSemigroup

object OrderedMultiplicativeMonoid

object OrderedSemiring

object OrderedDifferenceSemiring

trait OrderedSemifieldBuilder

trait OrderedMultiplicativeGroupBuilder

trait OrderedEuclideanMonoidBuilder

object OrderedEuclideanMonoid

trait OrderedMultiplicativeInverseBuilder

object OrderedMultiplicativeInverse

object OrderedMultiplicativeGroup

object OrderedSemifield

object OrderedDifferenceSemifield
Show all

Members list

Type members

Inherited classlikes

Attributes

Inherited from:: DoubleIsOrderedEuclideanRing
Supertypes: trait OrderedField[Double]

trait OrderedDifferenceSemifield[Double]

trait OrderedSemifield[Double]

trait OrderedMultiplicativeGroup[Double]

trait OrderedMultiplicativeInverse[Double]

trait OrderedEuclideanRing[Double]

trait OrderedEuclideanMonoid[Double]

trait OrderedRing[Double]

trait OrderedDifferenceSemiring[Double]

trait OrderedSemiring[Double]

trait OrderedMultiplicativeMonoid[Double]

trait OrderedMultiplicativeIdentity[Double]

trait OrderedMultiplicativeSemigroup[Double]

trait OrderedAdditiveGroup[Double]

trait OrderedAdditiveInverse[Double]

trait OrderedDifferenceMonoid[Double]

trait OrderedAdditiveMonoid[Double]

trait OrderedAdditiveIdentity[Double]

trait OrderedAdditiveSemigroup[Double]

trait Ordering[Double]

trait PartialOrdering[Double]

trait Equiv[Double]

trait Serializable

trait Comparator[Double]

trait Field[Double]

trait DifferenceSemifield[Double]

trait Semifield[Double]

trait MultiplicativeGroup[Double]

trait MultiplicativeInverse[Double]

trait EuclideanRing[Double]

trait EuclideanMonoid[Double]

trait Ring[Double]

trait DifferenceSemiring[Double]

trait Semiring[Double]

trait MultiplicativeMonoid[Double]

trait MultiplicativeIdentity[Double]

trait MultiplicativeSemigroup[Double]

trait AdditiveGroup[Double]

trait AdditiveInverse[Double]

trait DifferenceMonoid[Double]

trait AdditiveMonoid[Double]

trait AdditiveIdentity[Double]

trait AdditiveSemigroup[Double]

class Object

trait Matchable

class Any
Show all

Attributes

Inherited from:: EmptyTupleIsOrderedField
Supertypes: trait OrderedField[EmptyTuple]

trait OrderedDifferenceSemifield[EmptyTuple]

trait OrderedSemifield[EmptyTuple]

trait OrderedMultiplicativeGroup[EmptyTuple]

trait OrderedMultiplicativeInverse[EmptyTuple]

trait OrderedEuclideanRing[EmptyTuple]

trait OrderedEuclideanMonoid[EmptyTuple]

trait OrderedRing[EmptyTuple]

trait OrderedDifferenceSemiring[EmptyTuple]

trait OrderedSemiring[EmptyTuple]

trait OrderedMultiplicativeMonoid[EmptyTuple]

trait OrderedMultiplicativeIdentity[EmptyTuple]

trait OrderedMultiplicativeSemigroup[EmptyTuple]

trait OrderedAdditiveGroup[EmptyTuple]

trait OrderedAdditiveInverse[EmptyTuple]

trait OrderedDifferenceMonoid[EmptyTuple]

trait OrderedAdditiveMonoid[EmptyTuple]

trait OrderedAdditiveIdentity[EmptyTuple]

trait OrderedAdditiveSemigroup[EmptyTuple]

trait Ordering[EmptyTuple]

trait PartialOrdering[EmptyTuple]

trait Equiv[EmptyTuple]

trait Serializable

trait Comparator[EmptyTuple]

trait Field[EmptyTuple]

trait DifferenceSemifield[EmptyTuple]

trait Semifield[EmptyTuple]

trait MultiplicativeGroup[EmptyTuple]

trait MultiplicativeInverse[EmptyTuple]

trait EuclideanRing[EmptyTuple]

trait EuclideanMonoid[EmptyTuple]

trait Ring[EmptyTuple]

trait DifferenceSemiring[EmptyTuple]

trait Semiring[EmptyTuple]

trait MultiplicativeMonoid[EmptyTuple]

trait MultiplicativeIdentity[EmptyTuple]

trait MultiplicativeSemigroup[EmptyTuple]

trait AdditiveGroup[EmptyTuple]

trait AdditiveInverse[EmptyTuple]

trait DifferenceMonoid[EmptyTuple]

trait AdditiveMonoid[EmptyTuple]

trait AdditiveIdentity[EmptyTuple]

trait AdditiveSemigroup[EmptyTuple]

class Object

trait Matchable

class Any
Show all

Attributes

Inherited from:: FloatIsOrderedField
Supertypes: trait OrderedField[Float]

trait OrderedDifferenceSemifield[Float]

trait OrderedSemifield[Float]

trait OrderedMultiplicativeGroup[Float]

trait OrderedMultiplicativeInverse[Float]

trait OrderedEuclideanRing[Float]

trait OrderedEuclideanMonoid[Float]

trait OrderedRing[Float]

trait OrderedDifferenceSemiring[Float]

trait OrderedSemiring[Float]

trait OrderedMultiplicativeMonoid[Float]

trait OrderedMultiplicativeIdentity[Float]

trait OrderedMultiplicativeSemigroup[Float]

trait OrderedAdditiveGroup[Float]

trait OrderedAdditiveInverse[Float]

trait OrderedDifferenceMonoid[Float]

trait OrderedAdditiveMonoid[Float]

trait OrderedAdditiveIdentity[Float]

trait OrderedAdditiveSemigroup[Float]

trait Ordering[Float]

trait PartialOrdering[Float]

trait Equiv[Float]

trait Serializable

trait Comparator[Float]

trait Field[Float]

trait DifferenceSemifield[Float]

trait Semifield[Float]

trait MultiplicativeGroup[Float]

trait MultiplicativeInverse[Float]

trait EuclideanRing[Float]

trait EuclideanMonoid[Float]

trait Ring[Float]

trait DifferenceSemiring[Float]

trait Semiring[Float]

trait MultiplicativeMonoid[Float]

trait MultiplicativeIdentity[Float]

trait MultiplicativeSemigroup[Float]

trait AdditiveGroup[Float]

trait AdditiveInverse[Float]

trait DifferenceMonoid[Float]

trait AdditiveMonoid[Float]

trait AdditiveIdentity[Float]

trait AdditiveSemigroup[Float]

class Object

trait Matchable

class Any
Show all

Attributes

Inherited from:: NoneIsOrderedField
Supertypes: trait OrderedField[None.type]

trait OrderedDifferenceSemifield[None.type]

trait OrderedSemifield[None.type]

trait OrderedMultiplicativeGroup[None.type]

trait OrderedMultiplicativeInverse[None.type]

trait OrderedEuclideanRing[None.type]

trait OrderedEuclideanMonoid[None.type]

trait OrderedRing[None.type]

trait OrderedDifferenceSemiring[None.type]

trait OrderedSemiring[None.type]

trait OrderedMultiplicativeMonoid[None.type]

trait OrderedMultiplicativeIdentity[None.type]

trait OrderedMultiplicativeSemigroup[None.type]

trait OrderedAdditiveGroup[None.type]

trait OrderedAdditiveInverse[None.type]

trait OrderedDifferenceMonoid[None.type]

trait OrderedAdditiveMonoid[None.type]

trait OrderedAdditiveIdentity[None.type]

trait OrderedAdditiveSemigroup[None.type]

trait Ordering[None.type]

trait PartialOrdering[None.type]

trait Equiv[None.type]

trait Serializable

trait Comparator[None.type]

trait Field[None.type]

trait DifferenceSemifield[None.type]

trait Semifield[None.type]

trait MultiplicativeGroup[None.type]

trait MultiplicativeInverse[None.type]

trait EuclideanRing[None.type]

trait EuclideanMonoid[None.type]

trait Ring[None.type]

trait DifferenceSemiring[None.type]

trait Semiring[None.type]

trait MultiplicativeMonoid[None.type]

trait MultiplicativeIdentity[None.type]

trait MultiplicativeSemigroup[None.type]

trait AdditiveGroup[None.type]

trait AdditiveInverse[None.type]

trait DifferenceMonoid[None.type]

trait AdditiveMonoid[None.type]

trait AdditiveIdentity[None.type]

trait AdditiveSemigroup[None.type]

class Object

trait Matchable

class Any
Show all

Attributes

Inherited from:: NothingIsOrderedField
Supertypes: trait OrderedField[Nothing]

trait OrderedDifferenceSemifield[Nothing]

trait OrderedSemifield[Nothing]

trait OrderedMultiplicativeGroup[Nothing]

trait OrderedMultiplicativeInverse[Nothing]

trait OrderedEuclideanRing[Nothing]

trait OrderedEuclideanMonoid[Nothing]

trait OrderedRing[Nothing]

trait OrderedDifferenceSemiring[Nothing]

trait OrderedSemiring[Nothing]

trait OrderedMultiplicativeMonoid[Nothing]

trait OrderedMultiplicativeIdentity[Nothing]

trait OrderedMultiplicativeSemigroup[Nothing]

trait OrderedAdditiveGroup[Nothing]

trait OrderedAdditiveInverse[Nothing]

trait OrderedDifferenceMonoid[Nothing]

trait OrderedAdditiveMonoid[Nothing]

trait OrderedAdditiveIdentity[Nothing]

trait OrderedAdditiveSemigroup[Nothing]

trait Ordering[Nothing]

trait PartialOrdering[Nothing]

trait Equiv[Nothing]

trait Serializable

trait Comparator[Nothing]

trait Field[Nothing]

trait DifferenceSemifield[Nothing]

trait Semifield[Nothing]

trait MultiplicativeGroup[Nothing]

trait MultiplicativeInverse[Nothing]

trait EuclideanRing[Nothing]

trait EuclideanMonoid[Nothing]

trait Ring[Nothing]

trait DifferenceSemiring[Nothing]

trait Semiring[Nothing]

trait MultiplicativeMonoid[Nothing]

trait MultiplicativeIdentity[Nothing]

trait MultiplicativeSemigroup[Nothing]

trait AdditiveGroup[Nothing]

trait AdditiveInverse[Nothing]

trait DifferenceMonoid[Nothing]

trait AdditiveMonoid[Nothing]

trait AdditiveIdentity[Nothing]

trait AdditiveSemigroup[Nothing]

class Object

trait Matchable

class Any
Show all

Attributes

Inherited from:: UnitIsOrderedField
Supertypes: trait OrderedField[Unit]

trait OrderedDifferenceSemifield[Unit]

trait OrderedSemifield[Unit]

trait OrderedMultiplicativeGroup[Unit]

trait OrderedMultiplicativeInverse[Unit]

trait OrderedEuclideanRing[Unit]

trait OrderedEuclideanMonoid[Unit]

trait OrderedRing[Unit]

trait OrderedDifferenceSemiring[Unit]

trait OrderedSemiring[Unit]

trait OrderedMultiplicativeMonoid[Unit]

trait OrderedMultiplicativeIdentity[Unit]

trait OrderedMultiplicativeSemigroup[Unit]

trait OrderedAdditiveGroup[Unit]

trait OrderedAdditiveInverse[Unit]

trait OrderedDifferenceMonoid[Unit]

trait OrderedAdditiveMonoid[Unit]

trait OrderedAdditiveIdentity[Unit]

trait OrderedAdditiveSemigroup[Unit]

trait Ordering[Unit]

trait PartialOrdering[Unit]

trait Equiv[Unit]

trait Serializable

trait Comparator[Unit]

trait Field[Unit]

trait DifferenceSemifield[Unit]

trait Semifield[Unit]

trait MultiplicativeGroup[Unit]

trait MultiplicativeInverse[Unit]

trait EuclideanRing[Unit]

trait EuclideanMonoid[Unit]

trait Ring[Unit]

trait DifferenceSemiring[Unit]

trait Semiring[Unit]

trait MultiplicativeMonoid[Unit]

trait MultiplicativeIdentity[Unit]

trait MultiplicativeSemigroup[Unit]

trait AdditiveGroup[Unit]

trait AdditiveInverse[Unit]

trait DifferenceMonoid[Unit]

trait AdditiveMonoid[Unit]

trait AdditiveIdentity[Unit]

trait AdditiveSemigroup[Unit]

class Object

trait Matchable

class Any
Show all

Givens

Inherited givens

Attributes

Inherited from:: TupleIsOrderedDifferenceSemifield

Attributes

Inherited from:: TupleIsOrderedField

Attributes

Inherited from:: FractionalIsOrderedField

Attributes

Inherited from:: DoubleIsOrderedEuclideanRing

Attributes

Inherited from:: EmptyTupleIsOrderedField

Attributes

Inherited from:: FloatIsOrderedField

Attributes

Inherited from:: NoneIsOrderedField

Attributes

Inherited from:: NothingIsOrderedField

Attributes

Inherited from:: UnitIsOrderedField

Attributes

Inherited from:: SingletonIsOrderedField

In this article

Generated with