packages feed

distributed-static 0.3.0.0 → 0.3.1.0

raw patch · 3 files changed

+8/−4 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Distributed.Static: instance Typeable1 Closure
- Control.Distributed.Static: instance Typeable1 Static
+ Control.Distributed.Static: instance Eq (Closure a)
+ Control.Distributed.Static: instance Eq (Static a)
+ Control.Distributed.Static: instance Eq 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 Typeable Closure
+ Control.Distributed.Static: instance Typeable Static

Files

ChangeLog view
@@ -1,3 +1,7 @@+2014-12-09  Tim Watson  <watson.timothy@gmail.com>  0.3.1.0++* Eq and Ord instances for Closure and Static+ 2014-05-30  Tim Watson  <watson.timothy@gmail.com>  0.3.0.0  * Bump binary dependency
distributed-static.cabal view
@@ -1,5 +1,5 @@ Name:                distributed-static-Version:             0.3.0.0+Version:             0.3.1.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
@@ -255,11 +255,11 @@ data StaticLabel =     StaticLabel String   | StaticApply StaticLabel StaticLabel-  deriving (Typeable, Show)+  deriving (Eq, Ord, Typeable, Show)  -- | A static value. Static is opaque; see 'staticLabel' and 'staticApply'. newtype Static a = Static StaticLabel-  deriving (Typeable, Show)+  deriving (Eq, Ord, Typeable, Show)  instance Typeable a => Binary (Static a) where   put (Static label) = putStaticLabel label >> put (typeOf (undefined :: a))@@ -342,7 +342,7 @@  -- | A closure is a static value and an encoded environment data Closure a = Closure (Static (ByteString -> a)) ByteString-  deriving (Typeable, Show)+  deriving (Eq, Ord, Typeable, Show)  instance Typeable a => Binary (Closure a) where   put (Closure static env) = put static >> put env