-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Diffing and patching module
--   
--   <a>filediff</a> is a Haskell library for creating diffs, and applying
--   diffs to files and directories.
@package filediff
@version 0.1.0.2


-- | Diffing algorithms (all exposed functions are pure)
module Filediff.Sequence

-- | Diff between two lists. <a>dels</a> represents the indices at which to
--   delete, and <a>adds</a> represents the indices and contents to add.
data SeqDiff a
SeqDiff :: [Int] -> [(Int, a)] -> SeqDiff a
dels :: SeqDiff a -> [Int]
adds :: SeqDiff a -> [(Int, a)]

-- | returns (to delete, to add)
--   
--   <pre>
--   diffSequences "abcdefg" "wabxyze"
--   </pre>
--   
--   SeqDiff {dels = [2,3,5,6], adds =
--   [(0,<tt>w</tt>),(3,<tt>x</tt>),(4,<tt>y</tt>),(5,<tt>z</tt>)]}
diffSequences :: (Eq a, MemoTable a) => [a] -> [a] -> SeqDiff a

-- | <pre>
--   diffSequences "abcdefg" "wabxyze"
--   </pre>
--   
--   SeqDiff {dels = [2,3,5,6], adds =
--   [(0,<tt>w</tt>),(3,<tt>x</tt>),(4,<tt>y</tt>),(5,<tt>z</tt>)]}
--   
--   <pre>
--   applySequenceDiff it "abcdefg"
--   </pre>
--   
--   "wabxyze"
applySequenceDiff :: Eq a => SeqDiff a -> [a] -> [a]
instance Show a => Show (SeqDiff a)
instance Eq a => Eq (SeqDiff a)
instance Generic (SeqDiff a)
instance Datatype D1SeqDiff
instance Constructor C1_0SeqDiff
instance Selector S1_0_0SeqDiff
instance Selector S1_0_1SeqDiff
instance (Eq a, MemoTable a) => Monoid (SeqDiff a)
instance Default (SeqDiff a)


-- | Data types used by <a>Filediff</a>
module Filediff.Types

-- | The basic data type for a difference between two files. The
--   <a>FilePath</a> is the "base" file in the base-comp comparison, and is
--   the file to which the patch will be applied. Deletions: a list of
--   indices at which to remove elements. Additions: each line to add comes
--   with the index at which it will eventually reside.
data Filediff
Filediff :: FilePath -> FilePath -> SeqDiff Line -> Filediff
base :: Filediff -> FilePath
comp :: Filediff -> FilePath
linediff :: Filediff -> SeqDiff Line

-- | A data type for differences between directories
data Diff
Diff :: [Filediff] -> Diff
filediffs :: Diff -> [Filediff]

-- | Data type for a line
type Line = Text

-- | Basic error type
type Error = String
instance Eq Filediff
instance Show Filediff
instance Generic Filediff
instance Show Diff
instance Generic Diff
instance Datatype D1Filediff
instance Constructor C1_0Filediff
instance Selector S1_0_0Filediff
instance Selector S1_0_1Filediff
instance Selector S1_0_2Filediff
instance Datatype D1Diff
instance Constructor C1_0Diff
instance Selector S1_0_0Diff
instance Monoid Diff
instance MemoTable Text
instance Default Diff
instance Eq Diff
instance Monoid Filediff


-- | The module exposing the functionality of this package
module Filediff

-- | <i>O(mn)</i>. Compute the difference between the two files (more
--   specifically, the minimal number of changes to make to transform the
--   file residing at the location specified by the first parameter into
--   the second). Throws an exception if either or both of the parameters
--   point to a directory, not a file.
--   
--   Files are allowed to not exist at either or both of the parameters.
diffFiles :: FilePath -> FilePath -> IO Filediff

-- | Compute the difference between the two directories (more specifically,
--   the minimal number of changes to make to transform the directory
--   residing at the location specified by the first parameter into the
--   second). Throws an exception if either or both of the parameters point
--   to a file, not a directory.
diffDirectories :: FilePath -> FilePath -> IO Diff

-- | <i>O(n)</i>. Apply a diff to a directory or file
applyToFile :: Filediff -> FilePath -> IO [Line]

-- | <a>True</a> upon success; <a>False</a> upon failure
applyToDirectory :: Diff -> FilePath -> IO ()