algebra

package algebra

Members list

Packages

package algebra.lattice
package algebra.laws
package algebra.ring

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.

Attributes

Companion
object
Source
Priority.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fallback[F]
class Preferred[P]
object Priority

Attributes

Companion
trait
Source
Priority.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Priority.type

Types

type Band[A] = Band[A]

Attributes

Source
package.scala

Attributes

Source
package.scala

Attributes

Source
package.scala
type Eq[A] = Eq[A]

Attributes

Source
package.scala
type Group[A] = Group[A]

Attributes

Source
package.scala
type Monoid[A] = Monoid[A]

Attributes

Source
package.scala
type Order[A] = Order[A]

Attributes

Source
package.scala

Attributes

Source
package.scala
type Semigroup[A] = Semigroup[A]

Attributes

Source
package.scala

Attributes

Source
package.scala

Value members

Concrete fields

val Band: Band.type

Attributes

Source
package.scala

Attributes

Source
package.scala

Attributes

Source
package.scala
val Eq: Eq.type

Attributes

Source
package.scala
val Group: Group.type

Attributes

Source
package.scala
val Monoid: Monoid.type

Attributes

Source
package.scala
val Order: Order.type

Attributes

Source
package.scala

Attributes

Source
package.scala
val Semigroup: Semigroup.type

Attributes

Source
package.scala

Attributes

Source
package.scala