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

Head

io.github.iltotore.iron.constraint.collection.Head
See theHead companion class
object Head

Attributes

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

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Givens

Givens

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

Attributes

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

Attributes

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

Attributes

Source
collection.scala
Generated with