Proptics core/proptics.syntax.applied/AppliedAffineTraversalNonEmptyConsOps

AppliedAffineTraversalNonEmptyConsOps

final case class AppliedAffineTraversalNonEmptyConsOps[S, H, T, A](appliedAffineTraversal: AppliedAffineTraversal[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

selects the first element of a data structure

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

splits the head and the tail of a data structure

splits the head and the tail of a data structure

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

selects the tail of a data structure

selects the tail of a data structure

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product