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

True

io.github.iltotore.iron.constraint.any.True
See theTrue companion class
object True

Attributes

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

Members list

Givens

Givens

given `given_==>_True_Not`: Implication[True, Not[False]]

True implies Not[False]

True implies Not[False]

Attributes

Source
any.scala
inline given given_Constraint_A_True[A]: given_Constraint_A_True[A]

Attributes

Source
any.scala
Generated with