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

Safe HaskellSafe-Inferred
LanguageHaskell98

Darcs.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 x) Source

Instances

Show1 (Prim x) 
Show1 (Prim x) 
(Show2 p, Show2 (PrimOf p)) => Show1 (Non p) 
Show2 a => Show1 (RL a x) 
Show2 a => Show1 (FL a x) 
PrimPatch prim => Show1 (Patch prim x) 
(PatchListFormat p, ShowPatch p) => Show1 (Named p x) 
(Show2 a, Show2 b) => Show1 ((:>) a b x) 

class Show2 a where Source

Methods

showDict2 :: ShowDict (a x y) Source

Instances

Show2 Prim 
Show2 Prim 
Show2 a => Show2 (RL a) 
Show2 a => Show2 (FL a) 
PrimPatch prim => Show2 (Patch prim) 
(PatchListFormat p, ShowPatch p) => Show2 (Named p) 
PrimPatch prim => Show2 (RealPatch prim) 
(Show2 a, Show2 b) => Show2 ((:\/:) a b) 
(Show2 a, Show2 b) => Show2 ((:>) a b) 

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

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

show2 :: Show2 a => a x y -> String Source

showsPrec2 :: Show2 a => Int -> a x y -> ShowS Source

showOp2 :: (Show2 a, Show2 b) => Int -> String -> Int -> a w x -> b y z -> String -> String Source