nonempty/japgolly.microlibs.nonempty/NonEmpty/ProofImplicitsLo

ProofImplicitsLo

trait ProofImplicitsLo
class Object
trait Matchable
class Any
object Proof

Value members

Concrete methods

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

Implicits

Implicits

implicit def proveTraversable[A <: Iterable[_]]: ProofMono[A]