Safe Haskell	None
Language	Haskell98

Git.Tree.Builder

Contents

Orphan instances

Documentation

data TreeT r m a Source #

Instances

Instances details

MonadTrans (TreeT r) Source #
Instance details Defined in Git.Tree.Builder Methods lift :: Monad m => m a -> 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 #
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 #
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 #
(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 #
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] #
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 TreeBuilder r m 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 Source #

Constructors

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

Instances

Instances details

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 #
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 #

createTree :: MonadGit r m => TreeT r m a -> m (TreeOid r) Source #

withNewTree :: MonadGit r m => TreeT r m a -> m (a, TreeOid r) Source #

mutateTree :: MonadGit r m => Tree r -> TreeT r m a -> m (TreeOid r) Source #

mutateTreeOid :: MonadGit r m => TreeOid r -> TreeT r m a -> m (TreeOid r) Source #

currentTree :: MonadGit r m => TreeT r m (Tree r) Source #

currentTreeOid :: MonadGit r m => TreeT r m (TreeOid r) Source #

withTree :: MonadGit r m => Tree r -> TreeT r m a -> m (a, TreeOid r) Source #

withTreeOid :: MonadGit r m => TreeOid r -> TreeT r m a -> m (a, TreeOid r) Source #

dropEntry :: MonadGit r m => TreeFilePath -> TreeT r m () Source #

getEntry :: MonadGit r m => TreeFilePath -> TreeT r m (Maybe (TreeEntry r)) Source #

putBlob :: MonadGit r m => TreeFilePath -> BlobOid r -> TreeT r m () Source #

putBlob' :: MonadGit r m => TreeFilePath -> BlobOid r -> BlobKind -> TreeT r m () Source #

putCommit :: MonadGit r m => TreeFilePath -> CommitOid r -> TreeT r m () Source #

putEntry :: MonadGit r m => TreeFilePath -> TreeEntry r -> TreeT r m () Source #

putTree :: MonadGit r m => TreeFilePath -> TreeOid r -> TreeT r m () Source #

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

data ModifyTreeResult r Source #

Constructors

TreeEntryNotFound
TreeEntryDeleted
TreeEntryPersistent (TreeEntry r)
TreeEntryMutated (TreeEntry r)

fromModifyTreeResult :: ModifyTreeResult r -> Maybe (TreeEntry r) Source #

toModifyTreeResult :: (TreeEntry r -> ModifyTreeResult r) -> Maybe (TreeEntry r) -> ModifyTreeResult r Source #

emptyTreeId :: Text Source #

Orphan instances

MonadTrans (TreeT r) Source #
Instance details Methods lift :: Monad m => m a -> TreeT r m a #
Monad m => Monad (TreeT r m) Source #
Instance details 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 #
Functor m => Functor (TreeT r m) Source #
Instance details Methods fmap :: (a -> b) -> TreeT r m a -> TreeT r m b # (<$) :: a -> TreeT r m b -> TreeT r m a #
MonadFix m => MonadFix (TreeT r m) Source #
Instance details Methods mfix :: (a -> TreeT r m a) -> TreeT r m a #
(Functor m, Monad m) => Applicative (TreeT r m) Source #
Instance details 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 #
MonadIO m => MonadIO (TreeT r m) Source #
Instance details Methods liftIO :: IO a -> TreeT r m a #
(Functor m, MonadPlus m) => Alternative (TreeT r m) Source #
Instance details 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] #
MonadPlus m => MonadPlus (TreeT r m) Source #
Instance details Methods mzero :: TreeT r m a # mplus :: TreeT r m a -> TreeT r m a -> TreeT r m a #