nonempty/japgolly.microlibs.nonempty/NonEmpty

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
trait ProofImplicitsLo

Types

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

Value members

Concrete methods

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

Implicits

Implicits

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