Proptics core/proptics.instances/nonEmptyCons

nonEmptyCons

object nonEmptyCons extends NonEmptyConsInstances
class Object
trait Matchable
class Any

Value members

Inherited methods

final def head[S, H, T](implicit ev: NonEmptyCons[S, H, T]): Lens[S, H]
Inherited from:
NonEmptyConsInstances
final def nonEmptyCons[S, H, T](implicit ev: NonEmptyCons[S, H, T]): Iso[S, (H, T)]
Inherited from:
NonEmptyConsInstances
final def tail[S, H, T](implicit ev: NonEmptyCons[S, H, T]): Lens[S, T]
Inherited from:
NonEmptyConsInstances

Implicits

Inherited implicits

final implicit def nonEmptyConsNonEmptyChain[A]: NonEmptyCons[Type[A], A, Chain[A]]
Inherited from:
NonEmptyConsInstances
final implicit def nonEmptyConsNoneEmptyList[A]: NonEmptyCons[NonEmptyList[A], A, List[A]]
Inherited from:
NonEmptyConsInstances
final implicit def nonEmptyConsOneAnd[F[_], A]: NonEmptyCons[OneAnd[F, A], A, F[A]]
Inherited from:
NonEmptyConsInstances
implicit def nonEmptyConsTuple2[A, B]: NonEmptyCons[(A, B), A, B]
Inherited from:
NonEmptyConsInstances
final implicit def nonEmptyConsTuple3[A, B, C]: NonEmptyCons[(A, B, C), A, (B, C)]
Inherited from:
NonEmptyConsInstances
final implicit def nonEmptyConsTuple4[A, B, C, D]: NonEmptyCons[(A, B, C, D), A, (B, C, D)]
Inherited from:
NonEmptyConsInstances
final implicit def nonEmptyConsTuple5[A, B, C, D, E]: NonEmptyCons[(A, B, C, D, E), A, (B, C, D, E)]
Inherited from:
NonEmptyConsInstances