Relax type signature of asks function

IxpertaSolutions / freer-effects

An implementation of "Freer Monads, More Extensible Effects".

BSD 3-Clause "New" or "Revised" License

65 stars 12 forks source link

Closed trskop closed 7 years ago

trskop commented 7 years ago

Function asks currently it has:

asks :: (e -> a) -> Eff '[Reader e] a

Which is very specific and should be relaxed using Member (Reader e) effs constraint.