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

Dev applicative #16

Open turion opened 3 years ago

turion commented 3 years ago

This is a work in progress so you can see how the code would turn out. Note that the associated type families Plus, Unit, Inv need to be moved to the applicativeish class.