Iron
2.2.1
DocsAPI
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
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
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Tail.type

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
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

Graph
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]]
given `given_==>_Tail_Last`[C1, C2](using Implication[C1, C2]): Implication[Tail[C1], Last[C2]]
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]
inline given tailString[C, Impl <: Constraint[Char, C]](using inline impl: Impl): TailString[C, Impl]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL