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

Safe HaskellSafe
LanguageHaskell2010

Darcs.Patch.Witnesses.Show

Documentation

data ShowDict a where Source

Constructors

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

class Show1 a where Source

Methods

showDict1 :: ShowDict (a wX) Source

Instances

Show1 (Prim wX) Source 
Show1 (Hunk wX) Source 
(Show2 p, Show2 (PrimOf p)) => Show1 (Non p) Source 
Show2 a => Show1 (RL a wX) Source 
Show2 a => Show1 (FL a wX) Source 
Show2 p => Show1 (Named p wX) Source 
Show1 (RebaseName p wX) Source 
Show2 (PrimOf p) => Show1 (RebaseFixup p wX) Source 
Show2 prim => Show1 (Patch prim wX) Source 
Show2 prim => Show1 (RealPatch prim wX) Source 
Show2 p => Show1 (PatchInfoAnd p wX) Source 
Show2 p => Show1 (Tagged p wX) Source 
Show2 p => Show1 (PatchSet p wStart) Source 
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseItem p wX) Source 
(Show2 p, Show2 (PrimOf p)) => Show1 (Rebasing p wX) Source 
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseChange p wX) Source 
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseSelect p wX) Source 
(Show2 a, Show2 b) => Show1 ((:>) a b wX) Source 

class Show2 a where Source

Methods

showDict2 :: ShowDict (a wX wY) Source

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

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

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

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

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