nonempty
nonempty
japgolly.microlibs.nonempty
NonEmpty
NonEmpty
Proof
Proof
ProofImplicitsLo
NonEmptyArraySeq
NonEmptyArraySeq
Builder
NonEmptyArraySeqImplicits0
NonEmptyArraySeqImplicits1
NonEmptySet
NonEmptySet
Sole
Unapply
NonEmptyVector
NonEmptyVector
Builder
Sole
Unapply
NonEmptyVectorImplicits0
NonEmptyVectorImplicits1
nonempty
/
japgolly.microlibs.nonempty
/
NonEmpty
NonEmpty
object
NonEmpty
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
NonEmpty
.type
Type members
Value members
Implicits
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
)(
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
]]