nikita-volkov / refined

Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
183 stars 31 forks source link

Add more Weaken instances and inference helpers #88

Closed lrworth closed 2 years ago

lrworth commented 2 years ago

Adds instance Weaken for SizeLessThan, SizeGreaterThan. Adds inference helpers weakenAndLeft, weakenAndRight, weakenOrLeft, weakenOrRight.