io.github.iltotore.iron.constraint.collection.Exists
See theExists companion class
object Exists
Attributes
- Companion
- class
- Source
- collection.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Exists.type
Members list
Type members
Classlikes
class ExistsArray[A, C, Impl <: Constraint[A, C]](using x$1: Impl) extends Constraint[Array[A], Exists[C]]
Attributes
- Source
- collection.scala
- Supertypes
class ExistsIterable[A, I <: Iterable[A], C, Impl <: Constraint[A, C]](using x$1: Impl) extends Constraint[I, Exists[C]]
Attributes
- Source
- collection.scala
- Supertypes
class ExistsString[C, Impl <: Constraint[Char, C]](using x$1: Impl) extends Constraint[String, Exists[C]]
Attributes
- Source
- collection.scala
- Supertypes
Givens
Givens
inline given existsString[C, Impl <: Constraint[Char, C]](using inline impl: Impl): ExistsString[C, Impl]
Attributes
- Source
- collection.scala
inline given given_ExistsArray_A_C_Impl[A, C, Impl <: Constraint[A, C]](using inline impl: Impl): ExistsArray[A, C, Impl]
Attributes
- Source
- collection.scala
inline given given_ExistsIterable_A_I_C_Impl[A, I <: Iterable[A], C, Impl <: Constraint[A, C]](using inline impl: Impl): ExistsIterable[A, I, C, Impl]
Attributes
- Source
- collection.scala
In this article