provide 'overflow' refinements for bounded types such as 'Int'

nikita-volkov / refined

Refinement types with static checking

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

MIT License

182 stars 31 forks source link

Closed chessai closed 5 years ago

chessai commented 5 years ago

i don't think this is going to happen. i don't recall why this is useful.