refined 0.4.2 → 0.4.2.1

raw patch · 3 files changed

+21/−18 lines, 3 files

Files

refined.cabal +1/−1
src/Refined.hs +20/−16
src/Refined/Internal.hs +0/−1

refined.cabal view

@@ -3,7 +3,7 @@ name:   refined version:-  0.4.2+  0.4.2.1 synopsis:   Refinement types with static and runtime checking description:

src/Refined.hs view

@@ -70,23 +70,27 @@   , Predicate (validate)      -- * Logical predicates-  , Not-  , And+  , Not(..)+  , And(..)   , type (&&)-  , Or+  , Or(..)   , type (||)      -- * Identity predicate-  , IdPred+  , IdPred(..)      -- * Numeric predicates-  , LessThan-  , GreaterThan-  , From-  , To-  , FromTo-  , EqualTo-  , NotEqualTo+  , LessThan(..)+  , GreaterThan(..)+  , From(..)+  , To(..)+  , FromTo(..)+  , NegativeFromTo(..)+  , EqualTo(..)+  , NotEqualTo(..)+  , Odd(..)+  , Even(..)+  , DivisibleBy(..)   , Positive   , NonPositive   , Negative@@ -95,14 +99,14 @@   , NonZero      -- * Foldable predicates-  , SizeLessThan-  , SizeGreaterThan-  , SizeEqualTo+  , SizeLessThan(..)+  , SizeGreaterThan(..)+  , SizeEqualTo(..)   , NonEmpty      -- * IsList predicates-  , Ascending-  , Descending+  , Ascending(..)+  , Descending(..)      -- * Weakening   , Weaken (weaken)

src/Refined/Internal.hs view

@@ -757,7 +757,6 @@ --------------------------------------------------------------------------------  -- | A 'Predicate' ensuring that the value is divisible by @n@.---   That is to say, @m `mod` 'natVal' ('Proxy' @n) '==' 0@ -- --   >>> isRight (refine @(DivisibleBy 3) @Int 12) --   True