codo-notation
codo-notation copied to clipboard
dorchard
Codo notation for programming with comonads in Haskell
Due to separation between `Monad` and `MonadFail` the code no longer compiles on newer GHC versions. This PR fixes that issue and by the way gets rid of most warnings.
For example, the following errors: ``` f alpha = [codo| ((x,_),g) => extract x - alpha*extract g|] ``` The following compiles just fine: ``` f alpha = [codo| ((x,dontcare),g) =>...
While I don’t really grok comonads or codo notation, I was shily experimenting with them a bit, when it occurred to me that ViewPatterns might be useful to have. So...
Bindings in codo blocks already work with the Unicode arrow `←` if UnicodeSyntax is enabled, but this looks a bit silly when the block is initiated by `=>`. This adds...