Constraint

Type parameters

A

the type of the value to test.

C

the constraint associated with this implementation.

Attributes

Companion

object

Source

Constraint.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class DescribedAsConstraint[A, C, Impl, V]

class NotConstraint[A, C, Impl]

class XorConstraint[A, C1, C2, Impl1, Impl2]

class ExistsIterable[A, I, C, Impl]

class ExistsString[C, Impl]

class ForAllIterable[A, I, C, Impl]

class ForAllString[C, Impl]

class HeadIterable[A, I, C, Impl]

class HeadString[C, Impl]

class InitIterable[A, I, C, Impl]

class InitString[C, Impl]

class LastIterable[A, I, C, Impl]

class LastString[C, Impl]

class LengthIterable[I, C, Impl]

class LengthString[C, Impl]

class TailIterable[A, I, C, Impl]

class TailString[C, Impl]

class IntersectionConstraint[A, C]

class UnionConstraint[A, C]

Show all