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

Tail

io.github.iltotore.iron.constraint.collection.Tail
See theTail companion class
object Tail

Attributes

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

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Givens

Givens

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

Attributes

Source
collection.scala
given `given_==>_Tail_Last`[C1, C2](using Implication[C1, C2]): Implication[Tail[C1], Last[C2]]

Attributes

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

Attributes

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

Attributes

Source
collection.scala
Generated with