constraint

object constraint
class Object
trait Matchable
class Any

Type members

Classlikes

trait Contains[V]

Constraint: checks if the input contains V

Constraint: checks if the input contains V

trait MaxSize[V]

Constraint: checks if the input has a size lesser or equal to V

Constraint: checks if the input has a size lesser or equal to V

trait MinSize[V]

Constraint: checks if the input has a size greater or equal to V

Constraint: checks if the input has a size greater or equal to V

trait Size[V]

Constraint: checks if the input has a size of V

Constraint: checks if the input has a size of V

Types

type Empty = Size[0]

Givens

Givens

inline given given_RuntimeOnly_A_Contains[T, A <: Iterable[T], V <: T]: RuntimeOnly[A, Contains[V]]
inline given given_RuntimeOnly_A_MaxSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MaxSize[V]]
inline given given_RuntimeOnly_A_MinSize[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, MinSize[V]]
inline given given_RuntimeOnly_A_Size[T, A <: Iterable[T], V <: Int]: RuntimeOnly[A, Size[V]]