Proptics core/proptics.syntax.applied/NonEmptyConsOps

NonEmptyConsOps

final case class NonEmptyConsOps[S, H, T](s: S) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def head(implicit ev: NonEmptyCons[S, H, T]): AppliedLens[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[S, H, T]): AppliedIso[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[S, H, T]): AppliedLens[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