Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/io.github.iltotore.iron.constraint/collection/ForAll

ForAll

io.github.iltotore.iron.constraint.collection.ForAll
See theForAll companion class
object ForAll

Attributes

Companion
class
Source
collection.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ForAll.type

Members list

Type members

Classlikes

class ForAllIterable[A, I <: Iterable[A], C, Impl <: Constraint[A, C]](using x$1: Impl) extends Constraint[I, ForAll[C]]

Attributes

Source
collection.scala
Supertypes
trait Constraint[I, ForAll[C]]
class Object
trait Matchable
class Any
class ForAllString[C, Impl <: Constraint[Char, C]](using x$1: Impl) extends Constraint[String, ForAll[C]]

Attributes

Source
collection.scala
Supertypes
trait Constraint[String, ForAll[C]]
class Object
trait Matchable
class Any

Givens

Givens

given `given_==>_ForAll_Exists`[C1, C2](using Implication[C1, C2]): Implication[ForAll[C1], Exists[C2]]

Attributes

Source
collection.scala
given `given_==>_ForAll_Init`[C1, C2](using Implication[C1, C2]): Implication[ForAll[C1], Init[C2]]

Attributes

Source
collection.scala
given `given_==>_ForAll_Last`[C1, C2](using Implication[C1, C2]): Implication[ForAll[C1], Last[C2]]

Attributes

Source
collection.scala
given `given_==>_ForAll_Tail`[C1, C2](using Implication[C1, C2]): Implication[ForAll[C1], Tail[C2]]

Attributes

Source
collection.scala
inline given forAllString[C, Impl <: Constraint[Char, C]](using inline impl: Impl): ForAllString[C, Impl]

Attributes

Source
collection.scala
inline given given_ForAllIterable_A_I_C_Impl[A, I <: Iterable[A], C, Impl <: Constraint[A, C]](using inline impl: Impl): ForAllIterable[A, I, C, Impl]

Attributes

Source
collection.scala
Generated with