Safe Haskell	None
Language	Haskell98

Git.Types

Synopsis

type RawFilePath = ByteString
data RepositoryFacts = RepositoryFacts {
- hasSymbolicReferences :: !Bool
}
type RefName = Text
type CommitAuthor = Text
type CommitEmail = Text
type CommitMessage = Text
type TreeFilePath = RawFilePath
class (Applicative m, Monad m, MonadThrow m, IsOid (Oid r), Show (Oid r), Eq (Oid r), Ord (Oid r)) => MonadGit r (m :: Type -> Type) | m -> r where
- type Oid r
- data Tree r
- data Options r
- facts :: m RepositoryFacts
- parseOid :: Text -> m (Oid r)
- getRepository :: m r
- closeRepository :: m ()
- deleteRepository :: m ()
- createReference :: RefName -> RefTarget r -> m ()
- lookupReference :: RefName -> m (Maybe (RefTarget r))
- updateReference :: RefName -> RefTarget r -> m ()
- deleteReference :: RefName -> m ()
- sourceReferences :: ConduitT i RefName m ()
- lookupObject :: Oid r -> m (Object r m)
- existsObject :: Oid r -> m Bool
- sourceObjects :: Maybe (CommitOid r) -> CommitOid r -> Bool -> ConduitT i (ObjectOid r) m ()
- lookupCommit :: CommitOid r -> m (Commit r)
- lookupTree :: TreeOid r -> m (Tree r)
- lookupBlob :: BlobOid r -> m (Blob r m)
- lookupTag :: TagOid r -> m (Tag r)
- readIndex :: TreeT r m ()
- writeIndex :: TreeT r m ()
- newTreeBuilder :: Maybe (Tree r) -> m (TreeBuilder r m)
- treeOid :: Tree r -> m (TreeOid r)
- treeEntry :: Tree r -> TreeFilePath -> m (Maybe (TreeEntry r))
- sourceTreeEntries :: Tree r -> ConduitT i (TreeFilePath, TreeEntry r) m ()
- diffContentsWithTree :: ConduitT () (Either TreeFilePath ByteString) m () -> Tree r -> ConduitT i ByteString m ()
- hashContents :: BlobContents m -> m (BlobOid r)
- createBlob :: BlobContents m -> m (BlobOid r)
- createCommit :: [CommitOid r] -> TreeOid r -> Signature -> Signature -> CommitMessage -> Maybe RefName -> m (Commit r)
- createTag :: CommitOid r -> Signature -> CommitMessage -> Text -> m (Tag r)
data RepositoryOptions = RepositoryOptions {
- repoPath :: !FilePath
- repoWorkingDir :: !(Maybe FilePath)
- repoIsBare :: !Bool
- repoAutoCreate :: !Bool
}
defaultRepositoryOptions :: RepositoryOptions
data RepositoryFactory (n :: Type -> Type) (m :: Type -> Type) r = RepositoryFactory {
- openRepository :: RepositoryOptions -> m r
- runRepository :: forall a. r -> n a -> m a
}
class IsOid o where
- renderOid :: o -> Text
- renderObjOid :: Tagged a o -> Text
type BlobOid r = Tagged r (Oid r)
type TreeOid r = Tagged (Tree r) (Oid r)
type CommitOid r = Tagged (Commit r) (Oid r)
type TagOid r = Tagged (Tag r) (Oid r)
data ObjectOid r
- = BlobObjOid !(BlobOid r)
- | TreeObjOid !(TreeOid r)
- | CommitObjOid !(CommitOid r)
- | TagObjOid !(TagOid r)
parseObjOid :: MonadGit r m => forall o. Text -> m (Tagged o (Oid r))
copyOid :: forall r (m :: Type -> Type) s n. (MonadGit r m, MonadGit s n) => Oid r -> n (Oid s)
newtype SHA = SHA {
- getSHA :: ByteString
}
shaToText :: SHA -> Text
textToSha :: MonadFail m => Text -> m SHA
data Blob r (m :: Type -> Type) = Blob {
- blobOid :: !(BlobOid r)
- blobContents :: !(BlobContents m)
}
type ByteSource (m :: Type -> Type) = ConduitT () ByteString m ()
data BlobContents (m :: Type -> Type)
- = BlobString !ByteString
- | BlobStringLazy !ByteString
- | BlobStream !(ByteSource m)
- | BlobSizedStream !(ByteSource m) !Int
data BlobKind
- = PlainBlob
- | ExecutableBlob
- | SymlinkBlob
newtype TreeT r (m :: Type -> Type) a = TreeT {
- runTreeT :: StateT (TreeBuilder r m) m a
}
data TreeEntry r
- = BlobEntry {
  - blobEntryOid :: !(BlobOid r)
  - blobEntryKind :: !BlobKind
  }
