TextShow.Data.Type.Coercion

TextShow instance for representational equality. Only provided if using base-4.7.0.0 or later.

Since: 2

Orphan instances

TextShow2 (Coercion :: Type -> Type -> Type)

Since: 2

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Coercion a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Coercion a b] -> Builder

TextShow1 (Coercion a)

Since: 2

Methods

liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Coercion a a0 -> Builder

liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Coercion a a0] -> Builder

TextShow (Coercion a b)

Since: 2

Methods

showbPrec :: Int -> Coercion a b -> Builder

showb :: Coercion a b -> Builder

showbList :: [Coercion a b] -> Builder

showtPrec :: Int -> Coercion a b -> Text

showt :: Coercion a b -> Text

showtList :: [Coercion a b] -> Text

showtlPrec :: Int -> Coercion a b -> Text

showtl :: Coercion a b -> Text

showtlList :: [Coercion a b] -> Text