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