language-pts-0: Pure Type Systems

Safe HaskellSafe
LanguageHaskell2010

Text.Show.Extras

Documentation

showsTernaryWith :: (Int -> a -> ShowS) -> (Int -> b -> ShowS) -> (Int -> c -> ShowS) -> String -> Int -> a -> b -> c -> ShowS Source #

showsQuadWith :: (Int -> a -> ShowS) -> (Int -> b -> ShowS) -> (Int -> c -> ShowS) -> (Int -> d -> ShowS) -> String -> Int -> a -> b -> c -> d -> ShowS Source #

showsQuintWith :: (Int -> a -> ShowS) -> (Int -> b -> ShowS) -> (Int -> c -> ShowS) -> (Int -> d -> ShowS) -> (Int -> e -> ShowS) -> String -> Int -> a -> b -> c -> d -> e -> ShowS Source #

newtype P a f b Source #

Constructors

P [(a, f b)] 
Instances
(Show a, Show1 f) => Show1 (P a f) Source # 
Instance details

Defined in Text.Show.Extras

Methods

liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> P a f a0 -> ShowS Source #

liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [P a f a0] -> ShowS Source #