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

Contents

Orphan instances

Description

TextShow instance for propositional equality.

Since: 2

Orphan instances

TextShow2 ((:~:) :: TYPE LiftedRep -> TYPE LiftedRep -> 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 #
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 #
TextShow2 ((:~~:) :: TYPE LiftedRep -> TYPE LiftedRep -> 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 #
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 #
TextShow1 ((:~~:) a :: TYPE LiftedRep -> 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: 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 #