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
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 |
TextShow2 ((:~~:) :: Type -> Type -> Type) Source # | Since: 3.6 |
TextShow1 ((:~:) a) Source # | Since: 2 |
TextShow1 ((:~~:) a :: Type -> Type) Source # | Since: 3.6 |
TextShow (a :~: b) Source # | Since: 2 |
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 |
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 # |