• Home
• com.github.julien-truffaut
• monocle-core_3.0.0-M2
• 3.0.0-M0a
• source code
• NonEmptyList.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

monocle.std.NonEmptyList.scala Maven / Gradle / Ivy

package monocle.std

import monocle.{Iso, PIso}

import cats.data.{NonEmptyList, OneAnd}

object nel extends NonEmptyListOptics

trait NonEmptyListOptics {
  final def pNelToOneAnd[A, B]: PIso[NonEmptyList[A], NonEmptyList[B], OneAnd[List, A], OneAnd[List, B]] =
    PIso((nel: NonEmptyList[A]) => OneAnd[List, A](nel.head, nel.tail))((oneAnd: OneAnd[List, B]) =>
      NonEmptyList(oneAnd.head, oneAnd.tail)
    )

  final def nelToOneAnd[A]: Iso[NonEmptyList[A], OneAnd[List, A]] =
    pNelToOneAnd[A, A]

  final def pOptNelToList[A, B]: PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]] =
    PIso[Option[NonEmptyList[A]], Option[NonEmptyList[B]], List[A], List[B]](_.fold(List.empty[A])(_.toList))(
      NonEmptyList.fromList
    )

  final def optNelToList[A]: Iso[Option[NonEmptyList[A]], List[A]] =
    pOptNelToList[A, A]
}