text-show-3.6: Efficient conversion of values into Text

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 ((:~:) *) Source # | Since: 2
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
Methods liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> (* :~: a) a -> Builder Source # liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [(* :~: a) a] -> Builder Source #
TextShow ((:~:) k a0 b0) Source # | Since: 2

Methods

showbPrec :: Int -> (k :~: a0) b0 -> Builder Source #

showb :: (k :~: a0) b0 -> Builder Source #

showbList :: [(k :~: a0) b0] -> Builder Source #

showtPrec :: Int -> (k :~: a0) b0 -> Text Source #

showt :: (k :~: a0) b0 -> Text Source #

showtList :: [(k :~: a0) b0] -> Text Source #

showtlPrec :: Int -> (k :~: a0) b0 -> Text Source #

showtl :: (k :~: a0) b0 -> Text Source #

showtlList :: [(k :~: a0) b0] -> Text Source #