Safe Haskell	None
Language	Haskell2010

Data.Git.EditTree

Description

An EditTree is a convenient representation of a Tree. The leaves of an EditTree are either the contents of a Blob, a sub-EditTree, or a Sha1. This makes it easier to work with large Trees, because subobjects are stored as hashes until you modify them.

Synopsis

type EditTree = Map TreeEntry TreePart
data TreePart
- = PartSha Sha1
- | PartData ByteString
- | PartTree EditTree
newtype TreeEdit m a = TreeEdit {
- runTreeEdit :: StateT EditTree m a
}
loadEditTree :: (MonadGit m, MonadFail m) => Sha1 -> m EditTree
writeEditTree :: MonadGit m => EditTree -> m Sha1
don'tEditTree :: MonadGit m => EditTree -> TreeEdit m a -> m EditTree
editTree :: MonadGit m => EditTree -> TreeEdit m a -> m EditTree
rm :: Monad m => TreeEntry -> TreeEdit m ()
cd :: (MonadFail m, MonadGit m) => RawFilePath -> TreeEdit m a -> TreeEdit m a
cd' :: (MonadFail m, MonadGit m) => [PathComponent] -> TreeEdit m a -> TreeEdit m a
cd1 :: (MonadFail m, MonadGit m) => PathComponent -> TreeEdit m a -> TreeEdit m a
create :: Monad m => TreeEntry -> TreePart -> TreeEdit m ()
mkdir :: MonadFail m => PathComponent -> TreeEdit m ()
cdCreating :: (MonadFail m, MonadGit m) => RawFilePath -> TreeEdit m a -> TreeEdit m a
cdCreating' :: (MonadFail m, MonadGit m) => [PathComponent] -> TreeEdit m a -> TreeEdit m a
createFiles :: Monad m => Map PathComponent ByteString -> TreeEdit m ()

Documentation

type EditTree = Map TreeEntry TreePart Source #

A nice representation of a Tree.

data TreePart Source #

The leaves of an EditTree---either a hash, Blob data, or a subtree.

Constructors

PartSha Sha1
PartData ByteString
PartTree EditTree

Instances

Monad m => MonadState EditTree (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods get :: TreeEdit m EditTree # put :: EditTree -> TreeEdit m () # state :: (EditTree -> (a, EditTree)) -> TreeEdit m a #

newtype TreeEdit m a Source #

A monad for editing EditTrees.

Constructors

TreeEdit
Fields runTreeEdit :: StateT EditTree m a

Instances

MonadTrans TreeEdit Source #
Instance details Defined in Data.Git.EditTree Methods lift :: Monad m => m a -> TreeEdit m a #
Monad m => MonadState EditTree (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods get :: TreeEdit m EditTree # put :: EditTree -> TreeEdit m () # state :: (EditTree -> (a, EditTree)) -> TreeEdit m a #
Monad m => Monad (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods (>>=) :: TreeEdit m a -> (a -> TreeEdit m b) -> TreeEdit m b # (>>) :: TreeEdit m a -> TreeEdit m b -> TreeEdit m b # return :: a -> TreeEdit m a # fail :: String -> TreeEdit m a #
Functor m => Functor (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods fmap :: (a -> b) -> TreeEdit m a -> TreeEdit m b # (<$) :: a -> TreeEdit m b -> TreeEdit m a #
MonadFail m => MonadFail (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods fail :: String -> TreeEdit m a #
Monad m => Applicative (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods pure :: a -> TreeEdit m a # (<>) :: TreeEdit m (a -> b) -> TreeEdit m a -> TreeEdit m b # liftA2 :: (a -> b -> c) -> TreeEdit m a -> TreeEdit m b -> TreeEdit m c # (>) :: TreeEdit m a -> TreeEdit m b -> TreeEdit m b # (<*) :: TreeEdit m a -> TreeEdit m b -> TreeEdit m a #
MonadIO m => MonadIO (TreeEdit m) Source #
Instance details Defined in Data.Git.EditTree Methods liftIO :: IO a -> TreeEdit m a #