- | TreeEntry {
  - treeEntryOid :: !(TreeOid r)
  }
- | CommitEntry {
  - commitEntryOid :: !(CommitOid r)
  }
treeEntryToOid :: TreeEntry r -> Oid r
data TreeBuilder r (m :: Type -> Type) = TreeBuilder {
- mtbBaseTreeOid :: Maybe (TreeOid r)
- mtbPendingUpdates :: HashMap TreeFilePath (TreeBuilder r m)
- mtbNewBuilder :: Maybe (Tree r) -> m (TreeBuilder r m)
- mtbWriteContents :: TreeBuilder r m -> m (ModifiedBuilder r m, TreeOid r)
- mtbLookupEntry :: TreeFilePath -> m (Maybe (TreeEntry r))
- mtbEntryCount :: m Int
- mtbPutEntry :: TreeBuilder r m -> TreeFilePath -> TreeEntry r -> m (ModifiedBuilder r m)
- mtbDropEntry :: TreeBuilder r m -> TreeFilePath -> m (ModifiedBuilder r m)
}
data ModifiedBuilder r (m :: Type -> Type)
- = ModifiedBuilder (TreeBuilder r m)
- | BuilderUnchanged (TreeBuilder r m)
fromBuilderMod :: forall r (m :: Type -> Type). ModifiedBuilder r m -> TreeBuilder r m
data Commit r = Commit {
- commitOid :: !(CommitOid r)
- commitParents :: ![CommitOid r]
- commitTree :: !(TreeOid r)
- commitAuthor :: !Signature
- commitCommitter :: !Signature
- commitLog :: !CommitMessage
- commitEncoding :: !Text
}
sourceCommitParents :: forall r (m :: Type -> Type) i. MonadGit r m => Commit r -> ConduitT i (Commit r) m ()
lookupCommitParents :: MonadGit r m => Commit r -> m [Commit r]
data Signature = Signature {
- signatureName :: !CommitAuthor
- signatureEmail :: !CommitEmail
- signatureWhen :: !ZonedTime
}
defaultSignature :: Signature
data Tag r = Tag {
- tagOid :: !(TagOid r)
- tagCommit :: !(CommitOid r)
}
data Object r (m :: Type -> Type)
- = BlobObj !(Blob r m)
- | TreeObj !(Tree r)
- | CommitObj !(Commit r)
- | TagObj !(Tag r)
objectOid :: MonadGit r m => Object r m -> m (Oid r)
loadObject :: MonadGit r m => ObjectOid r -> m (Object r m)
objectToObjOid :: MonadGit r m => Object r m -> m (ObjectOid r)
untagObjOid :: ObjectOid r -> Oid r
data RefTarget r
- = RefObj !(Oid r)
- | RefSymbolic !RefName
commitRefTarget :: Commit r -> RefTarget r
data ModificationKind
- = Unchanged
- | Modified
- | Added
- | Deleted
- | TypeChanged
data MergeStatus
- = NoConflict
- | BothModified
- | LeftModifiedRightDeleted
- | LeftDeletedRightModified
- | BothAdded
- | LeftModifiedRightTypeChanged
- | LeftTypeChangedRightModified
- | LeftDeletedRightTypeChanged
- | LeftTypeChangedRightDeleted
- | BothTypeChanged
mergeStatus :: ModificationKind -> ModificationKind -> MergeStatus
data MergeResult r
- = MergeSuccess {
  - mergeCommit :: CommitOid r
  }
- | MergeConflicted {
  - mergeCommit :: CommitOid r
  - mergeHeadLeft :: CommitOid r
  - mergeHeadRight :: CommitOid r
  - mergeConflicts :: Map TreeFilePath (ModificationKind, ModificationKind)
  }
