-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Git operations in haskell
--   
@package hit
@version 0.6.2


module Data.Git.Delta

-- | a delta is a source size, a destination size and a list of delta cmd
data Delta
Delta :: Word64 -> Word64 -> [DeltaCmd] -> Delta

-- | possible commands in a delta
data DeltaCmd
DeltaCopy :: ByteString -> DeltaCmd
DeltaSrc :: Word64 -> Word64 -> DeltaCmd

-- | parse a delta. format is 2 variable sizes, followed by delta cmds. for
--   each cmd: * if first byte MSB is set, we copy from source. *
--   otherwise, we copy from delta. * extensions are not handled.
deltaParse :: Parser ByteString Delta

-- | read one delta from a lazy bytestring.
deltaRead :: ByteString -> Maybe Delta

-- | apply a delta on a lazy bytestring, returning a new bytestring.
deltaApply :: ByteString -> Delta -> ByteString
instance Show DeltaCmd
instance Eq DeltaCmd
instance Show Delta
instance Eq Delta


module Data.Git.Revision

-- | A git revision. this can be many things: * a shorten ref * a ref * a
--   named branch or tag followed by optional modifiers <a>RevModifier</a>
--   that can represent: * parenting * type * date
data Revision
Revision :: String -> [RevModifier] -> Revision

-- | A modifier to a revision, which is a function apply of a revision
data RevModifier

-- | parent accessor ^<a>n</a> and ^
RevModParent :: Int -> RevModifier

-- | parent accessor ~<a>n</a>
RevModParentFirstN :: Int -> RevModifier

-- | @{type} accessor
RevModAtType :: String -> RevModifier

-- | @{date} accessor
RevModAtDate :: String -> RevModifier

-- | @{n} accessor
RevModAtN :: Int -> RevModifier

-- | Exception when a revision cannot be resolved to a reference
data RevisionNotFound
RevisionNotFound :: Revision -> RevisionNotFound
fromString :: IsString a => String -> a
instance Typeable RevModifier
instance Typeable Revision
instance Typeable RevisionNotFound
instance Eq RevModifier
instance Data RevModifier
instance Eq Revision
instance Data Revision
instance Show RevisionNotFound
instance Eq RevisionNotFound
instance Data RevisionNotFound
instance IsString Revision
instance Show Revision
instance Show RevModifier


module Data.Git.Ref

-- | represent a git reference (SHA1)
data Ref

-- | Invalid Reference exception raised when using something that is not a
--   ref as a ref.
data RefInvalid
RefInvalid :: ByteString -> RefInvalid

-- | Reference wasn't found
data RefNotFound
RefNotFound :: Ref -> RefNotFound
isHex :: ByteString -> Bool
isHexString :: [Char] -> Bool

-- | take a hexadecimal bytestring that represent a reference and turn into
--   a ref
fromHex :: ByteString -> Ref

-- | take a hexadecimal string that represent a reference and turn into a
--   ref
fromHexString :: String -> Ref

-- | transform a bytestring that represent a binary bytestring and returns
--   a ref.
fromBinary :: ByteString -> Ref

-- | turn a reference into a binary bytestring
toBinary :: Ref -> ByteString

-- | transform a ref into an hexadecimal bytestring
toHex :: Ref -> ByteString

-- | transform a ref into an hexadecimal string
toHexString :: Ref -> String

-- | returns the prefix (leading byte) of this reference
refPrefix :: Ref -> Int

-- | compare prefix
cmpPrefix :: String -> Ref -> Ordering

-- | returns the splitted format "prefix/suffix" for addressing the loose
--   object database
toFilePathParts :: Ref -> (String, String)

-- | hash a bytestring into a reference
hash :: ByteString -> Ref

-- | hash a lazy bytestring into a reference
hashLBS :: ByteString -> Ref
instance Typeable Ref
instance Typeable RefInvalid
instance Typeable RefNotFound
instance Eq Ref
instance Ord Ref
instance Data Ref
instance Show RefInvalid
instance Eq RefInvalid
instance Data RefInvalid
instance Show RefNotFound
instance Eq RefNotFound
instance Data RefNotFound
instance Exception RefNotFound
instance Exception RefInvalid
instance Show Ref


module Data.Git.Types

-- | type of a git object.
data ObjectType
TypeTree :: ObjectType
TypeBlob :: ObjectType
TypeCommit :: ObjectType
TypeTag :: ObjectType
TypeDeltaOff :: ObjectType
TypeDeltaRef :: ObjectType

