Git.Tree.Builder

Documentation

data TreeT r m a

data TreeBuilder r m

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

Constructors

ModifiedBuilder (TreeBuilder r m)

BuilderUnchanged (TreeBuilder r m)

Instances

Semigroup (ModifiedBuilder r m)

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)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

data ModifyTreeResult r

Constructors

TreeEntryNotFound

TreeEntryDeleted

TreeEntryPersistent (TreeEntry r)

TreeEntryMutated (TreeEntry r)

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

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

emptyTreeId :: Text

Orphan instances

MonadTrans (TreeT r)

Methods

lift :: Monad m => m a -> TreeT r m a

Monad m => Monad (TreeT r m)

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

fail :: String -> TreeT r m a

Functor m => Functor (TreeT r m)

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)

Methods

mfix :: (a -> TreeT r m a) -> TreeT r m a

(Functor m, Monad m) => Applicative (TreeT r m)

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)

Methods

liftIO :: IO a -> TreeT r m a

(Functor m, MonadPlus m) => Alternative (TreeT r m)

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)

Methods

mzero :: TreeT r m a

mplus :: TreeT r m a -> TreeT r m a -> TreeT r m a