copyMergeResult :: (MonadGit r m, IsOid (Oid s)) => MergeResult s -> m (MergeResult r)
data GitException
- = BackendError Text
- | GitError Text
- | RepositoryNotExist
- | RepositoryInvalid
- | RepositoryCannotAccess Text
- | BlobCreateFailed Text
- | BlobEmptyCreateFailed
- | BlobEncodingUnknown Text
- | BlobLookupFailed
- | DiffBlobFailed Text
- | DiffPrintToPatchFailed Text
- | DiffTreeToIndexFailed Text
- | IndexAddFailed TreeFilePath Text
- | IndexCreateFailed Text
- | PathEncodingError Text
- | PushNotFastForward Text
- | TagLookupFailed Text
- | TranslationException Text
- | TreeCreateFailed Text
- | TreeBuilderCreateFailed
- | TreeBuilderInsertFailed TreeFilePath
- | TreeBuilderRemoveFailed TreeFilePath
- | TreeBuilderWriteFailed Text
- | TreeLookupFailed
- | TreeCannotTraverseBlob
- | TreeCannotTraverseCommit
- | TreeEntryLookupFailed TreeFilePath
- | TreeUpdateFailed
- | TreeWalkFailed Text
- | TreeEmptyCreateFailed
- | CommitCreateFailed
- | CommitLookupFailed Text
- | ReferenceCreateFailed RefName
- | ReferenceDeleteFailed RefName
- | RefCannotCreateFromPartialOid
- | ReferenceListingFailed Text
- | ReferenceLookupFailed RefName
- | ObjectLookupFailed Text Int
- | ObjectRefRequiresFullOid
- | OidCopyFailed
- | OidParseFailed Text
- | QuotaHardLimitExceeded Int Int

Documentation

type RawFilePath = ByteString Source #

data RepositoryFacts Source #

Constructors

RepositoryFacts
Fields hasSymbolicReferences :: !Bool

Instances

Instances details

Show RepositoryFacts Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> RepositoryFacts -> ShowS # show :: RepositoryFacts -> String # showList :: [RepositoryFacts] -> ShowS #

type RefName = Text Source #

type CommitAuthor = Text Source #

type CommitEmail = Text Source #

type CommitMessage = Text Source #

type TreeFilePath = RawFilePath Source #

class (Applicative m, Monad m, MonadThrow m, IsOid (Oid r), Show (Oid r), Eq (Oid r), Ord (Oid r)) => MonadGit r (m :: Type -> Type) | m -> r where Source #

Repository is the central point of contact between user code and Git data objects. Every object must belong to some repository.

Associated Types

type Oid r Source #

data Tree r Source #

data Options r Source #

Methods

facts :: m RepositoryFacts Source #

parseOid :: Text -> m (Oid r) Source #

getRepository :: m r Source #

closeRepository :: m () Source #

deleteRepository :: m () Source #

createReference :: RefName -> RefTarget r -> m () Source #

lookupReference :: RefName -> m (Maybe (RefTarget r)) Source #

updateReference :: RefName -> RefTarget r -> m () Source #

deleteReference :: RefName -> m () Source #

sourceReferences :: ConduitT i RefName m () Source #

lookupObject :: Oid r -> m (Object r m) Source #

existsObject :: Oid r -> m Bool Source #

sourceObjects Source #

Arguments

:: Maybe (CommitOid r)	A commit we may already have
-> CommitOid r	The commit we need
-> Bool	Include commit trees also?
-> ConduitT i (ObjectOid r) m ()	All the objects in between

lookupCommit :: CommitOid r -> m (Commit r) Source #

lookupTree :: TreeOid r -> m (Tree r) Source #

lookupBlob :: BlobOid r -> m (Blob r m) Source #

lookupTag :: TagOid r -> m (Tag r) Source #

readIndex :: TreeT r m () Source #

writeIndex :: TreeT r m () Source #

newTreeBuilder :: Maybe (Tree r) -> m (TreeBuilder r m) Source #

treeOid :: Tree r -> m (TreeOid r) Source #

treeEntry :: Tree r -> TreeFilePath -> m (Maybe (TreeEntry r)) Source #

sourceTreeEntries :: Tree r -> ConduitT i (TreeFilePath, TreeEntry r) m () Source #

diffContentsWithTree :: ConduitT () (Either TreeFilePath ByteString) m () -> Tree r -> ConduitT i ByteString m () Source #

hashContents :: BlobContents m -> m (BlobOid r) Source #

