text-show-3.10.4: Efficient conversion of values into Text

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

TextShow.Data.Type.Coercion

Contents

- Orphan instances

Description

`TextShow` instance for representational equality.

Since: 2

# Orphan instances

TextShow2 (Coercion :: Type -> Type -> Type) Source # | Since: 2
Instance details Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> Coercion a b -> Builder Source # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [Coercion a b] -> Builder Source #
TextShow1 (Coercion a) Source # | Since: 2
Instance details Methods liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> Coercion a a0 -> Builder Source # liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [Coercion a a0] -> Builder Source #
TextShow (Coercion a b) Source # | Since: 2

Instance details

Methods

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

showb :: Coercion a b -> Builder Source #

showbList :: [Coercion a b] -> Builder Source #

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

showt :: Coercion a b -> Text Source #

showtList :: [Coercion a b] -> Text Source #

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

showtl :: Coercion a b -> Text Source #

showtlList :: [Coercion a b] -> Text Source #