40ecf58d4b
This does not change the overall license of the git-annex program, which was already AGPL due to a number of sources files being AGPL already. Legally speaking, I'm adding a new license under which these files are now available; I already released their current contents under the GPL license. Now they're dual licensed GPL and AGPL. However, I intend for all my future changes to these files to only be released under the AGPL license, and I won't be tracking the dual licensing status, so I'm simply changing the license statement to say it's AGPL. (In some cases, others wrote parts of the code of a file and released it under the GPL; but in all cases I have contributed a significant portion of the code in each file and it's that code that is getting the AGPL license; the GPL license of other contributors allows combining with AGPL code.)
54 lines
1.5 KiB
Haskell
54 lines
1.5 KiB
Haskell
{- git-annex vector clocks
|
|
-
|
|
- We don't have a way yet to keep true distributed vector clocks.
|
|
- The next best thing is a timestamp.
|
|
-
|
|
- Copyright 2017-2019 Joey Hess <id@joeyh.name>
|
|
-
|
|
- Licensed under the GNU AGPL version 3 or higher.
|
|
-}
|
|
|
|
module Annex.VectorClock where
|
|
|
|
import Data.Time.Clock.POSIX
|
|
import Data.ByteString.Builder
|
|
import Control.Applicative
|
|
import Prelude
|
|
|
|
import Utility.Env
|
|
import Utility.TimeStamp
|
|
import Utility.QuickCheck
|
|
import qualified Data.Attoparsec.ByteString.Lazy as A
|
|
|
|
-- | Some very old logs did not have any time stamp at all;
|
|
-- Unknown is used for those.
|
|
data VectorClock = Unknown | VectorClock POSIXTime
|
|
deriving (Eq, Ord, Show)
|
|
|
|
-- Unknown is oldest.
|
|
prop_VectorClock_sane :: Bool
|
|
prop_VectorClock_sane = Unknown < VectorClock 1
|
|
|
|
instance Arbitrary VectorClock where
|
|
arbitrary = VectorClock <$> arbitrary
|
|
|
|
currentVectorClock :: IO VectorClock
|
|
currentVectorClock = go =<< getEnv "GIT_ANNEX_VECTOR_CLOCK"
|
|
where
|
|
go Nothing = VectorClock <$> getPOSIXTime
|
|
go (Just s) = case parsePOSIXTime s of
|
|
Just t -> return (VectorClock t)
|
|
Nothing -> VectorClock <$> getPOSIXTime
|
|
|
|
formatVectorClock :: VectorClock -> String
|
|
formatVectorClock Unknown = "0"
|
|
formatVectorClock (VectorClock t) = show t
|
|
|
|
buildVectorClock :: VectorClock -> Builder
|
|
buildVectorClock = string7 . formatVectorClock
|
|
|
|
parseVectorClock :: String -> Maybe VectorClock
|
|
parseVectorClock t = VectorClock <$> parsePOSIXTime t
|
|
|
|
vectorClockParser :: A.Parser VectorClock
|
|
vectorClockParser = VectorClock <$> parserPOSIXTime
|