distributed-static 0.3.2.0 → 0.3.3.0
raw patch · 2 files changed
+5/−5 lines, 2 filesnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Control.Distributed.Static: instance Eq (Closure a)
- Control.Distributed.Static: instance Eq (Static a)
- Control.Distributed.Static: instance Eq StaticLabel
- Control.Distributed.Static: instance NFData (Closure a)
- Control.Distributed.Static: instance NFData (Static a)
- Control.Distributed.Static: instance NFData StaticLabel
- Control.Distributed.Static: instance Ord (Closure a)
- Control.Distributed.Static: instance Ord (Static a)
- Control.Distributed.Static: instance Ord StaticLabel
- Control.Distributed.Static: instance Show (Closure a)
- Control.Distributed.Static: instance Show (Static a)
- Control.Distributed.Static: instance Show StaticLabel
- Control.Distributed.Static: instance Typeable Closure
- Control.Distributed.Static: instance Typeable Static
- Control.Distributed.Static: instance Typeable StaticLabel
- Control.Distributed.Static: instance Typeable a => Binary (Closure a)
- Control.Distributed.Static: instance Typeable a => Binary (Static a)
+ Control.Distributed.Static: instance Control.DeepSeq.NFData (Control.Distributed.Static.Closure a)
+ Control.Distributed.Static: instance Control.DeepSeq.NFData (Control.Distributed.Static.Static a)
+ Control.Distributed.Static: instance Control.DeepSeq.NFData Control.Distributed.Static.StaticLabel
+ Control.Distributed.Static: instance Data.Typeable.Internal.Typeable a => Data.Binary.Class.Binary (Control.Distributed.Static.Closure a)
+ Control.Distributed.Static: instance Data.Typeable.Internal.Typeable a => Data.Binary.Class.Binary (Control.Distributed.Static.Static a)
+ Control.Distributed.Static: instance GHC.Classes.Eq (Control.Distributed.Static.Closure a)
+ Control.Distributed.Static: instance GHC.Classes.Eq (Control.Distributed.Static.Static a)
+ Control.Distributed.Static: instance GHC.Classes.Eq Control.Distributed.Static.StaticLabel
+ Control.Distributed.Static: instance GHC.Classes.Ord (Control.Distributed.Static.Closure a)
+ Control.Distributed.Static: instance GHC.Classes.Ord (Control.Distributed.Static.Static a)
+ Control.Distributed.Static: instance GHC.Classes.Ord Control.Distributed.Static.StaticLabel
+ Control.Distributed.Static: instance GHC.Show.Show (Control.Distributed.Static.Closure a)
+ Control.Distributed.Static: instance GHC.Show.Show (Control.Distributed.Static.Static a)
+ Control.Distributed.Static: instance GHC.Show.Show Control.Distributed.Static.StaticLabel
Files
distributed-static.cabal view
@@ -1,5 +1,5 @@ Name: distributed-static-Version: 0.3.2.0+Version: 0.3.3.0 Synopsis: Compositional, type-safe, polymorphic static values and closures Description: /Towards Haskell in the Cloud/ (Epstein et al, Haskell Symposium 2011) introduces the concept of /static/ values:
src/Control/Distributed/Static.hs view
@@ -241,7 +241,7 @@ import qualified Data.Map as Map (lookup, empty, insert) import Control.Applicative ((<$>), (<*>)) import Control.Arrow as Arrow ((***), app)-import Control.DeepSeq (NFData(rnf))+import Control.DeepSeq (NFData(rnf), force) import Data.Rank1Dynamic (Dynamic, toDynamic, fromDynamic, dynApply) import Data.Rank1Typeable ( Typeable@@ -259,7 +259,7 @@ data StaticLabel = StaticLabel String- | StaticApply StaticLabel StaticLabel+ | StaticApply !StaticLabel !StaticLabel deriving (Eq, Ord, Typeable, Show) instance NFData StaticLabel where@@ -302,7 +302,7 @@ -- It is the responsibility of the client code to make sure the corresponding -- entry in the 'RemoteTable' has the appropriate type. staticLabel :: String -> Static a-staticLabel = Static . StaticLabel+staticLabel = Static . StaticLabel . force -- | Apply two static values staticApply :: Static (a -> b) -> Static a -> Static b@@ -353,7 +353,7 @@ -------------------------------------------------------------------------------- -- | A closure is a static value and an encoded environment-data Closure a = Closure (Static (ByteString -> a)) ByteString+data Closure a = Closure !(Static (ByteString -> a)) !ByteString deriving (Eq, Ord, Typeable, Show) instance Typeable a => Binary (Closure a) where