-- | Represent a root tree with zero to many tree entries.
data Tree
Tree :: [TreeEnt] -> Tree
treeGetEnts :: Tree -> [TreeEnt]

-- | Represent a commit object.
data Commit
Commit :: Ref -> [Ref] -> Person -> Person -> Maybe ByteString -> [CommitExtra] -> ByteString -> Commit
commitTreeish :: Commit -> Ref
commitParents :: Commit -> [Ref]
commitAuthor :: Commit -> Person
commitCommitter :: Commit -> Person
commitEncoding :: Commit -> Maybe ByteString
commitExtras :: Commit -> [CommitExtra]
commitMessage :: Commit -> ByteString
data CommitExtra
CommitExtra :: ByteString -> ByteString -> CommitExtra
commitExtraKey :: CommitExtra -> ByteString
commitExtraValue :: CommitExtra -> ByteString

-- | Represent a binary blob.
data Blob
Blob :: ByteString -> Blob
blobGetContent :: Blob -> ByteString

-- | Represent a signed tag.
data Tag
Tag :: Ref -> ObjectType -> ByteString -> Person -> ByteString -> Tag
tagRef :: Tag -> Ref
tagObjectType :: Tag -> ObjectType
tagBlob :: Tag -> ByteString
tagName :: Tag -> Person
tagS :: Tag -> ByteString

-- | an author or committer line has the format: name <a>email</a> time
--   timezone FIXME: should be a string, but I don't know if the data is
--   stored consistantly in one encoding (UTF8)
data Person
Person :: ByteString -> ByteString -> GitTime -> Person
personName :: Person -> ByteString
personEmail :: Person -> ByteString
personTime :: Person -> GitTime
newtype ModePerm
ModePerm :: Word32 -> ModePerm

