module Data.Git.Types
(
ObjectType(..)
, Tree(..)
, Commit(..)
, CommitExtra(..)
, Blob(..)
, Tag(..)
, Person(..)
, ModePerm(..)
, FilePermissions(..)
, ObjectFileType(..)
, getPermission
, getFiletype
, GitTime
, gitTime
, DeltaOfs(..)
, DeltaRef(..)
, TreeEnt
) where
import Data.Word
import Data.Bits
import Data.Monoid
import Data.ByteString (ByteString)
import qualified Data.ByteString.Lazy as L
import Data.Git.Ref
import Data.Git.Delta
import Data.Hourglass (Elapsed, LocalTime(..), TimezoneOffset(..))
import Data.Data
data ObjectType =
TypeTree
| TypeBlob
| TypeCommit
| TypeTag
| TypeDeltaOff
| TypeDeltaRef
deriving (Show,Eq,Data,Typeable)
type GitTime = LocalTime Elapsed
gitTime :: Integer -> Int -> GitTime
gitTime seconds tzMins =
LocalTime (fromIntegral seconds) (TimezoneOffset tzMins)
instance Enum ObjectType where
fromEnum TypeCommit = 0x1
fromEnum TypeTree = 0x2
fromEnum TypeBlob = 0x3
fromEnum TypeTag = 0x4
fromEnum TypeDeltaOff = 0x6
fromEnum TypeDeltaRef = 0x7
toEnum 0x1 = TypeCommit
toEnum 0x2 = TypeTree
toEnum 0x3 = TypeBlob
toEnum 0x4 = TypeTag
toEnum 0x6 = TypeDeltaOff
toEnum 0x7 = TypeDeltaRef
toEnum n = error ("not a valid object: " ++ show n)
newtype ModePerm = ModePerm Word32
deriving (Show,Eq)
getPermission :: ModePerm -> FilePermissions
getPermission (ModePerm modeperm) =
let owner = (modeperm .&. 0x700) `shiftR` 6
group = (modeperm .&. 0x70) `shiftR` 3
other = modeperm .&. 0x7
in FilePermissions (fromIntegral owner) (fromIntegral group) (fromIntegral other)
getFiletype :: ModePerm -> ObjectFileType
getFiletype (ModePerm modeperm) =
case modeperm `shiftR` 12 of
_ -> error "filetype unknown"
data ObjectFileType =
FileTypeDirectory
| FileTypeRegularFile
| FileTypeSymbolicLink
| FileTypeGitLink
deriving (Show,Eq)
data FilePermissions = FilePermissions
{ getOwnerPerm :: !Perm
, getGroupPerm :: !Perm
, getOtherPerm :: !Perm
} deriving (Show,Eq)
type Perm = Word8
type TreeEnt = (ModePerm,ByteString,Ref)
data Person = Person
{ personName :: ByteString
, personEmail :: ByteString
, personTime :: GitTime
} deriving (Show,Eq)
data Tree = Tree { treeGetEnts :: [TreeEnt] } deriving (Show,Eq)
instance Monoid Tree where
mempty = Tree []
mappend (Tree e1) (Tree e2) = Tree (e1 ++ e2)
mconcat trees = Tree $ concatMap treeGetEnts trees
data Blob = Blob { blobGetContent :: L.ByteString } deriving (Show,Eq)
data Commit = Commit
{ commitTreeish :: Ref
, commitParents :: [Ref]
, commitAuthor :: Person
, commitCommitter :: Person
, commitEncoding :: Maybe ByteString
, commitExtras :: [CommitExtra]
, commitMessage :: ByteString
} deriving (Show,Eq)
data CommitExtra = CommitExtra
{ commitExtraKey :: ByteString
, commitExtraValue :: ByteString
} deriving (Show,Eq)
data Tag = Tag
{ tagRef :: Ref
, tagObjectType :: ObjectType
, tagBlob :: ByteString
, tagName :: Person
, tagS :: ByteString
} deriving (Show,Eq)
data DeltaOfs = DeltaOfs Word64 Delta
deriving (Show,Eq)
data DeltaRef = DeltaRef Ref Delta
deriving (Show,Eq)