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

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
Generated with