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.Equality

Contents

Orphan instances

Description

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

Since: 2

Orphan instances

TextShow2 ((:~:) :: Type -> Type -> Type) #	Since: 2
Instance details Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> (a :~: b) -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [a :~: b] -> Builder #
TextShow2 ((:~~:) :: Type -> Type -> Type) #	Since: 3.6
Instance details Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> (a :~~: b) -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [a :~~: b] -> Builder #
TextShow1 ((:~:) a) #	Since: 2
Instance details Methods liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> (a :~: a0) -> Builder # liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [a :~: a0] -> Builder #
TextShow1 ((:~~:) a :: Type -> Type) #	Since: 3.6
Instance details Methods liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> (a :~~: a0) -> Builder # liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [a :~~: a0] -> Builder #
TextShow (a :~: b) #	Since: 2
Instance details Methods showbPrec :: Int -> (a :~: b) -> Builder # showb :: (a :~: b) -> Builder # showbList :: [a :~: b] -> Builder # showtPrec :: Int -> (a :~: b) -> Text # showt :: (a :~: b) -> Text # showtList :: [a :~: b] -> Text # showtlPrec :: Int -> (a :~: b) -> Text # showtl :: (a :~: b) -> Text # showtlList :: [a :~: b] -> Text #
TextShow (a :~~: b) #	Since: 3.6
Instance details Methods showbPrec :: Int -> (a :~~: b) -> Builder # showb :: (a :~~: b) -> Builder # showbList :: [a :~~: b] -> Builder # showtPrec :: Int -> (a :~~: b) -> Text # showt :: (a :~~: b) -> Text # showtList :: [a :~~: b] -> Text # showtlPrec :: Int -> (a :~~: b) -> Text # showtl :: (a :~~: b) -> Text # showtlList :: [a :~~: b] -> Text #