Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/Implication

Implication

io.github.iltotore.iron.Implication
See theImplication companion class
object Implication

Attributes

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

Members list

Givens

Givens

given `given_==>_C1_C2`[C1, C2](using C1 <:< C2): Implication[C1, C2]

If C1 is a subtype of C2 then C1 implies C2. Used for union constraint C1 ==> C1 | C2

If C1 is a subtype of C2 then C1 implies C2. Used for union constraint C1 ==> C1 | C2

Type parameters

C1

any constraint

C2

any constraint parent of C1

Attributes

Source
Implication.scala
transparent inline given `given_==>_C1_C2`[C1, C2](using IsUnion[C1]): Implication[C1, C2]

Attributes

Source
Implication.scala
given `given_==>_C_C`[C]: Implication[C, C]

The "self" implication "C ==> C".

The "self" implication "C ==> C".

Type parameters

C

any constraint.

Attributes

Source
Implication.scala
Generated with