darcs-2.11.0: a distributed, interactive, smart revision control system

Safe HaskellSafe-Inferred

Darcs.Patch.Witnesses.Show

Documentation

data ShowDict a where

Constructors

ShowDictClass :: Show a => ShowDict a 
ShowDictRecord :: (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> ShowDict a 

showD :: ShowDict a -> a -> String

showListD :: ShowDict a -> [a] -> ShowS

showsPrecD :: ShowDict a -> Int -> a -> ShowS

class Show1 a where

Methods

showDict1 :: ShowDict (a wX)

Instances

Show1 (Prim wX) 
Show1 (Prim wX) 
Show1 (Hunk wX) 
(Show2 p, Show2 (PrimOf p)) => Show1 (Non p) 
Show2 a => Show1 (RL a wX) 
Show2 a => Show1 (FL a wX) 
Show2 prim => Show1 (RepoPatchV1 prim wX) 
Show2 p => Show1 (Named p wX) 
Show1 (RebaseName p wX) 
Show2 prim => Show1 (RepoPatchV2 prim wX) 
Show2 (PrimOf p) => Show1 (RebaseFixup p wX) 
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseItem p wX) 
(Show2 p, Show2 (PrimOf p)) => Show1 (Suspended p wX) 
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseChange p wX) 
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseSelect p wX) 
(Show2 a, Show2 b) => Show1 (:> a b wX) 
Show2 p => Show1 (WrappedNamed rt p wX) 
Show2 p => Show1 (PatchInfoAnd rt p wX) 
Show2 p => Show1 (Tagged rt p wX) 
Show2 p => Show1 (PatchSet rt p wStart) 

class Show2 a where

Methods

showDict2 :: ShowDict (a wX wY)

Instances

Show2 Prim 
Show2 Prim 
Show2 Hunk 
Show2 DummyPatch 
Show2 a => Show2 (RL a) 
Show2 a => Show2 (FL a) 
Show2 prim => Show2 (RepoPatchV1 prim) 
Show2 p => Show2 (Named p) 
Show2 (RebaseName p) 
Show2 prim => Show2 (RepoPatchV2 prim) 
Show2 (PrimOf p) => Show2 (RebaseFixup p) 
(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseItem p) 
(Show2 p, Show2 (PrimOf p)) => Show2 (Suspended p) 
(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseChange p) 
(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseSelect p) 
(Show2 a, Show2 b) => Show2 (:/\: a b) 
(Show2 a, Show2 b) => Show2 (:\/: a b) 
(Show2 a, Show2 b) => Show2 (:> a b) 
Show2 p => Show2 (WrappedNamed rt p) 
Show2 p => Show2 (PatchInfoAnd rt p) 
Show2 p => Show2 (Tagged rt p) 
Show2 p => Show2 (PatchSet rt p) 

show1 :: Show1 a => a wX -> String

showsPrec1 :: Show1 a => Int -> a wX -> ShowS

show2 :: Show2 a => a wX wY -> String

showsPrec2 :: Show2 a => Int -> a wX wY -> ShowS

showOp2 :: (Show2 a, Show2 b) => Int -> String -> Int -> a wW wX -> b wY wZ -> String -> String