DescribedAs

io.github.iltotore.iron.constraint.any.DescribedAs
See theDescribedAs companion class
object DescribedAs

Attributes

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

Members list

Type members

Classlikes

class DescribedAsConstraint[A, C, Impl <: Constraint[A, C], V <: String](using x$1: Impl) extends Constraint[A, DescribedAs[C, V]]

Attributes

Source
any.scala
Supertypes
trait Constraint[A, DescribedAs[C, V]]
class Object
trait Matchable
class Any

Givens

Givens

given `given_==>_C1_DescribedAs`[C1, C2, V <: String](using Implication[C1, C2]): Implication[C1, DescribedAs[C2, V]]

A constraint C1 implies its "described" form.

A constraint C1 implies its "described" form.

Attributes

Source
any.scala
given `given_==>_DescribedAs_C2`[C1, C2, V <: String](using Implication[C1, C2]): Implication[DescribedAs[C1, V], C2]

A described constraint C1 implies C1.

A described constraint C1 implies C1.

Attributes

Source
any.scala
inline given given_DescribedAsConstraint_A_C_Impl_V[A, C, Impl <: Constraint[A, C], V <: String](using inline constraint: Impl): DescribedAsConstraint[A, C, Impl, V]

Attributes

Source
any.scala