package proofs

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. sealed trait Addable[X, -A] extends AnyRef
    Annotations
    @implicitNotFound()
  2. trait AddableLowPriorityImplicits0 extends AddableLowPriorityImplicits1
  3. trait AddableLowPriorityImplicits1 extends AnyRef
  4. sealed trait Beginnable[X, -A] extends AnyRef
    Annotations
    @implicitNotFound()
  5. trait BeginnableLowPriorityImplicits0 extends BeginnableLowPriorityImplicits1
  6. trait BeginnableLowPriorityImplicits1 extends AnyRef
  7. sealed trait CanFilter[A, -B] extends AnyRef
    Annotations
    @implicitNotFound()
  8. trait CanFilterLowpriorityImplicits extends AnyRef
  9. sealed trait CanSortKeyBeginsWith[-X, -A] extends AnyRef
    Annotations
    @implicitNotFound()
  10. trait CanSortKeyBeginsWith0 extends CanSortKeyBeginsWith1
  11. trait CanSortKeyBeginsWith1 extends AnyRef
  12. sealed trait CanWhere[A, -B] extends AnyRef
    Annotations
    @implicitNotFound()
  13. sealed trait Containable[X, -A] extends AnyRef
    Annotations
    @implicitNotFound()
  14. trait ContainableLowPriorityImplicits0 extends ContainableLowPriorityImplicits1
  15. trait ContainableLowPriorityImplicits1 extends AnyRef
  16. sealed trait IsPrimaryKey[-A] extends AnyRef
    Annotations
    @implicitNotFound()
  17. sealed trait ListRemoveable[-X] extends AnyRef
    Annotations
    @implicitNotFound()
  18. trait ListRemoveable0 extends ListRemoveableLowPriorityImplicits
  19. trait ListRemoveableLowPriorityImplicits extends AnyRef
  20. sealed trait RefersTo[X, -A] extends AnyRef
    Annotations
    @implicitNotFound()
  21. trait RefersToLowerPriorityImplicits0 extends RefersToLowerPriorityImplicits1
  22. trait RefersToLowerPriorityImplicits1 extends AnyRef
  23. sealed trait Sizable[-X] extends AnyRef
    Annotations
    @implicitNotFound()
  24. trait SizableLowPriorityImplicits0 extends SizableLowPriorityImplicits1
  25. trait SizableLowPriorityImplicits1 extends AnyRef

Ungrouped