createBlob :: BlobContents m -> m (BlobOid r) Source #

createCommit :: [CommitOid r] -> TreeOid r -> Signature -> Signature -> CommitMessage -> Maybe RefName -> m (Commit r) Source #

createTag :: CommitOid r -> Signature -> CommitMessage -> Text -> m (Tag r) Source #

data RepositoryOptions Source #

Constructors

RepositoryOptions
Fields repoPath :: !FilePath repoWorkingDir :: !(Maybe FilePath) repoIsBare :: !Bool repoAutoCreate :: !Bool

defaultRepositoryOptions :: RepositoryOptions Source #

data RepositoryFactory (n :: Type -> Type) (m :: Type -> Type) r Source #

Constructors

RepositoryFactory
Fields openRepository :: RepositoryOptions -> m r runRepository :: forall a. r -> n a -> m a

class IsOid o where Source #

Minimal complete definition

Nothing

Methods

renderOid :: o -> Text Source #

renderObjOid :: Tagged a o -> Text Source #

Instances

Instances details

IsOid SHA Source #
Instance details Defined in Git.Types Methods renderOid :: SHA -> Text Source # renderObjOid :: Tagged a SHA -> Text Source #

type BlobOid r = Tagged r (Oid r) Source #

type TreeOid r = Tagged (Tree r) (Oid r) Source #

type CommitOid r = Tagged (Commit r) (Oid r) Source #

type TagOid r = Tagged (Tag r) (Oid r) Source #

data ObjectOid r Source #

Constructors

BlobObjOid !(BlobOid r)
TreeObjOid !(TreeOid r)
CommitObjOid !(CommitOid r)
TagObjOid !(TagOid r)

parseObjOid :: MonadGit r m => forall o. Text -> m (Tagged o (Oid r)) Source #

copyOid :: forall r (m :: Type -> Type) s n. (MonadGit r m, MonadGit s n) => Oid r -> n (Oid s) Source #

newtype SHA Source #

Constructors

SHA
Fields getSHA :: ByteString

Instances

Instances details

Read SHA Source #
Instance details Defined in Git.Types Methods readsPrec :: Int -> ReadS SHA # readList :: ReadS [SHA] # readPrec :: ReadPrec SHA # readListPrec :: ReadPrec [SHA] #
Show SHA Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> SHA -> ShowS # show :: SHA -> String # showList :: [SHA] -> ShowS #
Eq SHA Source #
Instance details Defined in Git.Types Methods (==) :: SHA -> SHA -> Bool # (/=) :: SHA -> SHA -> Bool #
Ord SHA Source #
Instance details Defined in Git.Types Methods compare :: SHA -> SHA -> Ordering # (<) :: SHA -> SHA -> Bool # (<=) :: SHA -> SHA -> Bool # (>) :: SHA -> SHA -> Bool # (>=) :: SHA -> SHA -> Bool # max :: SHA -> SHA -> SHA # min :: SHA -> SHA -> SHA #
IsOid SHA Source #
Instance details Defined in Git.Types Methods renderOid :: SHA -> Text Source # renderObjOid :: Tagged a SHA -> Text Source #
Hashable SHA Source #
Instance details Defined in Git.Types Methods hashWithSalt :: Int -> SHA -> Int # hash :: SHA -> Int #

shaToText :: SHA -> Text Source #

textToSha :: MonadFail m => Text -> m SHA Source #

data Blob r (m :: Type -> Type) Source #

Constructors

Blob
Fields blobOid :: !(BlobOid r) blobContents :: !(BlobContents m)

type ByteSource (m :: Type -> Type) = ConduitT () ByteString m () Source #

data BlobContents (m :: Type -> Type) Source #

Constructors

BlobString !ByteString
BlobStringLazy !ByteString
BlobStream !(ByteSource m)
BlobSizedStream !(ByteSource m) !Int

Instances

Instances details

Eq (BlobContents m) Source #
Instance details Defined in Git.Types Methods (==) :: BlobContents m -> BlobContents m -> Bool # (/=) :: BlobContents m -> BlobContents m -> Bool #

data BlobKind Source #

Constructors

PlainBlob
ExecutableBlob
SymlinkBlob

Instances

Instances details

