2011-12-14 19:30:14 +00:00
|
|
|
{- git SHA stuff
|
|
|
|
-
|
2015-01-21 16:50:09 +00:00
|
|
|
- Copyright 2011 Joey Hess <id@joeyh.name>
|
2011-12-14 19:30:14 +00:00
|
|
|
-
|
2019-03-13 19:48:14 +00:00
|
|
|
- Licensed under the GNU AGPL version 3 or higher.
|
2011-12-14 19:30:14 +00:00
|
|
|
-}
|
|
|
|
|
|
|
|
module Git.Sha where
|
|
|
|
|
|
|
|
import Common
|
|
|
|
import Git.Types
|
|
|
|
|
2011-12-15 19:57:47 +00:00
|
|
|
{- Runs an action that causes a git subcommand to emit a Sha, and strips
|
2012-12-13 04:45:27 +00:00
|
|
|
- any trailing newline, returning the sha. -}
|
2011-12-14 19:30:14 +00:00
|
|
|
getSha :: String -> IO String -> IO Sha
|
2011-12-15 19:57:47 +00:00
|
|
|
getSha subcommand a = maybe bad return =<< extractSha <$> a
|
2012-12-13 04:24:19 +00:00
|
|
|
where
|
|
|
|
bad = error $ "failed to read sha from git " ++ subcommand
|
2011-12-15 19:57:47 +00:00
|
|
|
|
|
|
|
{- Extracts the Sha from a string. There can be a trailing newline after
|
|
|
|
- it, but nothing else. -}
|
|
|
|
extractSha :: String -> Maybe Sha
|
|
|
|
extractSha s
|
|
|
|
| len == shaSize = val s
|
|
|
|
| len == shaSize + 1 && length s' == shaSize = val s'
|
|
|
|
| otherwise = Nothing
|
2012-12-13 04:24:19 +00:00
|
|
|
where
|
|
|
|
len = length s
|
|
|
|
s' = firstLine s
|
|
|
|
val v
|
|
|
|
| all (`elem` "1234567890ABCDEFabcdef") v = Just $ Ref v
|
|
|
|
| otherwise = Nothing
|
2011-12-14 19:30:14 +00:00
|
|
|
|
|
|
|
{- Size of a git sha. -}
|
|
|
|
shaSize :: Int
|
|
|
|
shaSize = 40
|
2012-01-06 21:24:03 +00:00
|
|
|
|
|
|
|
nullSha :: Ref
|
|
|
|
nullSha = Ref $ replicate shaSize '0'
|
2014-02-16 21:39:54 +00:00
|
|
|
|
|
|
|
{- Git's magic empty tree. -}
|
|
|
|
emptyTree :: Ref
|
|
|
|
emptyTree = Ref "4b825dc642cb6eb9a060e54bf8d69288fbee4904"
|