{-# LANGUAGE GADTs           #-}
{-# LANGUAGE PolyKinds       #-}
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module:      TextShow.Data.Type.Coercion
Copyright:   (C) 2014-2017 Ryan Scott
License:     BSD-style (see the file LICENSE)
Maintainer:  Ryan Scott
Stability:   Provisional
Portability: GHC

'TextShow' instance for representational equality.

/Since: 2/
-}
module TextShow.Data.Type.Coercion () where

import Data.Type.Coercion (Coercion)

import TextShow.Classes (TextShow1(..))
import TextShow.TH.Internal (deriveTextShow, deriveTextShow2, makeLiftShowbPrec)

-- | /Since: 2/
$(deriveTextShow ''Coercion)

-- | /Since: 2/
instance TextShow1 (Coercion a) where
    liftShowbPrec :: forall a.
(Int -> a -> Builder)
-> ([a] -> Builder) -> Int -> Coercion a a -> Builder
liftShowbPrec = $(makeLiftShowbPrec ''Coercion)

-- | /Since: 2/
$(deriveTextShow2 ''Coercion)