packages feed

ChasingBottoms 1.3.0.14 → 1.3.1

raw patch · 2 files changed

+15/−2 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Test.ChasingBottoms.SemanticOrd: (/=!) :: SemanticEq a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (<!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (<=!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (==!) :: SemanticEq a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (>!) :: SemanticOrd a => a -> a -> Bool
- Test.ChasingBottoms.SemanticOrd: (>=!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.IsBottom: isBottomIO :: a -> IO Bool
+ Test.ChasingBottoms.IsBottom: isBottomTimeOutIO :: Maybe Int -> a -> IO Bool
+ Test.ChasingBottoms.SemanticOrd: (<!, <=!, >=!, >!) :: SemanticOrd a => a -> a -> Bool
+ Test.ChasingBottoms.SemanticOrd: (==!, /=!) :: SemanticEq a => a -> a -> Bool
- Test.ChasingBottoms.ContinuousFunctions: match :: Data a => MakePM a
+ Test.ChasingBottoms.ContinuousFunctions: match :: forall a. Data a => MakePM a

Files

ChasingBottoms.cabal view
@@ -1,5 +1,5 @@ name:               ChasingBottoms-version:            1.3.0.14+version:            1.3.1 license:            MIT license-file:       LICENCE copyright:          Copyright (c) Nils Anders Danielsson 2004-2016.
Test/ChasingBottoms/IsBottom.hs view
@@ -15,9 +15,11 @@  module Test.ChasingBottoms.IsBottom   ( isBottom+  , isBottomIO   , bottom   , nonBottomError   , isBottomTimeOut+  , isBottomTimeOutIO   ) where  import Prelude hiding (catch)@@ -97,7 +99,18 @@ -- below. {-# NOINLINE isBottomTimeOut #-} isBottomTimeOut :: Maybe Int -> a -> Bool-isBottomTimeOut timeOutLimit f = unsafePerformIO $+isBottomTimeOut timeOutLimit f =+  unsafePerformIO $ isBottomTimeOutIO timeOutLimit f++-- | A variant of 'isBottom' that lives in the 'IO' monad.++isBottomIO :: a -> IO Bool+isBottomIO = isBottomTimeOutIO Nothing++-- | A variant of 'isBottomTimeOut' that lives in the 'IO' monad.++isBottomTimeOutIO :: Maybe Int -> a -> IO Bool+isBottomTimeOutIO timeOutLimit f =   maybeTimeOut (E.evaluate f) `E.catches`     [ E.Handler (\(_ :: E.ArrayException)   -> return True)     , E.Handler (\(_ :: E.ErrorCall)        -> return True)