marginally faster VectorClock Builder
show of a POSIXTime is 7-bit ascii, so no need to use the filesystem encoding on it
This commit is contained in:
parent
232b1a08f3
commit
1928b82867
1 changed files with 1 additions and 2 deletions
|
@ -18,7 +18,6 @@ import Prelude
|
||||||
import Utility.Env
|
import Utility.Env
|
||||||
import Utility.TimeStamp
|
import Utility.TimeStamp
|
||||||
import Utility.QuickCheck
|
import Utility.QuickCheck
|
||||||
import Utility.FileSystemEncoding
|
|
||||||
import qualified Data.Attoparsec.ByteString.Lazy as A
|
import qualified Data.Attoparsec.ByteString.Lazy as A
|
||||||
|
|
||||||
-- | Some very old logs did not have any time stamp at all;
|
-- | Some very old logs did not have any time stamp at all;
|
||||||
|
@ -46,7 +45,7 @@ formatVectorClock Unknown = "0"
|
||||||
formatVectorClock (VectorClock t) = show t
|
formatVectorClock (VectorClock t) = show t
|
||||||
|
|
||||||
buildVectorClock :: VectorClock -> Builder
|
buildVectorClock :: VectorClock -> Builder
|
||||||
buildVectorClock = byteString . encodeBS' . formatVectorClock
|
buildVectorClock = string7 . formatVectorClock
|
||||||
|
|
||||||
parseVectorClock :: String -> Maybe VectorClock
|
parseVectorClock :: String -> Maybe VectorClock
|
||||||
parseVectorClock t = VectorClock <$> parsePOSIXTime t
|
parseVectorClock t = VectorClock <$> parsePOSIXTime t
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue