-- Copyright (C) 2003 David Roundy
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 2, or (at your option)
-- any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program; see the file COPYING.  If not, write to
-- the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
-- Boston, MA 02110-1301, USA.

module Darcs.UI.PrintPatch
    ( contextualPrintPatchWithPager
    , printContent
    , printContentWithPager
    , printFriendly
    , printSummary
    , showFriendly
    , showWithSummary
    ) where

import Darcs.Prelude

import Darcs.Patch ( description, content, summary )
import Darcs.Patch.Apply ( ApplyState )
import Darcs.Patch.ApplyMonad ( ApplyMonadTrans )
import Darcs.Patch.Show
    ( ShowContextPatch
    , ShowPatch
    , ShowPatchFor(ForDisplay)
    , showPatchWithContext
    )
import Darcs.UI.External ( viewDocWith )
import Darcs.UI.Options.All ( Verbosity(..), WithSummary(..) )
import Darcs.Util.Printer ( Doc, prefix, putDocLnWith, ($$) )
import Darcs.Util.Printer.Color ( fancyPrinters )

-- | @'printFriendly' opts patch@ prints @patch@ in accordance with the flags
-- in opts, ie, whether @--verbose@ or @--summary@ were passed at the
-- command-line.
printFriendly :: ShowPatch p => Verbosity -> WithSummary -> p wX wY -> IO ()
printFriendly :: forall (p :: * -> * -> *) wX wY.
ShowPatch p =>
Verbosity -> WithSummary -> p wX wY -> IO ()
printFriendly Verbosity
v WithSummary
s = Printers -> Doc -> IO ()
putDocLnWith Printers
fancyPrinters (Doc -> IO ()) -> (p wX wY -> Doc) -> p wX wY -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Verbosity -> WithSummary -> p wX wY -> Doc
forall (p :: * -> * -> *) wX wY.
ShowPatch p =>
Verbosity -> WithSummary -> p wX wY -> Doc
showFriendly Verbosity
v WithSummary
s

-- | @'showFriendly' flags patch@ returns a 'Doc' representing the right
-- way to show @patch@ given the list @flags@ of flags darcs was invoked with.
showFriendly :: ShowPatch p => Verbosity -> WithSummary -> p wX wY -> Doc
showFriendly :: forall (p :: * -> * -> *) wX wY.
ShowPatch p =>
Verbosity -> WithSummary -> p wX wY -> Doc
showFriendly Verbosity
Verbose WithSummary
_          = p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
showWithContents
showFriendly Verbosity
_       WithSummary
YesSummary = p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
showWithSummary
showFriendly Verbosity
_       WithSummary
NoSummary  = p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
description

showWithSummary :: ShowPatch p => p wX wY -> Doc
showWithSummary :: forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
showWithSummary p wX wY
p = p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
description p wX wY
p Doc -> Doc -> Doc
$$ String -> Doc -> Doc
prefix String
"    " (p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
summary p wX wY
p)

showWithContents :: ShowPatch p => p wX wY -> Doc
showWithContents :: forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
showWithContents p wX wY
p = p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
description p wX wY
p Doc -> Doc -> Doc
$$ String -> Doc -> Doc
prefix String
"    " (p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
content p wX wY
p)

printSummary :: ShowPatch p => p wX wY -> IO ()
printSummary :: forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> IO ()
printSummary = Printers -> Doc -> IO ()
putDocLnWith Printers
fancyPrinters (Doc -> IO ()) -> (p wX wY -> Doc) -> p wX wY -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Doc -> Doc
prefix String
"    " (Doc -> Doc) -> (p wX wY -> Doc) -> p wX wY -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
summary

printContent :: ShowPatch p => p wX wY -> IO ()
printContent :: forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> IO ()
printContent = Printers -> Doc -> IO ()
putDocLnWith Printers
fancyPrinters (Doc -> IO ()) -> (p wX wY -> Doc) -> p wX wY -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Doc -> Doc
prefix String
"    " (Doc -> Doc) -> (p wX wY -> Doc) -> p wX wY -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
content

printContentWithPager :: ShowPatch p => p wX wY -> IO ()
printContentWithPager :: forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> IO ()
printContentWithPager = Printers -> Doc -> IO ()
viewDocWith Printers
fancyPrinters (Doc -> IO ()) -> (p wX wY -> Doc) -> p wX wY -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Doc -> Doc
prefix String
"    " (Doc -> Doc) -> (p wX wY -> Doc) -> p wX wY -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. p wX wY -> Doc
forall wX wY. p wX wY -> Doc
forall (p :: * -> * -> *) wX wY. ShowPatch p => p wX wY -> Doc
content

-- | Print a patch, together with its context, on standard output, using a
-- pager.
contextualPrintPatchWithPager
  :: (ApplyMonadTrans (ApplyState p) IO, ShowContextPatch p)
  => ApplyState p IO
  -> p wX wY
  -> IO ()
contextualPrintPatchWithPager :: forall (p :: * -> * -> *) wX wY.
(ApplyMonadTrans (ApplyState p) IO, ShowContextPatch p) =>
ApplyState p IO -> p wX wY -> IO ()
contextualPrintPatchWithPager ApplyState p IO
s p wX wY
p = do
    ShowPatchFor -> ApplyState p IO -> p wX wY -> IO Doc
forall (p :: * -> * -> *) (m :: * -> *) wX wY.
(ApplyMonadTrans (ApplyState p) m, ShowContextPatch p) =>
ShowPatchFor -> ApplyState p m -> p wX wY -> m Doc
showPatchWithContext ShowPatchFor
ForDisplay ApplyState p IO
s p wX wY
p IO Doc -> (Doc -> IO ()) -> IO ()
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Printers -> Doc -> IO ()
viewDocWith Printers
fancyPrinters