search

dorchard / effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
BSD 2-Clause "Simplified" License
99 stars 11 forks source link

WIP arrows #17

Open turion opened 3 years ago

turion commented 3 years ago

Again, this is just a WIP PR so you can tell me whether this is heading in the right direction.