Proptics core/proptics.syntax.applied/AppliedTraversalNonEmptyConsOps

AppliedTraversalNonEmptyConsOps

final case class AppliedTraversalNonEmptyConsOps[S, T, H, A](appliedTraversal: AppliedTraversal[S, A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def head(implicit ev: NonEmptyCons[A, H, T]): AppliedFold[S, H]

selects the first element of a data structure S

selects the first element of a data structure S

def nonEmptyCons(implicit ev: NonEmptyCons[A, H, T]): AppliedTraversal[S, (H, T)]

splits the head and the tail of a data structure S

splits the head and the tail of a data structure S

def tail(implicit ev: NonEmptyCons[A, H, T]): AppliedFold[S, T]

selects the tail of a data structure S

selects the tail of a data structure S

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product