chalmers-lava2000 1.0.1 → 1.0.2

raw patch · 2 files changed

+16/−17 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Lava2000/Ref.hs +14/−14
• chalmers-lava2000.cabal +2/−3

@@ -1,20 +1,20 @@ module Lava2000.Ref-  ( Ref       -- * -> * ; Eq, Show-  , ref       -- :: a     -> Ref a-  , deref     -- :: Ref a -> a-  , memoRef   -- :: (Ref a -> b) -> (Ref a -> b)+  ( Ref+  , ref+  , deref+  , memoRef -  , TableIO   -- :: * -> * -> * ; Eq-  , tableIO   -- :: IO (TableIO a b)-  , extendIO  -- :: TableIO a b -> Ref a -> b -> IO ()-  , findIO    -- :: TableIO a b -> Ref a -> IO (Maybe b)-  , memoRefIO -- :: (Ref a -> IO b) -> (Ref a -> IO b)+  , TableIO+  , tableIO+  , extendIO+  , findIO+  , memoRefIO -  , TableST   -- :: * -> * -> * -> * ; Eq-  , tableST   -- :: ST (TableST s a b)-  , extendST  -- :: TableST s a b -> Ref a -> b -> ST s ()-  , findST    -- :: TableST s a b -> Ref a -> ST s (Maybe b)-  , memoRefST -- :: (Ref a -> ST s b) -> (Ref a -> ST s b)+  , TableST+  , tableST+  , extendST+  , findST+  , memoRefST   )  where 

@@ -1,9 +1,9 @@ name:                chalmers-lava2000-version:             1.0.1+version:             1.0.2 homepage:            http://www.cs.chalmers.se/~koen/Lava/ synopsis:            Hardware description library description:         Hardware description library-category:            Hardware+category:            Language, Hardware license:             BSD3 license-file:        LICENSE copyright:           (c) 2008. Koen Claessen <koen@chalmers.se>@@ -11,7 +11,6 @@ maintainer:          Emil Axelsson <emax@chalmers.se> cabal-version:       >= 1.2 build-type:          Simple-tested-with:         GHC ==6.8.3 data-files:          README, INSTALL, Doc/tutorial.ps extra-source-files:  Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper