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

Last

io.github.iltotore.iron.constraint.collection.Last
See theLast companion class
object Last

Attributes

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

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Givens

Givens

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

Attributes

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

Attributes

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

Attributes

Source
collection.scala
Generated with