core/algebra

algebra

package algebra

Type members

Classlikes

sealed trait Priority[+P, +F]

Priority is a type class for prioritized implicit search.

Priority is a type class for prioritized implicit search.

This type class will attempt to provide an implicit instance of P (the preferred type). If that type is not available it will fallback to F (the fallback type). If neither type is available then a Priority[P, F] instance will not be available.

This type can be useful for problems where multiple algorithms can be used, depending on the type classes available.

Companion
object
object Priority extends FindPreferred
Companion
class

Types

type Band[A] = Band[A]
type BoundedSemilattice[A] = BoundedSemilattice[A]
type CommutativeGroup[A] = CommutativeGroup[A]
type CommutativeMonoid[A] = CommutativeMonoid[A]
type CommutativeSemigroup[A] = CommutativeSemigroup[A]
type Eq[A] = Eq[A]
type Group[A] = Group[A]
type Monoid[A] = Monoid[A]
type Order[A] = Order[A]
type PartialOrder[A] = PartialOrder[A]
type Semigroup[A] = Semigroup[A]
type Semilattice[A] = Semilattice[A]

Value members

Concrete fields

val Band: Band
val BoundedSemilattice: BoundedSemilattice
val CommutativeGroup: CommutativeGroup
val CommutativeMonoid: CommutativeMonoid
val CommutativeSemigroup: CommutativeSemigroup
val Eq: Eq
val Group: Group
val Monoid: Monoid
val Order: Order
val PartialOrder: PartialOrder
val Semigroup: Semigroup
val Semilattice: Semilattice