{-# LANGUAGE CPP #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module TextShow.GHC.TypeLits () where
import GHC.TypeLits (SomeNat(..), SomeSymbol(..), natVal, symbolVal)
#if MIN_VERSION_base(4,16,0)
import GHC.TypeLits (SomeChar(..), charVal)
#endif
import Prelude ()
import Prelude.Compat
import TextShow.Classes (TextShow(..))
import TextShow.Data.Char ()
import TextShow.Data.Integral ()
#if MIN_VERSION_base(4,18,0)
import Data.Text.Lazy.Builder (fromString)
import GHC.Show (appPrec, appPrec1)
import GHC.TypeLits ( SNat, SSymbol, SChar
, fromSNat, fromSSymbol, fromSChar
)
import TextShow.Classes (showbParen)
#endif
instance TextShow SomeNat where
showbPrec :: Int -> SomeNat -> Builder
showbPrec Int
p (SomeNat Proxy n
x) = forall a. TextShow a => Int -> a -> Builder
showbPrec Int
p forall a b. (a -> b) -> a -> b
$ forall (n :: Nat) (proxy :: Nat -> *).
KnownNat n =>
proxy n -> Integer
natVal Proxy n
x
{-# INLINE showbPrec #-}
instance TextShow SomeSymbol where
showb :: SomeSymbol -> Builder
showb (SomeSymbol Proxy n
x) = forall a. TextShow a => [a] -> Builder
showbList forall a b. (a -> b) -> a -> b
$ forall (n :: Symbol) (proxy :: Symbol -> *).
KnownSymbol n =>
proxy n -> String
symbolVal Proxy n
x
{-# INLINE showb #-}
#if MIN_VERSION_base(4,16,0)
instance TextShow SomeChar where
showbPrec :: Int -> SomeChar -> Builder
showbPrec Int
p (SomeChar Proxy n
x) = forall a. TextShow a => Int -> a -> Builder
showbPrec Int
p forall a b. (a -> b) -> a -> b
$ forall (n :: Char) (proxy :: Char -> *).
KnownChar n =>
proxy n -> Char
charVal Proxy n
x
{-# INLINE showbPrec #-}
#endif
#if MIN_VERSION_base(4,18,0)
instance TextShow (SNat n) where
showbPrec p sn
= showbParen (p > appPrec)
( fromString "SNat @"
<> showbPrec appPrec1 (fromSNat sn)
)
instance TextShow (SSymbol s) where
showbPrec p ss
= showbParen (p > appPrec)
( fromString "SSymbol @"
<> showbList (fromSSymbol ss)
)
instance TextShow (SChar c) where
showbPrec p sc
= showbParen (p > appPrec)
( fromString "SChar @"
<> showbPrec appPrec1 (fromSChar sc)
)
#endif