text-show-instances-3.8: Additional instances for text-show

Copyright(C) 2014-2017 Ryan Scott
LicenseBSD-style (see the file LICENSE)
MaintainerRyan Scott
StabilityProvisional
PortabilityGHC
Safe HaskellNone
LanguageHaskell2010

TextShow.Data.Bifunctor

Contents

Description

TextShow instances for data types in the bifunctors library.

Since: 2

Orphan instances

TextShow2 p => TextShow1 (Join p) Source #

Since: 2

Instance details

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) Source #

Since: 2

Instance details

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 p a) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Join p a -> Builder #

showb :: Join p a -> Builder #

showbList :: [Join p a] -> Builder #

showtPrec :: Int -> Join p a -> Text #

showt :: Join p a -> Text #

showtList :: [Join p a] -> Text #

showtlPrec :: Int -> Join p a -> Text #

showtl :: Join p a -> Text #

showtlList :: [Join p a] -> Text #

TextShow (p (Fix p a) a) => TextShow (Fix p a) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Fix p a -> Builder #

showb :: Fix p a -> Builder #

showbList :: [Fix p a] -> Builder #

showtPrec :: Int -> Fix p a -> Text #

showt :: Fix p a -> Text #

showtList :: [Fix p a] -> Text #

showtlPrec :: Int -> Fix p a -> Text #

showtl :: Fix p a -> Text #

showtlList :: [Fix p a] -> Text #

TextShow2 p => TextShow2 (WrappedBifunctor p) Source #

Since: 2

Instance details

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 :: Type -> Type -> Type) Source #

Since: 2

Instance details

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) Source #

Since: 2

Instance details

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 :: Type -> Type -> Type) Source #

Since: 2

Instance details

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) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> WrappedBifunctor p a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [WrappedBifunctor p a a0] -> Builder #

TextShow1 g => TextShow1 (Joker g a) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Joker g a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Joker g a a0] -> Builder #

(TextShow2 p, TextShow a) => TextShow1 (Flip p a) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Flip p a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Flip p a a0] -> Builder #

TextShow (f a) => TextShow1 (Clown f a :: Type -> Type) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Clown f a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Clown f a a0] -> Builder #

(TextShow2 p, TextShow2 q) => TextShow2 (Sum p q) Source #

Since: 2

Instance details

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) Source #

Since: 2

Instance details

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 p a b) Source #

Since: 2

Instance details

TextShow (g b) => TextShow (Joker g a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Joker g a b -> Builder #

showb :: Joker g a b -> Builder #

showbList :: [Joker g a b] -> Builder #

showtPrec :: Int -> Joker g a b -> Text #

showt :: Joker g a b -> Text #

showtList :: [Joker g a b] -> Text #

showtlPrec :: Int -> Joker g a b -> Text #

showtl :: Joker g a b -> Text #

showtlList :: [Joker g a b] -> Text #

TextShow (p b a) => TextShow (Flip p a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Flip p a b -> Builder #

showb :: Flip p a b -> Builder #

showbList :: [Flip p a b] -> Builder #

showtPrec :: Int -> Flip p a b -> Text #

showt :: Flip p a b -> Text #

showtList :: [Flip p a b] -> Text #

showtlPrec :: Int -> Flip p a b -> Text #

showtl :: Flip p a b -> Text #

showtlList :: [Flip p a b] -> Text #

TextShow (f a) => TextShow (Clown f a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Clown f a b -> Builder #

showb :: Clown f a b -> Builder #

showbList :: [Clown f a b] -> Builder #

showtPrec :: Int -> Clown f a b -> Text #

showt :: Clown f a b -> Text #

showtList :: [Clown f a b] -> Text #

showtlPrec :: Int -> Clown f a b -> Text #

showtl :: Clown f a b -> Text #

showtlList :: [Clown f a b] -> Text #

(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Sum f g a) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Sum f g a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Sum f g a a0] -> Builder #

(TextShow2 f, TextShow2 g, TextShow a) => TextShow1 (Product f g a) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Product f g a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Product f g a a0] -> Builder #

(TextShow1 f, TextShow2 p) => TextShow2 (Tannen f p) Source #

Since: 2

Instance details

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 f g a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Sum f g a b -> Builder #

showb :: Sum f g a b -> Builder #

showbList :: [Sum f g a b] -> Builder #

showtPrec :: Int -> Sum f g a b -> Text #

showt :: Sum f g a b -> Text #

showtList :: [Sum f g a b] -> Text #

showtlPrec :: Int -> Sum f g a b -> Text #

showtl :: Sum f g a b -> Text #

showtlList :: [Sum f g a b] -> Text #

(TextShow (f a b), TextShow (g a b)) => TextShow (Product f g a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Product f g a b -> Builder #

showb :: Product f g a b -> Builder #

showbList :: [Product f g a b] -> Builder #

showtPrec :: Int -> Product f g a b -> Text #

showt :: Product f g a b -> Text #

showtList :: [Product f g a b] -> Text #

showtlPrec :: Int -> Product f g a b -> Text #

showtl :: Product f g a b -> Text #

showtlList :: [Product f g a b] -> Text #

(TextShow1 f, TextShow2 p, TextShow a) => TextShow1 (Tannen f p a) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Tannen f p a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Tannen f p a a0] -> Builder #

TextShow (f (p a b)) => TextShow (Tannen f p a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Tannen f p a b -> Builder #

showb :: Tannen f p a b -> Builder #

showbList :: [Tannen f p a b] -> Builder #

showtPrec :: Int -> Tannen f p a b -> Text #

showt :: Tannen f p a b -> Text #

showtList :: [Tannen f p a b] -> Text #

showtlPrec :: Int -> Tannen f p a b -> Text #

showtl :: Tannen f p a b -> Text #

showtlList :: [Tannen f p a b] -> Text #

(TextShow2 p, TextShow1 f, TextShow1 g) => TextShow2 (Biff p f g) Source #

Since: 2

Instance details

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) Source #

Since: 2

Instance details

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Biff p f g a a0 -> Builder #

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Biff p f g a a0] -> Builder #

TextShow (p (f a) (g b)) => TextShow (Biff p f g a b) Source #

Since: 2

Instance details

Methods

showbPrec :: Int -> Biff p f g a b -> Builder #

showb :: Biff p f g a b -> Builder #

showbList :: [Biff p f g a b] -> Builder #

showtPrec :: Int -> Biff p f g a b -> Text #

showt :: Biff p f g a b -> Text #

showtList :: [Biff p f g a b] -> Text #

showtlPrec :: Int -> Biff p f g a b -> Text #

showtl :: Biff p f g a b -> Text #

showtlList :: [Biff p f g a b] -> Text #