NonEmpty

object NonEmpty
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Proof[I, O](tryProve: I => Option[O]) extends AnyVal
Companion:
object
object Proof extends ProofImplicitsLo
Companion:
class

Types

type ProofMono[A] = Proof[A, NonEmpty[A]]

Value members

Concrete methods

@inline
def apply[I, O](i: I)(implicit proof: Proof[I, O]): Option[O]
@inline
def force[A](a: A): NonEmpty[A]
@inline
def nonEmptyEqual[A](implicit e: Eq[A]): Eq[NonEmpty[A]]
@inline
def require_![I, O](i: I)(implicit proof: Proof[I, O]): O

Implicits

Implicits

@inline
implicit def autoNonEmptyValue[A](n: NonEmpty[A]): A
@nowarn("cat=unused") @inline
implicit def nonEmptyUnivEq[A : UnivEq]: UnivEq[NonEmpty[A]]