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.Type.Coercion

Contents

Description

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

Since: 2

Orphan instances

TextShow2 (Coercion :: * -> * -> *) #	Since: 2
Instance details 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
Instance details 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
Instance details 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 #