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

Description

TextShow instance for representational equality.

Since: 2

Orphan instances

TextShow2 (Coercion :: TYPE LiftedRep -> TYPE LiftedRep -> 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 #