scaldi.util

constraints

package constraints

Visibility
  1. Public
  2. All

Type Members

  1. trait And[A, B] extends AnyRef

    Annotations
    @implicitNotFound( ... )
  2. sealed trait Existence extends AnyRef

  3. trait Exists extends Existence

  4. trait IsTypeClassExists[TypeClass, Answer] extends AnyRef

  5. trait LowPriorityIsTypeClassExists extends AnyRef

  6. trait Not[T] extends AnyRef

    Annotations
    @implicitNotFound( ... )
  7. trait NotExists extends Existence

  8. trait NotNothing[T] extends AnyRef

    Annotations
    @implicitNotFound( ... )
  9. trait Or[A, B] extends AnyRef

    Annotations
    @implicitNotFound( ... )

Value Members

  1. object And

  2. object IsTypeClassExists extends LowPriorityIsTypeClassExists

  3. object Not

  4. object NotNothing

  5. object Or

Ungrouped