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

Safe Haskell | Safe
Language | Haskell2010

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 #

Minimal complete definition

showDict1

Methods

showDict1 :: ShowDict (a wX) #

Instances

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

class Show2 a where #

Minimal complete definition

showDict2

Methods

showDict2 :: ShowDict (a wX wY) #

Instances

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

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 #

appPrec :: Int #