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

Darcs.Witnesses.Show

Documentation

class Show1 a whereSource

Methods

show1 :: a -> StringSource

showsPrec1 :: Int -> a -> ShowSSource

Instances

Show2 p => Show1 (Non p) 

class Show2 a whereSource

Methods

show2 :: a -> StringSource

showsPrec2 :: Int -> a -> ShowSSource

Instances

Show2 Prim 
Show2 RealPatch 
Show2 a => Show2 (FL a) 
(Show2 a, Show2 b) => Show2 (:\/: a b) 
(Show2 a, Show2 b) => Show2 (:> a b) 

showOp2 :: (Show2 a, Show2 b) => Int -> String -> Int -> a -> b -> String -> StringSource