Copyright	(C) 2014-2017 Ryan Scott
License	BSD-style (see the file LICENSE)
Maintainer	Ryan Scott
Stability	Provisional
Portability	GHC
Safe Haskell	None
Language	Haskell2010

TextShow.Data.Bifunctor

Contents

Orphan instances

Description

TextShow instances for data types in the bifunctors library.

Since: 2

Orphan instances

TextShow2 p => TextShow1 (Join * p) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Join * p a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Join * p a] -> Builder #
TextShow2 p => TextShow1 (Fix * p) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Fix * p a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Fix * p a] -> Builder #
TextShow (p a a) => TextShow (Join k p a) #	Since: 2
Methods showbPrec :: Int -> Join k p a -> Builder # showb :: Join k p a -> Builder # showbList :: [Join k p a] -> Builder # showtPrec :: Int -> Join k p a -> Text # showt :: Join k p a -> Text # showtList :: [Join k p a] -> Text # showtlPrec :: Int -> Join k p a -> Text # showtl :: Join k p a -> Text # showtlList :: [Join k p a] -> Text #
TextShow (p (Fix k p a) a) => TextShow (Fix k p a) #	Since: 2
Methods showbPrec :: Int -> Fix k p a -> Builder # showb :: Fix k p a -> Builder # showbList :: [Fix k p a] -> Builder # showtPrec :: Int -> Fix k p a -> Text # showt :: Fix k p a -> Text # showtList :: [Fix k p a] -> Text # showtlPrec :: Int -> Fix k p a -> Text # showtl :: Fix k p a -> Text # showtlList :: [Fix k p a] -> Text #
TextShow2 p => TextShow2 (WrappedBifunctor * * p) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> WrappedBifunctor * * p a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [WrappedBifunctor * * p a b] -> Builder #
TextShow1 g => TextShow2 (Joker * * g) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Joker * * g a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Joker * * g a b] -> Builder #
TextShow2 p => TextShow2 (Flip * * p) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Flip * * p a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Flip * * p a b] -> Builder #
TextShow1 f => TextShow2 (Clown * * f) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Clown * * f a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Clown * * f a b] -> Builder #
(TextShow2 p, TextShow a) => TextShow1 (WrappedBifunctor * * p a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> WrappedBifunctor * * p a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [WrappedBifunctor * * p a a] -> Builder #
TextShow1 g => TextShow1 (Joker k * g a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Joker k * g a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Joker k * g a a] -> Builder #
(TextShow2 p, TextShow a) => TextShow1 (Flip * * p a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Flip * * p a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Flip * * p a a] -> Builder #
TextShow (f a) => TextShow1 (Clown k * f a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Clown k * f a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Clown k * f a a] -> Builder #
(TextShow2 p, TextShow2 q) => TextShow2 (Sum * * p q) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Sum * * p q a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Sum * * p q a b] -> Builder #
(TextShow2 f, TextShow2 g) => TextShow2 (Product * * f g) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Product * * f g a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Product * * f g a b] -> Builder #
TextShow (p a b) => TextShow (WrappedBifunctor k k1 p a b) #	Since: 2
Methods showbPrec :: Int -> WrappedBifunctor k k1 p a b -> Builder # showb :: WrappedBifunctor k k1 p a b -> Builder # showbList :: [WrappedBifunctor k k1 p a b] -> Builder # showtPrec :: Int -> WrappedBifunctor k k1 p a b -> Text # showt :: WrappedBifunctor k k1 p a b -> Text # showtList :: [WrappedBifunctor k k1 p a b] -> Text # showtlPrec :: Int -> WrappedBifunctor k k1 p a b -> Text # showtl :: WrappedBifunctor k k1 p a b -> Text # showtlList :: [WrappedBifunctor k k1 p a b] -> Text #
TextShow (g b) => TextShow (Joker k k1 g a b) #	Since: 2
Methods showbPrec :: Int -> Joker k k1 g a b -> Builder # showb :: Joker k k1 g a b -> Builder # showbList :: [Joker k k1 g a b] -> Builder # showtPrec :: Int -> Joker k k1 g a b -> Text # showt :: Joker k k1 g a b -> Text # showtList :: [Joker k k1 g a b] -> Text # showtlPrec :: Int -> Joker k k1 g a b -> Text # showtl :: Joker k k1 g a b -> Text # showtlList :: [Joker k k1 g a b] -> Text #
TextShow (p b a) => TextShow (Flip k k1 p a b) #	Since: 2
Methods showbPrec :: Int -> Flip k k1 p a b -> Builder # showb :: Flip k k1 p a b -> Builder # showbList :: [Flip k k1 p a b] -> Builder # showtPrec :: Int -> Flip k k1 p a b -> Text # showt :: Flip k k1 p a b -> Text # showtList :: [Flip k k1 p a b] -> Text # showtlPrec :: Int -> Flip k k1 p a b -> Text # showtl :: Flip k k1 p a b -> Text # showtlList :: [Flip k k1 p a b] -> Text #
TextShow (f a) => TextShow (Clown k k1 f a b) #	Since: 2
Methods showbPrec :: Int -> Clown k k1 f a b -> Builder # showb :: Clown k k1 f a b -> Builder # showbList :: [Clown k k1 f a b] -> Builder # showtPrec :: Int -> Clown k k1 f a b -> Text # showt :: Clown k k1 f a b -> Text # showtList :: [Clown k k1 f a b] -> Text # showtlPrec :: Int -> Clown k k1 f a b -> Text # showtl :: Clown k k1 f a b -> Text # showtlList :: [Clown k k1 f a b] -> Text #
(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Sum * * f g a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Sum * * f g a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Sum * * f g a a] -> Builder #
(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Product * * f g a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Product * * f g a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Product * * f g a a] -> Builder #
(TextShow1 f, TextShow2 p) => TextShow2 (Tannen * * * f p) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Tannen * * * f p a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Tannen * * * f p a b] -> Builder #
(TextShow (f a b), TextShow (g a b)) => TextShow (Sum k k1 f g a b) #	Since: 2
Methods showbPrec :: Int -> Sum k k1 f g a b -> Builder # showb :: Sum k k1 f g a b -> Builder # showbList :: [Sum k k1 f g a b] -> Builder # showtPrec :: Int -> Sum k k1 f g a b -> Text # showt :: Sum k k1 f g a b -> Text # showtList :: [Sum k k1 f g a b] -> Text # showtlPrec :: Int -> Sum k k1 f g a b -> Text # showtl :: Sum k k1 f g a b -> Text # showtlList :: [Sum k k1 f g a b] -> Text #
(TextShow (f a b), TextShow (g a b)) => TextShow (Product k k1 f g a b) #	Since: 2
Methods showbPrec :: Int -> Product k k1 f g a b -> Builder # showb :: Product k k1 f g a b -> Builder # showbList :: [Product k k1 f g a b] -> Builder # showtPrec :: Int -> Product k k1 f g a b -> Text # showt :: Product k k1 f g a b -> Text # showtList :: [Product k k1 f g a b] -> Text # showtlPrec :: Int -> Product k k1 f g a b -> Text # showtl :: Product k k1 f g a b -> Text # showtlList :: [Product k k1 f g a b] -> Text #
(TextShow1 f, TextShow2 p, TextShow a) => TextShow1 (Tannen * * * f p a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Tannen * * * f p a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Tannen * * * f p a a] -> Builder #
TextShow (f (p a b)) => TextShow (Tannen k k1 k2 f p a b) #	Since: 2
Methods showbPrec :: Int -> Tannen k k1 k2 f p a b -> Builder # showb :: Tannen k k1 k2 f p a b -> Builder # showbList :: [Tannen k k1 k2 f p a b] -> Builder # showtPrec :: Int -> Tannen k k1 k2 f p a b -> Text # showt :: Tannen k k1 k2 f p a b -> Text # showtList :: [Tannen k k1 k2 f p a b] -> Text # showtlPrec :: Int -> Tannen k k1 k2 f p a b -> Text # showtl :: Tannen k k1 k2 f p a b -> Text # showtlList :: [Tannen k k1 k2 f p a b] -> Text #
(TextShow2 p, TextShow1 f, TextShow1 g) => TextShow2 (Biff * * * * p f g) #	Since: 2
Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Biff * * * * p f g a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Biff * * * * p f g a b] -> Builder #
(TextShow2 p, TextShow1 f, TextShow1 g, TextShow a) => TextShow1 (Biff * * * * p f g a) #	Since: 2
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> Biff * * * * p f g a a -> Builder # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [Biff * * * * p f g a a] -> Builder #
TextShow (p (f a) (g b)) => TextShow (Biff k k1 k2 k3 p f g a b) #	Since: 2
Methods showbPrec :: Int -> Biff k k1 k2 k3 p f g a b -> Builder # showb :: Biff k k1 k2 k3 p f g a b -> Builder # showbList :: [Biff k k1 k2 k3 p f g a b] -> Builder # showtPrec :: Int -> Biff k k1 k2 k3 p f g a b -> Text # showt :: Biff k k1 k2 k3 p f g a b -> Text # showtList :: [Biff k k1 k2 k3 p f g a b] -> Text # showtlPrec :: Int -> Biff k k1 k2 k3 p f g a b -> Text # showtl :: Biff k k1 k2 k3 p f g a b -> Text # showtlList :: [Biff k k1 k2 k3 p f g a b] -> Text #