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 +4/−0
- distributed-static.cabal +1/−1
- src/Control/Distributed/Static.hs +3/−3
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