Proptics core/proptics.instances/NonEmptyConsInstances

NonEmptyConsInstances

trait NonEmptyConsInstances
class Object
trait Matchable
class Any
object all.type
object nonEmptyCons.type

Value members

Concrete methods

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

Implicits

Implicits

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