mediabus 0.3.0.0 → 0.3.0.1

raw patch · 3 files changed

+16/−15 lines, 3 filesdep ~mediabusPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: mediabus

API changes (from Hackage documentation)

Files

• mediabus.cabal +2/−2
• src/Data/MediaBus/Basics/Monotone.hs +7/−6
• src/Data/MediaBus/Basics/OrderedBy.hs +7/−7

@@ -1,5 +1,5 @@ name: mediabus-version: 0.3.0.0+version: 0.3.0.1 cabal-version: >=1.10 build-type: Simple license: BSD3@@ -112,7 +112,7 @@         conduit >=1.2.9 && <1.3,         conduit-combinators >=1.1.0 && <1.2,         conduit-extra >=1.1.15 && <1.2,-        mediabus >=0.3.0.0 && <0.4,+        mediabus >=0.3.0.1 && <0.4,         containers >=0.5.7.1 && <0.6,         data-default >=0.7.1.1 && <0.8,         deepseq >=1.4.2.0 && <1.5,

@@ -5,13 +5,14 @@ import           Data.Word import           Data.Int --- | Class of numbers that are monotone increasing (or decreasing) and have a--- relative order, that is not necessarily transitive.+-- | Class of numbers that are monotone increasing having only a relative order,+-- that is not necessarily transitive. ----- For example, for a series of 'Word8' values: @0 64 128 192 0 64 128 ...@--- could be interpreted as a monotone series of consecutive increasing values,--- that wrap around after 255. But note that the 'Ord' instance is not--- sufficient to express that @0@ is __after__ @192@, since @0 < 192@.+-- For example, a series of 'Word8' values: @0 64 128 192 0 64 128 ...@ could be+-- interpreted as a monotone series of consecutive increasing values, that wrap+-- around after 255. But note that the 'Ord' instance is not sufficient to+-- express that @0@ `succeeds` @192@, since 'Ord' ensures complete transitivity+-- and therefore @0 < 192@. class LocalOrd a where     succeeds :: a -> a -> Bool     default succeeds :: (Bounded a, Integral a) => a -> a -> Bool

@@ -1,13 +1,13 @@--- | Value level 'Ord'er. Sometimes values are stored in e.g. 'Data.Set.Set's--- and the default 'Ord' instance isn't what we want. In that case it would be--- great to pass the comparison as an explicit function.+-- | Value level 'Ord'er. Sometimes values stored in e.g. 'Data.Set.Set's have+-- an 'Ord' instance, which does not represent the desired order. In that case+-- use this product type to pass a value along with the value to be for+-- comparison by the 'Eq' and 'Ord' instances. module Data.MediaBus.Basics.OrderedBy ( OrderedBy(..) ) where --- | A wrapper around a value (to be compared) and a function to the value that--- shall be compared against.+-- | A wrapper around a /payload/ value paired with a value to be used when /comparing/ that payload value. data OrderedBy cmp a = MkOrderedBy-  { orderedByComparableValue :: cmp-  , orderedByValue :: a+  { orderedByComparableValue :: cmp -- ^ Value to compare+  , orderedByValue :: a -- ^ actual value   }  instance Eq cmp => Eq (OrderedBy cmp a) where