Add instances for Cell of Profunctor, Choice and Strong via WrappedArrow

turion / essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework

https://www.manuelbaerenz.de/#computerscience

64 stars 6 forks source link

Closed miguel-negrao closed 2 years ago

miguel-negrao commented 3 years ago

Fixes #56

miguel-negrao commented 3 years ago

The Monad m requirement comes from instance Monad m => Arrow (Cell m).

miguel-negrao commented 2 years ago

PR #95 superseeds this.