iron
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
iron/io.github.iltotore.iron.constraint/collection/ForAll/ForAllIterable

ForAllIterable

io.github.iltotore.iron.constraint.collection$.ForAll$.ForAllIterable
class ForAllIterable[A, I <: Iterable[A], C, Impl <: Constraint[A, C]](using x$1: Impl) extends Constraint[I, ForAll[C]]

Attributes

Graph
Supertypes
trait Constraint[I, ForAll[C]]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

inline override def message: String

Attributes

Definition Classes
inline override def test(value: I): Boolean

Attributes

Definition Classes
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL