zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/NonEmptyList

NonEmptyList

zio.prelude.NonEmptyList
See theNonEmptyList companion trait
object NonEmptyList extends LowPriorityNonEmptyListImplicits

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Classlikes

final case class Cons[+A](head: A, tail: NonEmptyList[A]) extends NonEmptyList[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait NonEmptyList[A]
class Object
trait Matchable
class Any
Show all
final case class Single[+A](head: A) extends NonEmptyList[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait NonEmptyList[A]
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[A](head: A, tail: A*): NonEmptyList[A]

Constructs a NonEmptyList from one or more values.

Constructs a NonEmptyList from one or more values.

Attributes

def cons[A](head: A, tail: NonEmptyList[A]): NonEmptyList[A]

Constructs a NonEmptyList with the specified head and tail.

Constructs a NonEmptyList with the specified head and tail.

Attributes

def fromCons[A](cons: ::[A]): NonEmptyList[A]

Constructs a NonEmptyList from the :: case of a List.

Constructs a NonEmptyList from the :: case of a List.

Attributes

def fromIterable[A](head: A, tail: Iterable[A]): NonEmptyList[A]

Constructs a NonEmptyList from an element and Iterable.

Constructs a NonEmptyList from an element and Iterable.

Attributes

def fromIterableOption[A](iterable: Iterable[A]): Option[NonEmptyList[A]]

Constructs a NonEmptyList from an Iterable or None otherwise.

Constructs a NonEmptyList from an Iterable or None otherwise.

Attributes

def fromNonEmptyChunk[A](nonEmptyChunk: NonEmptyChunk[A]): NonEmptyList[A]

Constructs a NonEmptyList from a NonEmptyChunk.

Constructs a NonEmptyList from a NonEmptyChunk.

Attributes

def iterate[A](start: A)(iterate: A => Option[A]): NonEmptyList[A]

Constructs a NonEmptyList from an initial state start by repeatedly applying iterate as long as it returns Some.

Constructs a NonEmptyList from an initial state start by repeatedly applying iterate as long as it returns Some.

Attributes

def single[A](head: A): NonEmptyList[A]

Constructs a NonEmptyList with the specified single value.

Constructs a NonEmptyList with the specified single value.

Attributes

def unfold[S, A](start: S)(project: S => A)(iterate: S => Option[S]): NonEmptyList[A]

Constructs a NonEmptyList from an initial state start by repeatedly applying iterate as long as it returns Some, using the function project to map each S value to an A value.

Constructs a NonEmptyList from an initial state start by repeatedly applying iterate as long as it returns Some, using the function project to map each S value to an A value.

Attributes

Implicits

Implicits

implicit def NonEmptyListAssociative[A]: Associative[NonEmptyList[A]]

The Associative instance for NonEmptyList.

The Associative instance for NonEmptyList.

Attributes

implicit val NonEmptyListAssociativeEither: AssociativeEither[NonEmptyList]

The AssociativeEither instance for NonEmptyList.

The AssociativeEither instance for NonEmptyList.

Attributes

implicit val NonEmptyListCovariant: Covariant[NonEmptyList]

The Covariant instance for NonEmptyList.

The Covariant instance for NonEmptyList.

Attributes

implicit def NonEmptyListDebug[A : Debug]: Debug[NonEmptyList[A]]

Derives a Debug[NonEmptyList[A]] given a Debug[A].

Derives a Debug[NonEmptyList[A]] given a Debug[A].

Attributes

implicit val NonEmptyListDeriveEqual: DeriveEqual[NonEmptyList]

The DeriveEqual instance for NonEmptyList.

The DeriveEqual instance for NonEmptyList.

Attributes

implicit def NonEmptyListEqual[A : Equal]: Equal[NonEmptyList[A]]

Derives an Equal[NonEmptyList[A]] given an Equal[A].

Derives an Equal[NonEmptyList[A]] given an Equal[A].

Attributes

implicit def NonEmptyListHash[A : Hash]: Hash[NonEmptyList[A]]

Derives a Hash[NonEmptyList[A]] given a Hash[A].

Derives a Hash[NonEmptyList[A]] given a Hash[A].

Attributes

implicit val NonEmptyListIdentityBoth: IdentityBoth[NonEmptyList]

The IdentityBoth (and thus AssociativeBoth) instance for NonEmptyList.

The IdentityBoth (and thus AssociativeBoth) instance for NonEmptyList.

Attributes

implicit val NonEmptyListIdentityFlatten: IdentityFlatten[NonEmptyList]

The IdentityFlatten instance for NonEmptyList.

The IdentityFlatten instance for NonEmptyList.

Attributes

implicit val NonEmptyListNonEmptyForEach: NonEmptyForEach[NonEmptyList]

The NonEmptyForEach instance for NonEmptyList.

The NonEmptyForEach instance for NonEmptyList.

Attributes

implicit def toCons[A](nonEmptyList: NonEmptyList[A]): ::[A]

Provides an implicit conversion from NonEmptyList to the :: case of List for interoperability with Scala's collection library.

Provides an implicit conversion from NonEmptyList to the :: case of List for interoperability with Scala's collection library.

Attributes

Inherited implicits

implicit val NonEmptyListCommutativeBoth: CommutativeBoth[NonEmptyList]

The CommutativeBoth instance for NonEmptyList.

The CommutativeBoth instance for NonEmptyList.

Attributes

Inherited from:
LowPriorityNonEmptyListImplicits
implicit def NonEmptyListOrd[A : Ord]: Ord[NonEmptyList[A]]

Derives an Ord[NonEmptyList[A]] given an Ord[A].

Derives an Ord[NonEmptyList[A]] given an Ord[A].

Attributes

Inherited from:
LowPriorityNonEmptyListImplicits
implicit def NonEmptyListPartialOrd[A : PartialOrd]: PartialOrd[NonEmptyList[A]]

Derives a PartialOrd[NonEmptyList[A]] given a PartialOrd[A].

Derives a PartialOrd[NonEmptyList[A]] given a PartialOrd[A].

Attributes

Inherited from:
LowPriorityNonEmptyListImplicits
Generated with