Removes dependency on 'these'

nikita-volkov / refined

Refinement types with static checking

http://hackage.haskell.org/package/refined

MIT License

183 stars 31 forks source link

Closed jkachmar closed 5 years ago

jkachmar commented 5 years ago

This reverts a change introduced in #31, which dropped Refined.These in favor of Data.These.

Unfortunately, the these package introduces a transitive dependency on lens which makes this library much heavier than it would otherwise be.

jkachmar commented 5 years ago

Whoops, you're absolutely right. Fixed 👍

jkachmar commented 5 years ago

Is there anything else I should do here, or does this look good to go?

chessai commented 5 years ago

I'm sorry for the delay. This looks great, thanks!