Enum BlobKind Source #
Instance details Defined in Git.Types Methods succ :: BlobKind -> BlobKind # pred :: BlobKind -> BlobKind # toEnum :: Int -> BlobKind # fromEnum :: BlobKind -> Int # enumFrom :: BlobKind -> [BlobKind] # enumFromThen :: BlobKind -> BlobKind -> [BlobKind] # enumFromTo :: BlobKind -> BlobKind -> [BlobKind] # enumFromThenTo :: BlobKind -> BlobKind -> BlobKind -> [BlobKind] #
Show BlobKind Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> BlobKind -> ShowS # show :: BlobKind -> String # showList :: [BlobKind] -> ShowS #
Eq BlobKind Source #
Instance details Defined in Git.Types Methods (==) :: BlobKind -> BlobKind -> Bool # (/=) :: BlobKind -> BlobKind -> Bool #

newtype TreeT r (m :: Type -> Type) a Source #

Constructors

TreeT
Fields runTreeT :: StateT (TreeBuilder r m) m a

Instances

Instances details

MonadTrans (TreeT r) Source #
Instance details Defined in Git.Tree.Builder Methods lift :: Monad m => m a -> TreeT r m a #
MonadFix m => MonadFix (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods mfix :: (a -> TreeT r m a) -> TreeT r m a #
MonadIO m => MonadIO (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods liftIO :: IO a -> TreeT r m a #
(Functor m, MonadPlus m) => Alternative (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods empty :: TreeT r m a # (<\|>) :: TreeT r m a -> TreeT r m a -> TreeT r m a # some :: TreeT r m a -> TreeT r m [a] # many :: TreeT r m a -> TreeT r m [a] #
(Functor m, Monad m) => Applicative (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods pure :: a -> TreeT r m a # (<>) :: TreeT r m (a -> b) -> TreeT r m a -> TreeT r m b # liftA2 :: (a -> b -> c) -> TreeT r m a -> TreeT r m b -> TreeT r m c # (>) :: TreeT r m a -> TreeT r m b -> TreeT r m b # (<*) :: TreeT r m a -> TreeT r m b -> TreeT r m a #
Functor m => Functor (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods fmap :: (a -> b) -> TreeT r m a -> TreeT r m b # (<$) :: a -> TreeT r m b -> TreeT r m a #
Monad m => Monad (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods (>>=) :: TreeT r m a -> (a -> TreeT r m b) -> TreeT r m b # (>>) :: TreeT r m a -> TreeT r m b -> TreeT r m b # return :: a -> TreeT r m a #
MonadPlus m => MonadPlus (TreeT r m) Source #
Instance details Defined in Git.Tree.Builder Methods mzero :: TreeT r m a # mplus :: TreeT r m a -> TreeT r m a -> TreeT r m a #

data TreeEntry r Source #

Constructors

BlobEntry
Fields blobEntryOid :: !(BlobOid r) blobEntryKind :: !BlobKind
TreeEntry
Fields treeEntryOid :: !(TreeOid r)
CommitEntry
Fields commitEntryOid :: !(CommitOid r)

treeEntryToOid :: TreeEntry r -> Oid r Source #

data TreeBuilder r (m :: Type -> Type) Source #

Constructors

TreeBuilder

Fields

mtbBaseTreeOid :: Maybe (TreeOid r)
mtbPendingUpdates :: HashMap TreeFilePath (TreeBuilder r m)
mtbNewBuilder :: Maybe (Tree r) -> m (TreeBuilder r m)
mtbWriteContents :: TreeBuilder r m -> m (ModifiedBuilder r m, TreeOid r)
mtbLookupEntry :: TreeFilePath -> m (Maybe (TreeEntry r))
mtbEntryCount :: m Int
mtbPutEntry :: TreeBuilder r m -> TreeFilePath -> TreeEntry r -> m (ModifiedBuilder r m)
mtbDropEntry :: TreeBuilder r m -> TreeFilePath -> m (ModifiedBuilder r m)

data ModifiedBuilder r (m :: Type -> Type) Source #

Constructors

ModifiedBuilder (TreeBuilder r m)
BuilderUnchanged (TreeBuilder r m)

Instances

Instances details

Monoid (ModifiedBuilder r m) Source #
Instance details Defined in Git.Types Methods mempty :: ModifiedBuilder r m # mappend :: ModifiedBuilder r m -> ModifiedBuilder r m -> ModifiedBuilder r m # mconcat :: [ModifiedBuilder r m] -> ModifiedBuilder r m #
Semigroup (ModifiedBuilder r m) Source #
Instance details Defined in Git.Types Methods (<>) :: ModifiedBuilder r m -> ModifiedBuilder r m -> ModifiedBuilder r m # sconcat :: NonEmpty (ModifiedBuilder r m) -> ModifiedBuilder r m # stimes :: Integral b => b -> ModifiedBuilder r m -> ModifiedBuilder r m #

fromBuilderMod :: forall r (m :: Type -> Type). ModifiedBuilder r m -> TreeBuilder r m Source #

data Commit r Source #

Constructors

Commit
Fields commitOid :: !(CommitOid r) commitParents :: ![CommitOid r] commitTree :: !(TreeOid r) commitAuthor :: !Signature commitCommitter :: !Signature commitLog :: !CommitMessage commitEncoding :: !Text

sourceCommitParents :: forall r (m :: Type -> Type) i. MonadGit r m => Commit r -> ConduitT i (Commit r) m () Source #

lookupCommitParents :: MonadGit r m => Commit r -> m [Commit r] Source #

data Signature Source #

Constructors

Signature
Fields signatureName :: !CommitAuthor signatureEmail :: !CommitEmail signatureWhen :: !ZonedTime

Instances

Instances details

Show Signature Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #

defaultSignature :: Signature Source #

data Tag r Source #

Constructors

Tag
Fields tagOid :: !(TagOid r) tagCommit :: !(CommitOid r)

data Object r (m :: Type -> Type) Source #

Constructors

BlobObj !(Blob r m)
TreeObj !(Tree r)
CommitObj !(Commit r)
TagObj !(Tag r)

objectOid :: MonadGit r m => Object r m -> m (Oid r) Source #

loadObject :: MonadGit r m => ObjectOid r -> m (Object r m) Source #

objectToObjOid :: MonadGit r m => Object r m -> m (ObjectOid r) Source #

untagObjOid :: ObjectOid r -> Oid r Source #

data RefTarget r Source #

Constructors

RefObj !(Oid r)
RefSymbolic !RefName

commitRefTarget :: Commit r -> RefTarget r Source #

data ModificationKind Source #

Constructors

Unchanged
Modified
Added
Deleted
TypeChanged

Instances

Instances details

Enum ModificationKind Source #
Instance details Defined in Git.Types Methods succ :: ModificationKind -> ModificationKind # pred :: ModificationKind -> ModificationKind # toEnum :: Int -> ModificationKind # fromEnum :: ModificationKind -> Int # enumFrom :: ModificationKind -> [ModificationKind] # enumFromThen :: ModificationKind -> ModificationKind -> [ModificationKind] # enumFromTo :: ModificationKind -> ModificationKind -> [ModificationKind] # enumFromThenTo :: ModificationKind -> ModificationKind -> ModificationKind -> [ModificationKind] #
Read ModificationKind Source #
Instance details Defined in Git.Types Methods readsPrec :: Int -> ReadS ModificationKind # readList :: ReadS [ModificationKind] # readPrec :: ReadPrec ModificationKind # readListPrec :: ReadPrec [ModificationKind] #
Show ModificationKind Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> ModificationKind -> ShowS # show :: ModificationKind -> String # showList :: [ModificationKind] -> ShowS #
Eq ModificationKind Source #
Instance details Defined in Git.Types Methods (==) :: ModificationKind -> ModificationKind -> Bool # (/=) :: ModificationKind -> ModificationKind -> Bool #
Ord ModificationKind Source #
Instance details Defined in Git.Types Methods compare :: ModificationKind -> ModificationKind -> Ordering # (<) :: ModificationKind -> ModificationKind -> Bool # (<=) :: ModificationKind -> ModificationKind -> Bool # (>) :: ModificationKind -> ModificationKind -> Bool # (>=) :: ModificationKind -> ModificationKind -> Bool # max :: ModificationKind -> ModificationKind -> ModificationKind # min :: ModificationKind -> ModificationKind -> ModificationKind #

data MergeStatus Source #

Constructors

NoConflict
BothModified
LeftModifiedRightDeleted
LeftDeletedRightModified
BothAdded
LeftModifiedRightTypeChanged
LeftTypeChangedRightModified
LeftDeletedRightTypeChanged
LeftTypeChangedRightDeleted
BothTypeChanged

Instances

Instances details

Enum MergeStatus Source #
Instance details Defined in Git.Types Methods succ :: MergeStatus -> MergeStatus # pred :: MergeStatus -> MergeStatus # toEnum :: Int -> MergeStatus # fromEnum :: MergeStatus -> Int # enumFrom :: MergeStatus -> [MergeStatus] # enumFromThen :: MergeStatus -> MergeStatus -> [MergeStatus] # enumFromTo :: MergeStatus -> MergeStatus -> [MergeStatus] # enumFromThenTo :: MergeStatus -> MergeStatus -> MergeStatus -> [MergeStatus] #
Read MergeStatus Source #
Instance details Defined in Git.Types Methods readsPrec :: Int -> ReadS MergeStatus # readList :: ReadS [MergeStatus] # readPrec :: ReadPrec MergeStatus # readListPrec :: ReadPrec [MergeStatus] #
Show MergeStatus Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> MergeStatus -> ShowS # show :: MergeStatus -> String # showList :: [MergeStatus] -> ShowS #
Eq MergeStatus Source #
Instance details Defined in Git.Types Methods (==) :: MergeStatus -> MergeStatus -> Bool # (/=) :: MergeStatus -> MergeStatus -> Bool #
Ord MergeStatus Source #
Instance details Defined in Git.Types Methods compare :: MergeStatus -> MergeStatus -> Ordering # (<) :: MergeStatus -> MergeStatus -> Bool # (<=) :: MergeStatus -> MergeStatus -> Bool # (>) :: MergeStatus -> MergeStatus -> Bool # (>=) :: MergeStatus -> MergeStatus -> Bool # max :: MergeStatus -> MergeStatus -> MergeStatus # min :: MergeStatus -> MergeStatus -> MergeStatus #

mergeStatus :: ModificationKind -> ModificationKind -> MergeStatus Source #

data MergeResult r Source #

Constructors

MergeSuccess
Fields mergeCommit :: CommitOid r
MergeConflicted
Fields mergeCommit :: CommitOid r mergeHeadLeft :: CommitOid r mergeHeadRight :: CommitOid r mergeConflicts :: Map TreeFilePath (ModificationKind, ModificationKind)

copyMergeResult :: (MonadGit r m, IsOid (Oid s)) => MergeResult s -> m (MergeResult r) Source #

data GitException Source #

There is a separate GitException for each possible failure when interacting with the Git repository.

Constructors

BackendError Text
GitError Text
RepositoryNotExist
RepositoryInvalid
RepositoryCannotAccess Text
BlobCreateFailed Text
BlobEmptyCreateFailed
BlobEncodingUnknown Text
BlobLookupFailed
DiffBlobFailed Text
DiffPrintToPatchFailed Text
DiffTreeToIndexFailed Text
IndexAddFailed TreeFilePath Text
IndexCreateFailed Text
PathEncodingError Text
PushNotFastForward Text
TagLookupFailed Text
TranslationException Text
TreeCreateFailed Text
TreeBuilderCreateFailed
TreeBuilderInsertFailed TreeFilePath
TreeBuilderRemoveFailed TreeFilePath
TreeBuilderWriteFailed Text
TreeLookupFailed
TreeCannotTraverseBlob
TreeCannotTraverseCommit
TreeEntryLookupFailed TreeFilePath
TreeUpdateFailed
TreeWalkFailed Text
TreeEmptyCreateFailed
CommitCreateFailed
CommitLookupFailed Text
ReferenceCreateFailed RefName
ReferenceDeleteFailed RefName
RefCannotCreateFromPartialOid
ReferenceListingFailed Text
ReferenceLookupFailed RefName
ObjectLookupFailed Text Int
ObjectRefRequiresFullOid
OidCopyFailed
OidParseFailed Text
QuotaHardLimitExceeded Int Int

Instances

Instances details

Exception GitException Source #
Instance details Defined in Git.Types Methods toException :: GitException -> SomeException # fromException :: SomeException -> Maybe GitException # displayException :: GitException -> String #
Show GitException Source #
Instance details Defined in Git.Types Methods showsPrec :: Int -> GitException -> ShowS # show :: GitException -> String # showList :: [GitException] -> ShowS #
Eq GitException Source #
Instance details Defined in Git.Types Methods (==) :: GitException -> GitException -> Bool # (/=) :: GitException -> GitException -> Bool #