darcs-2.12.5: 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 #

Minimal complete definition

showDict1

Methods

showDict1 :: ShowDict (a wX) Source #

Instances

Show1 (Prim wX) Source # 

Methods

showDict1 :: ShowDict (Prim wX wX) Source #

Show1 (Hunk wX) Source # 

Methods

showDict1 :: ShowDict (Hunk wX wX) Source #

(Show2 p, Show2 (PrimOf p)) => Show1 (Non p) Source # 

Methods

showDict1 :: ShowDict (Non p wX) Source #

Show2 a => Show1 (RL a wX) Source # 

Methods

showDict1 :: ShowDict (RL a wX wX) Source #

Show2 a => Show1 (FL a wX) Source # 

Methods

showDict1 :: ShowDict (FL a wX wX) Source #

Show2 prim => Show1 (RepoPatchV1 prim wX) Source # 

Methods

showDict1 :: ShowDict (RepoPatchV1 prim wX wX) Source #

Show2 p => Show1 (Named p wX) Source # 

Methods

showDict1 :: ShowDict (Named p wX wX) Source #

Show1 (RebaseName p wX) Source # 

Methods

showDict1 :: ShowDict (RebaseName p wX wX) Source #

Show2 (PrimOf p) => Show1 (RebaseFixup p wX) Source # 

Methods

showDict1 :: ShowDict (RebaseFixup p wX wX) Source #

(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseItem p wX) Source # 

Methods

showDict1 :: ShowDict (RebaseItem p wX wX) Source #

(Show2 p, Show2 (PrimOf p)) => Show1 (Suspended p wX) Source # 

Methods

showDict1 :: ShowDict (Suspended p wX wX) Source #

Show2 prim => Show1 (RepoPatchV2 prim wX) Source # 

Methods

showDict1 :: ShowDict (RepoPatchV2 prim wX wX) Source #

(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseChange p wX) Source # 

Methods

showDict1 :: ShowDict (RebaseChange p wX wX) Source #

(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseSelect p wX) Source # 

Methods

showDict1 :: ShowDict (RebaseSelect p wX wX) Source #

(Show2 a, Show2 b) => Show1 ((:>) a b wX) Source # 

Methods

showDict1 :: ShowDict ((a :> b) wX wX) Source #

Show2 p => Show1 (WrappedNamed rt p wX) Source # 

Methods

showDict1 :: ShowDict (WrappedNamed rt p wX wX) Source #

Show2 p => Show1 (PatchInfoAnd rt p wX) Source # 

Methods

showDict1 :: ShowDict (PatchInfoAnd rt p wX wX) Source #

Show2 p => Show1 (Tagged rt p wX) Source # 

Methods

showDict1 :: ShowDict (Tagged rt p wX wX) Source #

Show2 p => Show1 (PatchSet rt p wStart) Source # 

Methods

showDict1 :: ShowDict (PatchSet rt p wStart wX) Source #

class Show2 a where Source #

Minimal complete definition

showDict2

Methods

showDict2 :: ShowDict (a wX wY) Source #

Instances

Show2 Prim Source # 

Methods

showDict2 :: ShowDict (Prim wX wY) Source #

Show2 Hunk Source # 

Methods

showDict2 :: ShowDict (Hunk wX wY) Source #

Show2 DummyPatch Source # 
Show2 a => Show2 (RL a) Source # 

Methods

showDict2 :: ShowDict (RL a wX wY) Source #

Show2 a => Show2 (FL a) Source # 

Methods

showDict2 :: ShowDict (FL a wX wY) Source #

Show2 prim => Show2 (RepoPatchV1 prim) Source # 

Methods

showDict2 :: ShowDict (RepoPatchV1 prim wX wY) Source #

Show2 p => Show2 (Named p) Source # 

Methods

showDict2 :: ShowDict (Named p wX wY) Source #

Show2 (RebaseName p) Source # 

Methods

showDict2 :: ShowDict (RebaseName p wX wY) Source #

Show2 (PrimOf p) => Show2 (RebaseFixup p) Source # 

Methods

showDict2 :: ShowDict (RebaseFixup p wX wY) Source #

(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseItem p) Source # 

Methods

showDict2 :: ShowDict (RebaseItem p wX wY) Source #

(Show2 p, Show2 (PrimOf p)) => Show2 (Suspended p) Source # 

Methods

showDict2 :: ShowDict (Suspended p wX wY) Source #

Show2 prim => Show2 (RepoPatchV2 prim) Source # 

Methods

showDict2 :: ShowDict (RepoPatchV2 prim wX wY) Source #

(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseChange p) Source # 

Methods

showDict2 :: ShowDict (RebaseChange p wX wY) Source #

(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseSelect p) Source # 

Methods

showDict2 :: ShowDict (RebaseSelect p wX wY) Source #

(Show2 a, Show2 b) => Show2 ((:/\:) a b) Source # 

Methods

showDict2 :: ShowDict ((a :/\: b) wX wY) Source #

(Show2 a, Show2 b) => Show2 ((:\/:) a b) Source # 

Methods

showDict2 :: ShowDict ((a :\/: b) wX wY) Source #

(Show2 a, Show2 b) => Show2 ((:>) a b) Source # 

Methods

showDict2 :: ShowDict ((a :> b) wX wY) Source #

Show2 p => Show2 (WrappedNamed rt p) Source # 

Methods

showDict2 :: ShowDict (WrappedNamed rt p wX wY) Source #

Show2 p => Show2 (PatchInfoAnd rt p) Source # 

Methods

showDict2 :: ShowDict (PatchInfoAnd rt p wX wY) Source #

Show2 p => Show2 (Tagged rt p) Source # 

Methods

showDict2 :: ShowDict (Tagged rt p wX wY) Source #

Show2 p => Show2 (PatchSet rt p) Source # 

Methods

showDict2 :: ShowDict (PatchSet rt p 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 #