{-# OPTIONS_GHC -fno-warn-orphans -fno-warn-unused-imports #-}
module Darcs.Patch.Viewing
( showContextHunk
) where
import Prelude ()
import Darcs.Prelude
import Control.Applicative( (<$>) )
import qualified Data.ByteString as B ( null )
import Prelude hiding ( pi, readFile )
import Darcs.Util.Tree ( Tree )
import Darcs.Util.Tree.Monad ( virtualTreeMonad )
import Darcs.Patch.Apply ( Apply(..) )
import Darcs.Patch.ApplyMonad ( getApplyState,
ApplyMonad(..), ApplyMonadTree(..), toTree )
import Darcs.Patch.FileHunk ( IsHunk(..), FileHunk(..), showFileHunk )
import Darcs.Patch.Format ( PatchListFormat(..), ListFormat(..),
FileNameFormat(..) )
import Darcs.Patch.Show
( ShowPatchBasic(..), ShowPatch(..)
, formatFileName, ShowPatchFor(..), ShowContextPatch(..) )
import Darcs.Patch.Witnesses.Ordered ( RL(..), FL(..), mapFL, mapFL_FL,
reverseRL, concatFL )
import Darcs.Util.ByteString ( linesPS )
import Darcs.Util.Printer ( Doc, empty, vcat, text, blueText, Color(Cyan, Magenta),
lineColor, ($$), (<+>), prefix, userchunkPS )
showContextSeries :: forall p m wX wY . (Apply p, ShowContextPatch p, IsHunk p,
ApplyMonad (ApplyState p) m)
=> ShowPatchFor -> FileNameFormat -> FL p wX wY -> m Doc
showContextSeries use fmt = scs Nothing
where
scs :: forall wWw wXx wYy . Maybe (FileHunk wWw wXx) -> FL p wXx wYy -> m Doc
scs pold (p :>: ps) = do
(_, s') <- nestedApply (apply p) =<< getApplyState
case isHunk p of
Nothing -> do
a <- showContextPatch use p
b <- nestedApply (scs Nothing ps) s'
return $ a $$ fst b
Just fh -> case ps of
NilFL -> fst <$> liftApply (cool pold fh Nothing) s'
(p2 :>: _) -> do
a <- fst <$> liftApply (cool pold fh (isHunk p2)) s'
b <- nestedApply (scs (Just fh) ps) s'
return $ a $$ fst b
scs _ NilFL = return empty
cool :: Maybe (FileHunk wA wB) -> FileHunk wB wC -> Maybe (FileHunk wC wD)
-> (ApplyState p) (ApplyMonadBase m) -> (ApplyMonadBase m) Doc
cool pold fh ps s =
fst <$> virtualTreeMonad (coolContextHunk fmt pold fh ps) (toTree s)
showContextHunk :: (ApplyMonad Tree m) => FileNameFormat -> FileHunk wX wY -> m Doc
showContextHunk fmt h = coolContextHunk fmt Nothing h Nothing
coolContextHunk :: (ApplyMonad Tree m)
=> FileNameFormat
-> Maybe (FileHunk wA wB) -> FileHunk wB wC
-> Maybe (FileHunk wC wD) -> m Doc
coolContextHunk fmt prev fh@(FileHunk f l o n) next = do
have <- mDoesFileExist f
content <- if have then Just `fmap` mReadFilePS f else return Nothing
case linesPS `fmap` content of
Nothing -> return $ showFileHunk fmt fh
Just ls ->
let pre = take numpre $ drop (l - numpre - 1) ls
cleanedls = case reverse ls of
(x : xs)
| B.null x -> reverse xs
_ -> ls
post = take numpost $ drop (max 0 $ l+length o-1) cleanedls in
return $
blueText "hunk" <+> formatFileName fmt f
<+> text (show l)
$$ prefix " " (vcat $ map userchunkPS pre)
$$ lineColor Magenta (prefix "-" (vcat $ map userchunkPS o))
$$ lineColor Cyan (prefix "+" (vcat $ map userchunkPS n))
$$ prefix " " (vcat $ map userchunkPS post)
where
numpre = case prev of
Just (FileHunk f' lprev _ nprev)
| f' == f && l - (lprev + length nprev + 3) < 3 && lprev < l
-> max 0 $ l - (lprev + length nprev + 3)
_ -> if l >= 4 then 3 else l - 1
numpost = case next of
Just (FileHunk f' lnext _ _)
| f' == f && lnext < l + length n + 4 && lnext > l
-> lnext - (l + length n)
_ -> 3
instance (PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (FL p) where
showPatch ForDisplay = vcat . mapFL (showPatch ForDisplay)
showPatch ForStorage = showPatchInternal patchListFormat
where
showPatchInternal :: ListFormat p -> FL p wX wY -> Doc
showPatchInternal ListFormatV1 (p :>: NilFL) = (showPatch ForStorage) p
showPatchInternal ListFormatV1 NilFL = blueText "{" $$ blueText "}"
showPatchInternal ListFormatV1 ps = blueText "{"
$$ vcat (mapFL (showPatch ForStorage) ps)
$$ blueText "}"
showPatchInternal ListFormatV2 ps = vcat (mapFL (showPatch ForStorage) ps)
showPatchInternal ListFormatDefault ps = vcat (mapFL (showPatch ForStorage) ps)
instance (Apply p, IsHunk p, PatchListFormat p, ShowContextPatch p)
=> ShowContextPatch (FL p) where
showContextPatch ForDisplay = showContextSeries ForDisplay UserFormat
showContextPatch ForStorage = showContextPatchInternal patchListFormat
where
showContextPatchInternal :: (ApplyMonad (ApplyState (FL p)) m)
=> ListFormat p -> FL p wX wY -> m Doc
showContextPatchInternal ListFormatV1 (p :>: NilFL) =
showContextPatch ForStorage p
showContextPatchInternal ListFormatV1 NilFL =
return $ blueText "{" $$ blueText "}"
showContextPatchInternal ListFormatV1 ps = do
x <- showContextSeries ForStorage OldFormat ps
return $ blueText "{" $$ x $$ blueText "}"
showContextPatchInternal ListFormatV2 ps = showContextSeries ForStorage NewFormat ps
showContextPatchInternal ListFormatDefault ps = showContextSeries ForStorage NewFormat ps
instance (PatchListFormat p, ShowPatch p) => ShowPatch (FL p) where
description = vcat . mapFL description
summary = summaryFL
summaryFL = summaryFL . concatFL
thing x = thing (helperx x) ++ "s"
where
helperx :: FL a wX wY -> a wX wY
helperx _ = undefined
things = thing
instance (PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (RL p) where
showPatch f = showPatch f . reverseRL
instance (ShowContextPatch p, Apply p, IsHunk p, PatchListFormat p)
=> ShowContextPatch (RL p) where
showContextPatch use = showContextPatch use . reverseRL
instance (PatchListFormat p, ShowPatch p) => ShowPatch (RL p) where
description = description . reverseRL
summary = summary . reverseRL
summaryFL = summaryFL . mapFL_FL reverseRL
thing = thing . reverseRL
things = things . reverseRL