search

joshvera / effects

An implementation of "Freer Monads, More Extensible Effects".
Other
20 stars 5 forks source link

Port makeFreer from TaktInc/freer for makeEff #20

Closed joshvera closed 6 years ago

joshvera commented 6 years ago

Ports https://github.com/IxpertaSolutions/freer-effects/pull/28/files and https://github.com/TaktInc/freer/pull/3 for makeEff.

This should make generating type signatures and declarations for GADTs easier.