io.github.iltotore.iron.constraint.collection.Length
See theLength companion class
object Length
Attributes
- Companion
- class
- Source
- collection.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Length.type
Members list
Type members
Classlikes
class LengthIterable[I <: Iterable[_], C, Impl <: Constraint[Int, C]](using x$1: Impl) extends Constraint[I, Length[C]]
Attributes
- Source
- collection.scala
- Supertypes
class LengthString[C, Impl <: Constraint[Int, C]](using x$1: Impl) extends Constraint[String, Length[C]]
Attributes
- Source
- collection.scala
- Supertypes
Givens
Givens
given `given_==>_Length_Length`[C1, C2](using Implication[C1, C2]): Implication[Length[C1], Length[C2]]
Attributes
- Source
- collection.scala
inline given given_LengthIterable_I_C_Impl[I <: Iterable[_], C, Impl <: Constraint[Int, C]](using inline impl: Impl): LengthIterable[I, C, Impl]
Attributes
- Source
- collection.scala
inline given lengthString[C, Impl <: Constraint[Int, C]](using inline impl: Impl): LengthString[C, Impl]
Attributes
- Source
- collection.scala
In this article