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

Init

io.github.iltotore.iron.constraint.collection.Init
See theInit companion class
object Init

Attributes

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

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Givens

Givens

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

Attributes

Source
collection.scala
given `given_==>_Init_Head`[C1, C2](using Implication[C1, C2]): Implication[Init[C1], Head[C2]]

Attributes

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

Attributes

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

Attributes

Source
collection.scala
Generated with