package proofs
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- sealed trait Addable[X, -A] extends AnyRef
- Annotations
- @implicitNotFound()
- trait AddableLowPriorityImplicits0 extends AddableLowPriorityImplicits1
- trait AddableLowPriorityImplicits1 extends AnyRef
- sealed trait Beginnable[X, -A] extends AnyRef
- Annotations
- @implicitNotFound()
- trait BeginnableLowPriorityImplicits0 extends BeginnableLowPriorityImplicits1
- trait BeginnableLowPriorityImplicits1 extends AnyRef
- sealed trait CanFilter[A, -B] extends AnyRef
- Annotations
- @implicitNotFound()
- trait CanFilterLowpriorityImplicits extends AnyRef
- sealed trait CanSortKeyBeginsWith[-X, -A] extends AnyRef
- Annotations
- @implicitNotFound()
- trait CanSortKeyBeginsWith0 extends CanSortKeyBeginsWith1
- trait CanSortKeyBeginsWith1 extends AnyRef
- sealed trait CanWhere[A, -B] extends AnyRef
- Annotations
- @implicitNotFound()
- sealed trait Containable[X, -A] extends AnyRef
- Annotations
- @implicitNotFound()
- trait ContainableLowPriorityImplicits0 extends ContainableLowPriorityImplicits1
- trait ContainableLowPriorityImplicits1 extends AnyRef
- sealed trait IsPrimaryKey[-A] extends AnyRef
- Annotations
- @implicitNotFound()
- sealed trait ListRemoveable[-X] extends AnyRef
- Annotations
- @implicitNotFound()
- trait ListRemoveable0 extends ListRemoveableLowPriorityImplicits
- trait ListRemoveableLowPriorityImplicits extends AnyRef
- sealed trait RefersTo[X, -A] extends AnyRef
- Annotations
- @implicitNotFound()
- trait RefersToLowerPriorityImplicits0 extends RefersToLowerPriorityImplicits1
- trait RefersToLowerPriorityImplicits1 extends AnyRef
- sealed trait Sizable[-X] extends AnyRef
- Annotations
- @implicitNotFound()
- trait SizableLowPriorityImplicits0 extends SizableLowPriorityImplicits1
- trait SizableLowPriorityImplicits1 extends AnyRef
Value Members
- object Addable extends AddableLowPriorityImplicits0
- object Beginnable extends BeginnableLowPriorityImplicits0
- object CanFilter extends CanFilterLowpriorityImplicits
- object CanSortKeyBeginsWith extends CanSortKeyBeginsWith0
- object CanWhere
- object Containable extends ContainableLowPriorityImplicits0
- object IsPrimaryKey
- object ListRemoveable extends ListRemoveable0
- object RefersTo extends RefersToLowerPriorityImplicits0
- object Sizable extends SizableLowPriorityImplicits0