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 | m -> r where
  • type Oid r :: *
  • data Tree r :: *
  • data Options r :: *
• data RepositoryOptions = RepositoryOptions {
  • repoPath :: !FilePath
  • repoWorkingDir :: !(Maybe FilePath)
  • repoIsBare :: !Bool
  • repoAutoCreate :: !Bool
  }
• defaultRepositoryOptions :: RepositoryOptions
• data RepositoryFactory n m r = RepositoryFactory {
  • openRepository :: RepositoryOptions -> m r
  • runRepository :: forall a. r -> n a -> m a
  }
• class IsOid o where
• 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 :: (MonadGit r m, MonadGit s n) => Oid r -> n (Oid s)
• newtype SHA = SHA {
  • getSHA :: ByteString
  }
• shaToText :: SHA -> Text
• textToSha :: Monad m => Text -> m SHA
• data Blob r m = Blob {
  • blobOid :: !(BlobOid r)
  • blobContents :: !(BlobContents m)
  }
• type ByteSource m = ConduitT () ByteString m ()
• data BlobContents m
  • = BlobString !ByteString
  • | BlobStringLazy !ByteString
  • | BlobStream !(ByteSource m)
  • | BlobSizedStream !(ByteSource m) !Int
• data BlobKind
  • = PlainBlob
  • | ExecutableBlob
  • | SymlinkBlob
• newtype TreeT r m 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 = 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
  • = ModifiedBuilder (TreeBuilder r m)
  • | BuilderUnchanged (TreeBuilder r m)
• fromBuilderMod :: 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 :: 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
  • = 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