iron
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
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
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
True.type

Members list

Concise view

Givens

Givens

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

True implies Not[False]

True implies Not[False]

Attributes

inline given given_Constraint_A_True[A]: given_Constraint_A_True[A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL