search

arrow-kt / arrow-incubator

Λrrow Incubator is part of Λrrow, a functional companion to Kotlin's Standard Library
http://arrow-kt.io
Other
20 stars 3 forks source link

[Request] Add Wedge, Can, and Smash #108

Open pakoito opened 4 years ago

pakoito commented 4 years ago

https://twitter.com/pitopos/status/1247586197758763010

https://hackage.haskell.org/package/smash

https://www.reddit.com/r/haskell/comments/fwp5yl/ann_smash_smashlens_smashmicrolens_smashaeson/

pablisco commented 4 years ago

Wedge is already implemented as Ior.

Instead of Smash we are probably gonna call it Option2 following the design from Maybe2 from scalaz: https://github.com/scalaz/scalaz/blob/series/8.0.x/base/shared/src/main/scala/scalaz/data/maybe2.scala

raulraja commented 4 years ago

All of these need to go in the incubator first. @pablisco good luck buddy 👶 :*

pablisco commented 3 years ago

I was wrong, `Wedge` is not actually Ior. Ior is A + B + (A * B) but Wedge is 1 + A + B