scaldi
.
util
constraints
package
constraints
Visibility
Public
All
Type Members
trait
And
[
A
,
B
]
extends
AnyRef
Annotations
@implicitNotFound
(
...
)
sealed
trait
Existence
extends
AnyRef
trait
Exists
extends
Existence
trait
IsTypeClassExists
[
TypeClass
,
Answer
]
extends
AnyRef
trait
LowPriorityIsTypeClassExists
extends
AnyRef
trait
Not
[
T
]
extends
AnyRef
Annotations
@implicitNotFound
(
...
)
trait
NotExists
extends
Existence
trait
NotNothing
[
T
]
extends
AnyRef
Annotations
@implicitNotFound
(
...
)
trait
Or
[
A
,
B
]
extends
AnyRef
Annotations
@implicitNotFound
(
...
)
Value Members
object
And
object
IsTypeClassExists
extends
LowPriorityIsTypeClassExists
object
Not
object
NotNothing
object
Or
Ungrouped