refined 0.4.2.1 → 0.4.2.2

raw patch · 3 files changed

+33/−3 lines, 3 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

Files

• refined.cabal +1/−1
• src/Refined.hs +5/−1
• src/Refined/Internal.hs +27/−1

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

@@ -115,6 +115,10 @@   , leftOr   , rightOr +    -- * Strengthening+  , strengthen+  , strengthenM+     -- * Error handling      -- ** 'RefineException'@@ -127,7 +131,7 @@   , displayRefineException      -- ** 'RefineT' and 'RefineM'-  , RefineT, runRefineT, mapRefineT+  , RefineT, runRefineT, exceptRefine, mapRefineT   , RefineM, refineM, runRefineM   , throwRefine, catchRefine   , throwRefineOtherException

@@ -128,6 +128,10 @@   , leftOr   , rightOr +    -- * Strengthening+  , strengthen+  , strengthenM+     -- * Error handling      -- ** 'RefineException'@@ -140,7 +144,7 @@   , displayRefineException      -- ** 'RefineT' and 'RefineM'-  , RefineT, runRefineT, mapRefineT+  , RefineT, runRefineT, exceptRefine, mapRefineT   , RefineM, refineM, runRefineM   , throwRefine, catchRefine   , throwRefineOtherException@@ -891,6 +895,20 @@ rightOr :: Refined r x -> Refined (Or l r) x rightOr = coerce +-- | Strengthen a refinement by composing it with another.+strengthen :: forall p p' x. (Predicate p x, Predicate p' x)+  => Refined p x+  -> Either RefineException (Refined (p && p') x)+strengthen r = refine @(p && p') (unrefine r)+{-# inlineable strengthen #-}++-- | Strengthen a refinement by composing it with another+--   inside of the 'RefineT' monad.+strengthenM :: forall p p' x m. (Predicate p x, Predicate p' x, Monad m)+  => Refined p x+  -> RefineT m (Refined (p && p') x)+strengthenM r = exceptRefine (strengthen r)+ --------------------------------------------------------------------------------  -- | An exception encoding the way in which a 'Predicate' failed.@@ -1049,6 +1067,14 @@ runRefineM = runRefineT .> runIdentity  --------------------------------------------------------------------------------++-- | Constructor for computations in the @'RefineT'@ movie.+--   (The inverse of 'runRefineT').+exceptRefine+  :: (Monad m)+  => Either RefineException a+  -> RefineT m a+exceptRefine = MonadError.liftEither  -- | One can use @'throwRefine'@ inside of a monadic --   context to begin processing a @'RefineException'@.