nonempty/japgolly.microlibs.nonempty/NonEmpty/Proof

Proof

object Proof extends ProofImplicitsLo
Companion
class
class Object
trait Matchable
class Any

Value members

Inherited methods

def testEmptiness[A](isEmpty: A => Boolean): ProofMono[A]
Inherited from
ProofImplicitsLo

Implicits

Implicits

implicit def proveNES[A](`evidence$2`: UnivEq[A]): Proof[Set[A], NonEmptySet[A]]
implicit def proveNEV[A]: Proof[Vector[A], NonEmptyVector[A]]

Inherited implicits

implicit def proveTraversable[A <: Iterable[_]]: ProofMono[A]
Inherited from
ProofImplicitsLo