implicit final
class
LogicPropExt[A] extends AnyVal
Instance Constructors
-
new
LogicPropExt(_l: Prop[A])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
val
_l: Prop[A]
-
def
apply(a: A): Eval
-
final
def
asInstanceOf[T0]: T0
-
def
assert(a: A): Unit
-
def
forall[B, F[_]](f: (B) ⇒ F[A])(implicit arg0: Foldable[F]): Prop[B]
-
def
forallF[F[_]](implicit arg0: Foldable[F]): Prop[F[A]]
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
-
def
∀[B, F[_]](f: (B) ⇒ F[A])(implicit arg0: Foldable[F]): Prop[B]
Inherited from AnyVal
Inherited from NotNull
Inherited from Any