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

Not

io.github.iltotore.iron.constraint.any.Not
See theNot companion class
object Not

Attributes

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

Members list

Type members

Classlikes

class NotConstraint[A, C, Impl <: Constraint[A, C]](using x$1: Impl) extends Constraint[A, Not[C]]

Attributes

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

Givens

Givens

given `given_==>_C1_Not`[C1, C2](using Implication[C1, C2]): Implication[C1, Not[Not[C2]]]

C implies doubly inverted C.

C implies doubly inverted C.

Attributes

Source
any.scala
given `given_==>_Not_C2`[C1, C2](using Implication[C1, C2]): Implication[Not[Not[C1]], C2]

Doubly inverted C implies C.

Doubly inverted C implies C.

Attributes

Source
any.scala
given `given_==>_Not_Not`[C1, C2](using Implication[C1, C2]): Implication[Not[C1], Not[C2]]

Attributes

Source
any.scala
inline given given_NotConstraint_A_C_Impl[A, C, Impl <: Constraint[A, C]](using inline constraint: Impl): NotConstraint[A, C, Impl]

Attributes

Source
any.scala
Generated with