iron
API
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
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Last.type

Members list

Type members

Classlikes

class LastArray[A, C, Impl <: Constraint[A, C]](using x$1: Impl) extends Constraint[Array[A], Last[C]]

Attributes

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

Attributes

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

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]]
inline given given_LastArray_A_C_Impl[A, C, Impl <: Constraint[A, C]](using inline impl: Impl): LastArray[A, C, Impl]
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]
inline given lastString[C, Impl <: Constraint[Char, C]](using inline impl: Impl): LastString[C, Impl]
Generated with