Move Optics std to companion objects

[nomisRev]

Like it was done for generated Optics in #825 this PR moves the Optics of the std to the companion objects of the respective data types.

[pakoito]

I see you've created new Api objects for List and such. Rather than having a new one just for this library, it'd be better if we added an object in one of the core or data modules, and add your extfuns from the optics module.

That way the object can be extended by all modules, and we centralise all the APIs.

[codecov]

Codecov Report

❗ No coverage uploaded for pull request base (master@12bfc77). Click here to learn what that means.
The diff coverage is 65.9%.

@@            Coverage Diff            @@
##             master     #888   +/-   ##
=========================================
  Coverage          ?   45.38%           
  Complexity        ?      652           
=========================================
  Files             ?      302           
  Lines             ?     7745           
  Branches          ?      833           
=========================================
  Hits              ?     3515           
  Misses            ?     3924           
  Partials          ?      306

Impacted Files	Coverage Δ	Complexity Δ
...ics/src/main/kotlin/arrow/optics/instances/setk.kt	100% <ø> (ø)	0 <0> (?)
...tics/src/main/kotlin/arrow/optics/instances/set.kt	100% <ø> (ø)	0 <0> (?)
...s/src/main/kotlin/arrow/optics/instances/option.kt	100% <ø> (ø)	0 <0> (?)
...tics/src/main/kotlin/arrow/optics/instances/try.kt	100% <ø> (ø)	0 <0> (?)
...s/src/main/kotlin/arrow/optics/instances/either.kt	100% <ø> (ø)	0 <0> (?)
...-optics/src/main/kotlin/arrow/optics/dsl/option.kt	0% <0%> (ø)	0 <0> (?)
...s/src/main/kotlin/arrow/optics/instances/string.kt	100% <100%> (ø)	0 <0> (?)
...ics/src/main/kotlin/arrow/optics/instances/mapk.kt	86.36% <100%> (ø)	0 <0> (?)
...main/kotlin/arrow/optics/instances/nonemptylist.kt	86.66% <50%> (ø)	0 <0> (?)
...rc/main/kotlin/arrow/optics/instances/sequencek.kt	83.33% <66.66%> (ø)	0 <0> (?)
... and 3 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 12bfc77...e53b8f2. Read the comment docs.

[nomisRev]

@pakoito I made the changes 👍

[pakoito]

Could you please put this file in arrow-data instead? That way we don't need to depend on the instances package when adding other typeclasses to List.

[nomisRev]

Shouldn't these go to arrow-core?

[pakoito]

It's cheap so why not :D

[pakoito]

Same as ListInstances! We could also add the others: Map, SortedMap, and SortedSet.

[pakoito]

Approved with one suggestion!