3.0.0

[julien-truffaut]

• Change the organisation from com.github.julien-truffaut to dev.optics

libraryDependencies ++= Seq(
 "dev.optics" %% "monocle-core"  % "3.0.0",
 "dev.optics" %% "monocle-macro" % "3.0.0", // only for Scala 2.13
)

Focus macro

• new macro to generate optics from a path (similar to XPath/JsonPath) @kenbot and @yilinwei

import monocle.Focus

case class User(name: String, address: Address)
case class Address(streetNumber: Int, streetName: String)

Focus[User](_.name)
// res: Lens[User, String]
Focus[User](_.address.streetNumber)
// res: Lens[User, Int]

• pre-apply Focus to an object (Focus macro pre-applied to object #1039) @kenbot

import monocle.syntax.all._

val anna = User("Anna", Address(12, "high street")

anna.focus(_.name).replace("Bob")
anna.focus(_.address.some.streetNumber).modify(_ + 1)

• [Scala 3] operators for Focus path:
  • as ([Focus] as feature #1050 Brings as into line with the other operators wrt Focus #1112) @kenbot
  • withDefault (Focus withDefault feature, removed Eq constraint on withDefault everywhere #1094) @kenbot
  • at, index ('At', 'index' features + refactor of parsers for readability and type safety #1081) @kenbot
  • add each feature ([Focus] Each feature #1072) @kenbot
• [Scala 3] field selection on case classes with a single field generates an Iso (Focus on case classes with one fields generates an Iso #1111) @kenbot

import monocle.Focus

case class UserId(value: Long)

Focus[UserId](_.value)
// res: Iso[UserId, Long]

API updates

• inheritance between optics (Inheritance between optics #1088 add inheritance for applied optics #1116) @julien-truffaut
• add andThen to compose (add andThen on all optics #967 deprecate all composeX methods in favor of andThen #1000) @julien-truffaut
• add replace, deprecate set (Replace deprecated set with replace #974) @sapizhak
• add replaceOption, deprecate setOption (Replace deprecated setOption with replaceOption #1006) @jamesbruce97
• add filter, deprecate unsafeSelect (add filter, deprecate unsafeSelect #988) @julien-truffaut
• add type aliases for AppliedOptics (create type hirearchy and aliases that matches standard optics #1113) @julien-truffaut
• use monocle.syntax.all._ for all extension methods including macros (offer same import for Scala 2 and 3 #1120) @julien-truffaut
• add shortcut to all optics for common composition patterns:
  • at and index (Add shortcuts for at, index #978) @sapizhak
  • `filterIndex (add short cut for filterIndex #999) @julien-truffaut
  • as (add as extension method to optics in Scala 2 and 3 #1110, as for AppliedOptics #1123) @julien-truffaut
  • each (Add each shortcut to all optics #908) @julien-truffaut
  • withDefault (Add withDefault and atOrElse to replace None by a default value #886) @julien-truffaut
  • to (Lift arbitrary functions to Getters #896) @TimWSpence
• add orElse on Optional (add orElse on Optional #1021) @julien-truffaut
• add cats instances to zip Lenses together (Feature/cats instances #1109) @vaslabs
• add optics extension method, deprecate all applyX methods (deprecate all applyX methods and operators in favor of optics method #1003) @julien-truffaut
• generalise Traversal.applyN to accept Optionals (generalise Traversal.applyN to Optional #1100) @julien-truffaut
• add POptional into Ior's left and right (Add POptionals into Ior's left and right #893) @chwthewke
• move Map instance for Each and FilterIndex from unsafe module to core (move Map instance for Each and FilterIndex from unsafe module to core #998) @julien-truffaut

Deprecation

• Deprecate all codiagonal except Lens.codiagonal (Deprecate all except Lens codiagonal #1115) @julien-truffaut
• Deprecate first, second, left, right, split. Move choice to cats instance (Deprecate first, second, left, right, split. Move choice to cats instance #1114) @julien-truffaut
• deprecate symbolic compose operators (Deprecate symbolic compose operators #983) @julien-truffaut
• deprecate generic and state module - no replacement (Deprecate generic and state module #986) @julien-truffaut
• deprecate Possible- no replacement (Deprecate Possible #992) @julien-truffaut
• deprecate Cons, Cons1, Snoc, Snoc1 - no replacement (deprecate Cons, Cons1, Snoc, Snoc1 #984) @julien-truffaut
• deprecate Curry, Empty, Reverse - no replacement (Deprecate Curry, Empty, Reverse and remove old deprecated code #980) @julien-truffaut

Documentation

• enable scalajs-mapSourceURI option if Scala 3 (enable scalajs-mapSourceURI option if Scala 3 #1107) @xuwei-k
• add source links to scala 3 documentation. (Add source links to scala 3 documentation. #1108) @romanowski

Dependency upgrade

• Update Scala to 3.0.0 and 2.13.5
• Update cats to 2.6.1
• Update refined to 0.9.26
• Update scalajsto 1.6.0

---

This discussion was created from the release 3.0.0.