-- | traditional unix permission for owner, group and permissions
data FilePermissions
FilePermissions :: {-# UNPACK #-} !Perm -> {-# UNPACK #-} !Perm -> {-# UNPACK #-} !Perm -> FilePermissions
getOwnerPerm :: FilePermissions -> {-# UNPACK #-} !Perm
getGroupPerm :: FilePermissions -> {-# UNPACK #-} !Perm
getOtherPerm :: FilePermissions -> {-# UNPACK #-} !Perm

-- | Git object file type
data ObjectFileType
FileTypeDirectory :: ObjectFileType
FileTypeRegularFile :: ObjectFileType
FileTypeSymbolicLink :: ObjectFileType
FileTypeGitLink :: ObjectFileType
getPermission :: ModePerm -> FilePermissions
getFiletype :: ModePerm -> ObjectFileType

-- | Git time is number of seconds since unix epoch in the UTC zone with
--   the current timezone associated
data GitTime
GitTime :: Elapsed -> TimezoneOffset -> GitTime
gitTimeUTC :: GitTime -> Elapsed
gitTimeTimezone :: GitTime -> TimezoneOffset
gitTime :: Integer -> Int -> GitTime
gitTimeToLocal :: GitTime -> LocalTime Elapsed

-- | Delta pointing to an offset.
data DeltaOfs
DeltaOfs :: Word64 -> Delta -> DeltaOfs

-- | Delta pointing to a ref.
data DeltaRef
DeltaRef :: Ref -> Delta -> DeltaRef

-- | represent one entry in the tree (permission,file or directory
--   name,blob or tree ref) name should maybe a filepath, but not sure
--   about the encoding.
type TreeEnt = (ModePerm, ByteString, Ref)
instance Typeable ObjectType
instance Show ObjectType
instance Eq ObjectType
instance Data ObjectType
instance Eq GitTime
instance Show ModePerm
instance Eq ModePerm
instance Show ObjectFileType
instance Eq ObjectFileType
instance Show FilePermissions
instance Eq FilePermissions
instance Show Person
instance Eq Person
instance Show Tree
instance Eq Tree
instance Show Blob
instance Eq Blob
instance Show CommitExtra
instance Eq CommitExtra
instance Show Commit
instance Eq Commit
instance Show Tag
instance Eq Tag
instance Show DeltaOfs
instance Eq DeltaOfs
instance Show DeltaRef
instance Eq DeltaRef
instance Monoid Tree
instance Enum ObjectType
instance Show GitTime
instance Time GitTime
instance Timeable GitTime


module Data.Git.Storage.Object

-- | location of an object in the database
data ObjectLocation
NotFound :: ObjectLocation
Loose :: Ref -> ObjectLocation
Packed :: Ref -> Word64 -> ObjectLocation

-- | type of a git object.
data ObjectType
TypeTree :: ObjectType
TypeBlob :: ObjectType
TypeCommit :: ObjectType
TypeTag :: ObjectType
TypeDeltaOff :: ObjectType
TypeDeltaRef :: ObjectType
type ObjectHeader = (ObjectType, Word64, Maybe ObjectPtr)
type ObjectData = ByteString

-- | Delta objects points to some others objects in the database either as
--   offset in the pack or as a direct reference.
data ObjectPtr
PtrRef :: Ref -> ObjectPtr
PtrOfs :: Word64 -> ObjectPtr

-- | describe a git object, that could of 6 differents types: tree, blob,
--   commit, tag and deltas (offset or ref). the deltas one are only
--   available in packs.
data Object
ObjCommit :: Commit -> Object
ObjTag :: Tag -> Object
ObjBlob :: Blob -> Object
ObjTree :: Tree -> Object
ObjDeltaOfs :: DeltaOfs -> Object
ObjDeltaRef :: DeltaRef -> Object

-- | Raw objects infos have an header (type, size, ptr), the data and a
--   pointers chains to parents for resolved objects.
data ObjectInfo
ObjectInfo :: ObjectHeader -> ObjectData -> [ObjectPtr] -> ObjectInfo
oiHeader :: ObjectInfo -> ObjectHeader
oiData :: ObjectInfo -> ObjectData
oiChains :: ObjectInfo -> [ObjectPtr]
class Objectable a
getType :: Objectable a => a -> ObjectType
getRaw :: Objectable a => a -> ByteString
isDelta :: Objectable a => a -> Bool
toObject :: Objectable a => a -> Object
objectToType :: Object -> ObjectType
objectTypeMarshall :: ObjectType -> String
objectTypeUnmarshall :: String -> ObjectType
objectTypeIsDelta :: ObjectType -> Bool
objectIsDelta :: Object -> Bool
objectToTree :: Object -> Maybe Tree
objectToCommit :: Object -> Maybe Commit
objectToTag :: Object -> Maybe Tag
objectToBlob :: Object -> Maybe Blob

-- | parse a tree content
treeParse :: Parser ByteString Tree

-- | parse a commit content
commitParse :: Parser ByteString Commit

-- | parse a tag content
tagParse :: Parser ByteString Tag

-- | parse a blob content
blobParse :: Parser ByteString Blob
objectParseTree :: Parser ByteString Object
objectParseCommit :: Parser ByteString Object
objectParseTag :: Parser ByteString Object
objectParseBlob :: Parser ByteString Object
objectWriteHeader :: ObjectType -> Word64 -> ByteString
objectWrite :: Object -> ByteString
objectHash :: ObjectType -> Word64 -> ByteString -> Ref
instance Show ObjectLocation
instance Eq ObjectLocation
instance Show ObjectPtr
instance Eq ObjectPtr
instance Show ObjectInfo
instance Eq ObjectInfo
instance Show Object
instance Eq Object
instance Objectable DeltaRef
instance Objectable DeltaOfs
instance Objectable Tree
instance Objectable Tag
instance Objectable Commit
instance Objectable Blob


-- | Manipulation of named references * reading packed-refs file * reading
--   single heads<i>tags</i>remote file
module Data.Git.Named

-- | Represent a named specifier.
data RefSpecTy
RefHead :: RefSpecTy
RefOrigHead :: RefSpecTy
RefFetchHead :: RefSpecTy
RefBranch :: RefName -> RefSpecTy
RefTag :: RefName -> RefSpecTy
RefRemote :: RefName -> RefSpecTy
RefPatches :: String -> RefSpecTy
RefStash :: RefSpecTy
RefOther :: String -> RefSpecTy

-- | content of a ref file.
data RefContentTy
RefDirect :: Ref -> RefContentTy
RefLink :: RefSpecTy -> RefContentTy
RefContentUnknown :: ByteString -> RefContentTy
newtype RefName
RefName :: String -> RefName
refNameRaw :: RefName -> String
readPackedRefs :: FilePath -> ([(RefName, Ref)] -> a) -> IO (PackedRefs a)
data PackedRefs a
PackedRefs :: a -> a -> a -> PackedRefs a
packedRemotes :: PackedRefs a -> a
packedBranchs :: PackedRefs a -> a
packedTags :: PackedRefs a -> a
existsRefFile :: FilePath -> RefSpecTy -> IO Bool
writeRefFile :: FilePath -> RefSpecTy -> RefContentTy -> IO ()
readRefFile :: FilePath -> RefSpecTy -> IO RefContentTy
looseHeadsList :: FilePath -> IO [RefName]
looseTagsList :: FilePath -> IO [RefName]
looseRemotesList :: FilePath -> IO [RefName]
instance Show RefName
instance Eq RefName
instance Ord RefName
instance Show RefSpecTy
instance Eq RefSpecTy
instance Ord RefSpecTy
instance Show RefContentTy
instance Eq RefContentTy
instance IsString RefName


module Data.Git.Storage.PackIndex

-- | represent an packIndex header with the version and the fanout table
data PackIndexHeader
PackIndexHeader :: !Word32 -> !(Vector Word32) -> PackIndexHeader
data PackIndex
PackIndex :: Vector Ref -> Vector Word32 -> Vector Word32 -> Ref -> Ref -> PackIndex
packIndexSha1s :: PackIndex -> Vector Ref
packIndexCRCs :: PackIndex -> Vector Word32
packIndexPackoffs :: PackIndex -> Vector Word32
packIndexPackChecksum :: PackIndex -> Ref
packIndexChecksum :: PackIndex -> Ref

-- | open an index
packIndexOpen :: FilePath -> Ref -> IO FileReader

-- | close an index
packIndexClose :: FileReader -> IO ()

-- | variant of withFile on the index file and with a FileReader
withPackIndex :: FilePath -> Ref -> (FileReader -> IO a) -> IO a

-- | enumerate every indexes file in the pack directory
packIndexEnumerate :: FilePath -> IO [Ref]

-- | get the number of reference in this index with a specific prefix
packIndexHeaderGetNbWithPrefix :: PackIndexHeader -> Int -> Word32

-- | return the reference offset in the packfile if found
packIndexGetReferenceLocation :: PackIndexHeader -> FileReader -> Ref -> IO (Maybe Word64)

-- | get all references that start by prefix.
packIndexGetReferencesWithPrefix :: PackIndexHeader -> FileReader -> String -> IO [Ref]

-- | read index header from an index filereader
packIndexReadHeader :: FileReader -> IO PackIndexHeader

-- | read all index
packIndexRead :: FilePath -> Ref -> IO (PackIndexHeader, (Vector Ref, Vector Word32, Vector Word32, [ByteString], Ref, Ref))

-- | get index header from an index reference
packIndexGetHeader :: FilePath -> Ref -> IO PackIndexHeader
instance Show PackIndexHeader
instance Eq PackIndexHeader


module Data.Git.Storage.Pack
data PackedObjectInfo
PackedObjectInfo :: ObjectType -> Word64 -> Word64 -> Word64 -> Maybe ObjectPtr -> PackedObjectInfo
poiType :: PackedObjectInfo -> ObjectType
poiOffset :: PackedObjectInfo -> Word64
poiSize :: PackedObjectInfo -> Word64
poiActualSize :: PackedObjectInfo -> Word64
poiExtra :: PackedObjectInfo -> Maybe ObjectPtr
type PackedObjectRaw = (PackedObjectInfo, ByteString)

-- | Enumerate the pack refs available in this repository.
packEnumerate :: FilePath -> IO [Ref]

-- | open a pack
packOpen :: FilePath -> Ref -> IO FileReader

-- | close a pack
packClose :: FileReader -> IO ()

-- | return the number of entries in this pack
packReadHeader :: FilePath -> Ref -> IO Word32

-- | read an object at a specific position using a map function on the
--   objectData
packReadMapAtOffset :: FileReader -> Word64 -> (ByteString -> ByteString) -> IO (Maybe Object)

-- | read an object at a specific position
packReadAtOffset :: FileReader -> Word64 -> IO (Maybe Object)

-- | read a raw representation at a specific position
packReadRawAtOffset :: FileReader -> Word64 -> IO (PackedObjectRaw)

-- | enumerate all objects in this pack and callback to f for reach raw
--   objects
packEnumerateObjects :: FilePath -> Ref -> Int -> (PackedObjectRaw -> IO a) -> IO ()
packedObjectToObject :: (PackedObjectInfo, ByteString) -> Maybe Object
packObjectFromRaw :: (ObjectType, Maybe ObjectPtr, ByteString) -> Maybe Object
instance Show PackedObjectInfo
instance Eq PackedObjectInfo


module Data.Git.Storage.Loose
newtype Zipped
Zipped :: ByteString -> Zipped
getZippedData :: Zipped -> ByteString

-- | unmarshall an object (with header) from a bytestring.
looseUnmarshall :: ByteString -> Object

-- | unmarshall an object as (header, data) tuple from a bytestring
looseUnmarshallRaw :: ByteString -> (ObjectHeader, ObjectData)

-- | unmarshall an object (with header) from a zipped stream.
looseUnmarshallZipped :: Zipped -> Object

-- | unmarshall an object as (header, data) tuple from a zipped stream
looseUnmarshallZippedRaw :: Zipped -> (ObjectHeader, ObjectData)

-- | marshall as lazy bytestring an object except deltas.
looseMarshall :: Object -> ByteString

-- | read a specific ref from a loose object and returns an object
looseRead :: FilePath -> Ref -> IO Object

-- | read only the header of a loose object.
looseReadHeader :: FilePath -> Ref -> IO (ObjectType, Word64, Maybe a)

-- | read a specific ref from a loose object and returns an header and
--   data.
looseReadRaw :: FilePath -> Ref -> IO (ObjectHeader, ObjectData)

-- | check if a specific ref exists as loose object
looseExists :: FilePath -> Ref -> IO Bool

-- | create a new blob on a temporary location and on success move it to
--   the object store with its digest name.
looseWriteBlobFromFile :: FilePath -> FilePath -> IO Ref

-- | write an object to disk as a loose reference. use
--   looseWriteBlobFromFile for efficiently writing blobs when being
--   commited from a file.
looseWrite :: FilePath -> Object -> IO Ref

-- | enumarate all prefixes available in the object store.
looseEnumeratePrefixes :: FilePath -> IO [[Char]]

-- | enumerate all references available with a specific prefix.
looseEnumerateWithPrefixFilter :: FilePath -> String -> (Ref -> Bool) -> IO [Ref]
looseEnumerateWithPrefix :: FilePath -> String -> IO [Ref]


module Data.Git.Storage

-- | represent a git repo, with possibly already opened filereaders for
--   indexes and packs
data Git
packedNamed :: Git -> CachedPackedRef
gitRepoPath :: Git -> FilePath

-- | open a new git repository context
openRepo :: FilePath -> IO Git

-- | close a git repository context, closing all remaining fileReaders.
closeRepo :: Git -> IO ()

-- | execute a function f with a git context.
withRepo :: FilePath -> (Git -> IO c) -> IO c

-- | execute a function on the current repository.
--   
--   check findRepo to see how the git repository is found.
withCurrentRepo :: (Git -> IO a) -> IO a

-- | Find the git repository from the current directory.
--   
--   If the environment variable GIT_DIR is set then it's used, otherwise
--   iterate from current directory, up to 128 parents for a .git directory
findRepoMaybe :: IO (Maybe FilePath)

-- | Find the git repository from the current directory.
--   
--   If the environment variable GIT_DIR is set then it's used, otherwise
--   iterate from current directory, up to 128 parents for a .git directory
findRepo :: IO FilePath

-- | basic checks to see if a specific path looks like a git repo.
isRepo :: FilePath -> IO Bool

-- | initialize a new repository at a specific location.
initRepo :: FilePath -> IO ()

-- | read the repository's description
getDescription :: Git -> IO (Maybe String)

-- | set the repository's description
setDescription :: Git -> String -> IO ()
iterateIndexes :: Git -> (b -> (Ref, PackIndexReader) -> IO (b, Bool)) -> b -> IO b

-- | Get the object location of a specific reference
findReference :: Git -> Ref -> IO ObjectLocation

-- | get all the references that start by a specific prefix
findReferencesWithPrefix :: Git -> String -> IO [Ref]

-- | get an object from repository
getObjectRaw :: Git -> Ref -> Bool -> IO (Maybe ObjectInfo)

-- | get an object from repository
getObjectRawAt :: Git -> ObjectLocation -> Bool -> IO (Maybe ObjectInfo)

-- | get an object from repository using a ref.
getObject :: Git -> Ref -> Bool -> IO (Maybe Object)

-- | Just like <a>getObject</a> but will raise a RefNotFound exception if
--   the reference cannot be found.
getObject_ :: Git -> Ref -> Bool -> IO Object

-- | get an object from repository using a location to reference it.
getObjectAt :: Git -> ObjectLocation -> Bool -> IO (Maybe Object)

-- | get an object type from repository
getObjectType :: Git -> Ref -> IO (Maybe ObjectType)

-- | set an object in the store and returns the new ref this is always
--   going to create a loose object.
setObject :: Git -> Object -> IO Ref


module Data.Git.Repository

-- | represent a git repo, with possibly already opened filereaders for
--   indexes and packs
data Git

-- | Read the Config
configRead :: Git -> IO Config
newtype Config
Config :: [Section] -> Config
data Section
Section :: String -> [(String, String)] -> Section
sectionName :: Section -> String
sectionKVs :: Section -> [(String, String)]
type HTree = [(ModePerm, ByteString, HTreeEnt)]

-- | hierarchy tree, either a reference to a blob (file) or a tree
--   (directory).
data HTreeEnt
TreeDir :: Ref -> HTree -> HTreeEnt
TreeFile :: Ref -> HTreeEnt
newtype RefName
RefName :: String -> RefName
refNameRaw :: RefName -> String

-- | get a specified commit
getCommitMaybe :: Git -> Ref -> IO (Maybe Commit)

-- | get a specified commit but raises an exception if doesn't exists or
--   type is not appropriate
getCommit :: Git -> Ref -> IO Commit

-- | get a specified tree
getTreeMaybe :: Git -> Ref -> IO (Maybe Tree)

-- | get a specified tree but raise
getTree :: Git -> Ref -> IO Tree

-- | Rewrite a set of commits from a revision and returns the new ref.
--   
--   If during revision traversal (diving) there's a commit with zero or
--   multiple parents then the traversal will stop regardless of the amount
--   of parent requested.
--   
--   calling "rewrite f 2 (revisionOf d)" on the following tree:
--   
--   a &lt;-- b &lt;-- c &lt;-- d
--   
--   result in the following tree after mapping with f:
--   
--   a &lt;-- f(b) &lt;-- f(c) &lt;-- f(d)
rewrite :: Git -> (Commit -> IO Commit) -> Revision -> Int -> IO Ref

-- | build a hierarchy tree from a tree object
buildHTree :: Git -> Tree -> IO HTree

-- | resolve the ref (tree or blob) related to a path at a specific commit
--   ref
resolvePath :: Git -> Ref -> [ByteString] -> IO (Maybe Ref)

-- | returns a tree from a ref that might be either a commit, a tree or a
--   tag.
resolveTreeish :: Git -> Ref -> IO (Maybe Tree)

-- | try to resolve a string to a specific commit ref for example: HEAD,
--   HEAD^, master~3, shortRef
resolveRevision :: Git -> Revision -> IO (Maybe Ref)

-- | initialize a new repository at a specific location.
initRepo :: FilePath -> IO ()

-- | basic checks to see if a specific path looks like a git repo.
isRepo :: FilePath -> IO Bool

-- | Write a branch to point to a specific reference
branchWrite :: Git -> RefName -> Ref -> IO ()

-- | Return the list of branches
branchList :: Git -> IO (Set RefName)

-- | Write a tag to point to a specific reference
tagWrite :: Git -> RefName -> Ref -> IO ()

-- | Return the list of branches
tagList :: Git -> IO (Set RefName)

-- | Set head to point to either a reference or a branch name.
headSet :: Git -> Either Ref RefName -> IO ()

-- | Get what the head is pointing to, or the reference otherwise
headGet :: Git -> IO (Either Ref RefName)
instance Typeable InvalidType
instance Show InvalidType
instance Eq InvalidType
instance Data InvalidType
instance Exception InvalidType


module Data.Git

-- | represent a git reference (SHA1)
data Ref
newtype RefName
RefName :: String -> RefName
refNameRaw :: RefName -> String

-- | Represent a commit object.
data Commit
Commit :: Ref -> [Ref] -> Person -> Person -> Maybe ByteString -> [CommitExtra] -> ByteString -> Commit
commitTreeish :: Commit -> Ref
commitParents :: Commit -> [Ref]
commitAuthor :: Commit -> Person
commitCommitter :: Commit -> Person
commitEncoding :: Commit -> Maybe ByteString
commitExtras :: Commit -> [CommitExtra]
commitMessage :: Commit -> ByteString

-- | an author or committer line has the format: name <a>email</a> time
--   timezone FIXME: should be a string, but I don't know if the data is
--   stored consistantly in one encoding (UTF8)
data Person
Person :: ByteString -> ByteString -> GitTime -> Person
personName :: Person -> ByteString
personEmail :: Person -> ByteString
personTime :: Person -> GitTime
data CommitExtra
CommitExtra :: ByteString -> ByteString -> CommitExtra
commitExtraKey :: CommitExtra -> ByteString
commitExtraValue :: CommitExtra -> ByteString

-- | Represent a root tree with zero to many tree entries.
data Tree
Tree :: [TreeEnt] -> Tree
treeGetEnts :: Tree -> [TreeEnt]

-- | Represent a binary blob.
data Blob
Blob :: ByteString -> Blob
blobGetContent :: Blob -> ByteString

-- | Represent a signed tag.
data Tag
Tag :: Ref -> ObjectType -> ByteString -> Person -> ByteString -> Tag
tagRef :: Tag -> Ref
tagObjectType :: Tag -> ObjectType
tagBlob :: Tag -> ByteString
tagName :: Tag -> Person
tagS :: Tag -> ByteString

-- | Git time is number of seconds since unix epoch in the UTC zone with
--   the current timezone associated
data GitTime
newtype ModePerm
ModePerm :: Word32 -> ModePerm

-- | Git object file type
data ObjectFileType
FileTypeDirectory :: ObjectFileType
FileTypeRegularFile :: ObjectFileType
FileTypeSymbolicLink :: ObjectFileType
FileTypeGitLink :: ObjectFileType

-- | traditional unix permission for owner, group and permissions
data FilePermissions
FilePermissions :: {-# UNPACK #-} !Perm -> {-# UNPACK #-} !Perm -> {-# UNPACK #-} !Perm -> FilePermissions
getOwnerPerm :: FilePermissions -> {-# UNPACK #-} !Perm
getGroupPerm :: FilePermissions -> {-# UNPACK #-} !Perm
getOtherPerm :: FilePermissions -> {-# UNPACK #-} !Perm
getPermission :: ModePerm -> FilePermissions
getFiletype :: ModePerm -> ObjectFileType

-- | A git revision. this can be many things: * a shorten ref * a ref * a
--   named branch or tag followed by optional modifiers <a>RevModifier</a>
--   that can represent: * parenting * type * date
data Revision

-- | try to resolve a string to a specific commit ref for example: HEAD,
--   HEAD^, master~3, shortRef
resolveRevision :: Git -> Revision -> IO (Maybe Ref)

-- | returns a tree from a ref that might be either a commit, a tree or a
--   tag.
resolveTreeish :: Git -> Ref -> IO (Maybe Tree)

-- | resolve the ref (tree or blob) related to a path at a specific commit
--   ref
resolvePath :: Git -> Ref -> [ByteString] -> IO (Maybe Ref)

-- | represent a git repo, with possibly already opened filereaders for
--   indexes and packs
data Git

-- | execute a function on the current repository.
--   
--   check findRepo to see how the git repository is found.
withCurrentRepo :: (Git -> IO a) -> IO a

-- | execute a function f with a git context.
withRepo :: FilePath -> (Git -> IO c) -> IO c

-- | Find the git repository from the current directory.
--   
--   If the environment variable GIT_DIR is set then it's used, otherwise
--   iterate from current directory, up to 128 parents for a .git directory
findRepo :: IO FilePath

-- | initialize a new repository at a specific location.
initRepo :: FilePath -> IO ()

-- | basic checks to see if a specific path looks like a git repo.
isRepo :: FilePath -> IO Bool

-- | Rewrite a set of commits from a revision and returns the new ref.
--   
--   If during revision traversal (diving) there's a commit with zero or
--   multiple parents then the traversal will stop regardless of the amount
--   of parent requested.
--   
--   calling "rewrite f 2 (revisionOf d)" on the following tree:
--   
--   a &lt;-- b &lt;-- c &lt;-- d
--   
--   result in the following tree after mapping with f:
--   
--   a &lt;-- f(b) &lt;-- f(c) &lt;-- f(d)
rewrite :: Git -> (Commit -> IO Commit) -> Revision -> Int -> IO Ref

-- | get an object from repository using a ref.
getObject :: Git -> Ref -> Bool -> IO (Maybe Object)

-- | get a specified commit but raises an exception if doesn't exists or
--   type is not appropriate
getCommit :: Git -> Ref -> IO Commit

-- | get a specified tree but raise
getTree :: Git -> Ref -> IO Tree

-- | set an object in the store and returns the new ref this is always
--   going to create a loose object.
setObject :: Git -> Object -> IO Ref
toObject :: Objectable a => a -> Object

-- | Write a branch to point to a specific reference
branchWrite :: Git -> RefName -> Ref -> IO ()

-- | Return the list of branches
branchList :: Git -> IO (Set RefName)

-- | Write a tag to point to a specific reference
tagWrite :: Git -> RefName -> Ref -> IO ()

-- | Return the list of branches
tagList :: Git -> IO (Set RefName)

-- | Set head to point to either a reference or a branch name.
headSet :: Git -> Either Ref RefName -> IO ()

-- | Get what the head is pointing to, or the reference otherwise
headGet :: Git -> IO (Either Ref RefName)


-- | Basic Git diff methods.
module Data.Git.Diff

-- | represents a blob's content (i.e., the content of a file at a given
--   reference).
data BlobContent

-- | Text file's lines
FileContent :: [ByteString] -> BlobContent

-- | Binary content
BinaryContent :: ByteString -> BlobContent

-- | This is a blob description at a given state (revision)
data BlobState
BlobState :: ByteString -> ModePerm -> Ref -> BlobContent -> BlobState
bsFilename :: BlobState -> ByteString
bsMode :: BlobState -> ModePerm
bsRef :: BlobState -> Ref
bsContent :: BlobState -> BlobContent

-- | Represents a file state between two revisions A file (a blob) can be
--   present in the first Tree's revision but not in the second one, then
--   it has been deleted. If only in the second Tree's revision, then it
--   has been created. If it is in the both, maybe it has been changed.
data BlobStateDiff
OnlyOld :: BlobState -> BlobStateDiff
OnlyNew :: BlobState -> BlobStateDiff
OldAndNew :: BlobState -> BlobState -> BlobStateDiff

-- | generate a diff list between two revisions with a given diff helper.
--   
--   Useful to extract any kind of information from two different
--   revisions. For example you can get the number of deleted files:
--   
--   <pre>
--   getdiffwith f 0 head^ head git
--       where f (OnlyOld _) acc = acc+1
--             f _           acc = acc
--   </pre>
--   
--   Or save the list of new files:
--   
--   <pre>
--   getdiffwith f [] head^ head git
--       where f (OnlyNew bs) acc = (bsFilename bs):acc
--             f _            acc = acc
--   </pre>
getDiffWith :: (BlobStateDiff -> a -> a) -> a -> Ref -> Ref -> Git -> IO a

-- | This is a proposed diff records for a given file. It contains useful
--   information: * the filename (with its path in the root project) * a
--   file diff (with the Data.Algorithm.Patience method) * the file's mode
--   (i.e. the file priviledge) * the file's ref
data HitDiff
HitDiff :: ByteString -> HitFileContent -> HitFileMode -> HitFileRef -> HitDiff
hFileName :: HitDiff -> ByteString
hFileContent :: HitDiff -> HitFileContent
hFileMode :: HitDiff -> HitFileMode
hFileRef :: HitDiff -> HitFileRef
data HitFileContent
NewBinaryFile :: HitFileContent
OldBinaryFile :: HitFileContent
NewTextFile :: [TextLine] -> HitFileContent
OldTextFile :: [TextLine] -> HitFileContent
ModifiedBinaryFile :: HitFileContent
ModifiedFile :: [FilteredDiff] -> HitFileContent
UnModifiedFile :: HitFileContent
data FilteredDiff
NormalLine :: (Item TextLine) -> FilteredDiff
Separator :: FilteredDiff
data HitFileRef
NewRef :: Ref -> HitFileRef
OldRef :: Ref -> HitFileRef
ModifiedRef :: Ref -> Ref -> HitFileRef
UnModifiedRef :: Ref -> HitFileRef
data HitFileMode
NewMode :: ModePerm -> HitFileMode
OldMode :: ModePerm -> HitFileMode
ModifiedMode :: ModePerm -> ModePerm -> HitFileMode
UnModifiedMode :: ModePerm -> HitFileMode
data TextLine
TextLine :: Integer -> ByteString -> TextLine
lineNumber :: TextLine -> Integer
lineContent :: TextLine -> ByteString

-- | A default diff helper. It is an example about how you can write your
--   own diff helper or you can use it if you want to get all of
--   differences.
defaultDiff :: Int -> BlobStateDiff -> [HitDiff] -> [HitDiff]

-- | A default Diff getter which returns all diff information (Mode,
--   Content and Binary) with a context of 5 lines.
--   
--   <pre>
--   getDiff = getDiffWith (defaultDiff 5) []
--   </pre>
getDiff :: Ref -> Ref -> Git -> IO [HitDiff]
instance Show BlobContent
instance Show BlobState
instance Ord TextLine
instance Eq TextLine
instance Eq BlobState