iron
API
Generated with
iron/io.github.iltotore.iron/io.github.iltotore.iron.constraint/collection/Length

Length

io.github.iltotore.iron.constraint.collection.Length
See theLength companion class
object Length

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Length.type

Members list

Type members

Classlikes

class LengthArray[A, C, Impl <: Constraint[Int, C]](using x$1: Impl) extends Constraint[Array[A], Length[C]]

Attributes

Supertypes
trait Constraint[Array[A], Length[C]]
class Object
trait Matchable
class Any
class LengthIterable[I <: Iterable[_], C, Impl <: Constraint[Int, C]](using x$1: Impl) extends Constraint[I, Length[C]]

Attributes

Supertypes
trait Constraint[I, Length[C]]
class Object
trait Matchable
class Any
class LengthString[C, Impl <: Constraint[Int, C]](using x$1: Impl) extends Constraint[String, Length[C]]

Attributes

Supertypes
trait Constraint[String, Length[C]]
class Object
trait Matchable
class Any

Givens

Givens

given `given_==>_Length_Length`[C1, C2](using Implication[C1, C2]): Implication[Length[C1], Length[C2]]
inline given given_LengthIterable_I_C_Impl[I <: Iterable[_], C, Impl <: Constraint[Int, C]](using inline impl: Impl): LengthIterable[I, C, Impl]
inline given lengthArray[A, C, Impl <: Constraint[Int, C]](using inline impl: Impl): LengthArray[A, C, Impl]
inline given lengthString[C, Impl <: Constraint[Int, C]](using inline impl: Impl): LengthString[C, Impl]
Generated with