packages feed

IOSpec 0.2.1 → 0.2.2

raw patch · 2 files changed

+3/−3 lines, 2 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Test.IOSpec.Types: instance [overlap ok] (Functor f) => Functor (IOSpec f)
- Test.IOSpec.Types: instance [overlap ok] (Functor f) => Monad (IOSpec f)
- Test.IOSpec.Types: instance [overlap ok] (Functor f) => f :<: f
- Test.IOSpec.VirtualMachine: instance [overlap ok] (Eq a) => Eq (Effect a)
+ Test.IOSpec.Types: instance [overlap ok] Functor f => Functor (IOSpec f)
+ Test.IOSpec.Types: instance [overlap ok] Functor f => Monad (IOSpec f)
+ Test.IOSpec.Types: instance [overlap ok] Functor f => f :<: f
+ Test.IOSpec.VirtualMachine: instance [overlap ok] Eq a => Eq (Effect a)
- Test.IOSpec.STM: atomically :: (:<: STMS f) => STM a -> IOSpec f a
+ Test.IOSpec.STM: atomically :: :<: STMS f => STM a -> IOSpec f a
- Test.IOSpec.STM: newTVar :: (Typeable a) => a -> STM (TVar a)
+ Test.IOSpec.STM: newTVar :: Typeable a => a -> STM (TVar a)
- Test.IOSpec.STM: readTVar :: (Typeable a) => TVar a -> STM a
+ Test.IOSpec.STM: readTVar :: Typeable a => TVar a -> STM a
- Test.IOSpec.STM: writeTVar :: (Typeable a) => TVar a -> a -> STM ()
+ Test.IOSpec.STM: writeTVar :: Typeable a => TVar a -> a -> STM ()
- Test.IOSpec.Teletype: getChar :: (:<: Teletype f) => IOSpec f Char
+ Test.IOSpec.Teletype: getChar :: :<: Teletype f => IOSpec f Char
- Test.IOSpec.Teletype: getLine :: (:<: Teletype f) => IOSpec f String
+ Test.IOSpec.Teletype: getLine :: :<: Teletype f => IOSpec f String
- Test.IOSpec.Teletype: putChar :: (:<: Teletype f) => Char -> IOSpec f ()
+ Test.IOSpec.Teletype: putChar :: :<: Teletype f => Char -> IOSpec f ()
- Test.IOSpec.Teletype: putStr :: (:<: Teletype f) => String -> IOSpec f ()
+ Test.IOSpec.Teletype: putStr :: :<: Teletype f => String -> IOSpec f ()
- Test.IOSpec.Teletype: putStrLn :: (:<: Teletype f) => String -> IOSpec f ()
+ Test.IOSpec.Teletype: putStrLn :: :<: Teletype f => String -> IOSpec f ()
- Test.IOSpec.Types: foldIOSpec :: (Functor f) => (a -> b) -> (f b -> b) -> IOSpec f a -> b
+ Test.IOSpec.Types: foldIOSpec :: Functor f => (a -> b) -> (f b -> b) -> IOSpec f a -> b
- Test.IOSpec.Types: inject :: (:<: g f) => g (IOSpec f a) -> IOSpec f a
+ Test.IOSpec.Types: inject :: :<: g f => g (IOSpec f a) -> IOSpec f a
- Test.IOSpec.VirtualMachine: class (Functor f) => Executable f
+ Test.IOSpec.VirtualMachine: class Functor f => Executable f
- Test.IOSpec.VirtualMachine: evalIOSpec :: (Executable f) => IOSpec f a -> Scheduler -> Effect a
+ Test.IOSpec.VirtualMachine: evalIOSpec :: Executable f => IOSpec f a -> Scheduler -> Effect a
- Test.IOSpec.VirtualMachine: execIOSpec :: (Executable f) => IOSpec f a -> Scheduler -> Store
+ Test.IOSpec.VirtualMachine: execIOSpec :: Executable f => IOSpec f a -> Scheduler -> Store
- Test.IOSpec.VirtualMachine: runIOSpec :: (Executable f) => IOSpec f a -> Scheduler -> Effect (a, Store)
+ Test.IOSpec.VirtualMachine: runIOSpec :: Executable f => IOSpec f a -> Scheduler -> Effect (a, Store)
- Test.IOSpec.VirtualMachine: step :: (Executable f) => f a -> VM (Step a)
+ Test.IOSpec.VirtualMachine: step :: Executable f => f a -> VM (Step a)
- Test.IOSpec.VirtualMachine: updateSoup :: (Executable f) => ThreadId -> IOSpec f a -> VM ()
+ Test.IOSpec.VirtualMachine: updateSoup :: Executable f => ThreadId -> IOSpec f a -> VM ()

Files

IOSpec.cabal view
@@ -1,5 +1,5 @@ Name:		        IOSpec-Version:        	0.2.1+Version:        	0.2.2 License:        	BSD3 License-file:		LICENSE Author:			Wouter Swierstra, Yusaku Hashimoto@@ -42,7 +42,7 @@ 			with the source distribution. Category:       	Testing Build-Type:		Simple-Build-Depends:  	base >= 2 && < 4, mtl, QuickCheck >= 2 && < 3, Stream+Build-Depends:  	base >= 2 && < 4.4, mtl, QuickCheck >= 2 && < 3, Stream Extensions:		MultiParamTypeClasses, OverlappingInstances Ghc-options:		-Wall Hs-source-dirs:		src
src/Test/IOSpec/Surrogate.hs view
@@ -1,4 +1,4 @@-{-# LANGUAGE EmptyDataDecls #-}+{-# LANGUAGE EmptyDataDecls, TypeOperators #-} -- | This module contains a few type signatures to help replace pure -- specifications by their effectful counterparts. module Test.IOSpec.Surrogate