investigate making it so that 'RefineNotException' can have a child 'RefineException'

nikita-volkov / refined

Refinement types with static checking

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

MIT License

183 stars 31 forks source link

investigate making it so that 'RefineNotException' can have a child 'RefineException' #36

Closed chessai closed 4 years ago

chessai commented 5 years ago

we currently cannot do this because we have no child exception value when we discover the predicate p holds (meaning Not p does not hold).

chessai commented 4 years ago

This is not possible with the current structure of the library; and i'm not really interested in further sweeping breakage. Someone can re-open if interested.