search

propensive / wisteria

Easy, fast, transparent generic derivation of typeclass instances in Scala
https://soundness.dev/wisteria/
Apache License 2.0
19 stars 1 forks source link

ProductDerivation - constructWith method #11

Closed NPCRUS closed 1 month ago

NPCRUS commented 1 month ago

constructWith using that takes bind and pure polymorphic functions in order to be able to traverse F[_] as a producer result

NPCRUS commented 1 month ago

Additional question: do we care about shortcirtuiting fold if we already bumped into Left/None/etc result from lambda?