Iron
2.2.1
DocsAPI
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
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
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Not.type

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
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

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

given `given_==>_Not_Not`[C1, C2](using Implication[C1, C2]): Implication[Not[C1], Not[C2]]
inline given given_NotConstraint_A_C_Impl[A, C, Impl <: Constraint[A, C]](using inline constraint: Impl): NotConstraint[A, C, Impl]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL