TextShow.Data.Type.Coercion

Monomorphic TextShow function for representational equality. This module only exports functions if using base-4.7.0.0 or later.

Since: 2

Documentation

showbCoercion :: Coercion a b -> Builder

Convert a representational equality value to a Builder. This function is only available with base-4.7.0.0 or later.

Since: 2

Orphan instances

TextShow2 (Coercion *)

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)

Methods

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

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

TextShow (Coercion k a0 b0)

Methods

showbPrec :: Int -> Coercion k a0 b0 -> Builder

showb :: Coercion k a0 b0 -> Builder

showbList :: [Coercion k a0 b0] -> Builder

showtPrec :: Int -> Coercion k a0 b0 -> Text

showt :: Coercion k a0 b0 -> Text

showtList :: [Coercion k a0 b0] -> Text

showtlPrec :: Int -> Coercion k a0 b0 -> Text

showtl :: Coercion k a0 b0 -> Text

showtlList :: [Coercion k a0 b0] -> Text