module TextShow.GHC.Generics () where
import Generics.Deriving.Base
import TextShow.Classes (TextShow(..), TextShow1(..), TextShow2(..))
import TextShow.Data.Char ()
import TextShow.Data.Floating ()
import TextShow.Data.Integral ()
import TextShow.TH.Internal (deriveTextShow, deriveTextShow1, makeShowbPrec,
makeLiftShowbPrec, makeLiftShowbPrec2)
#if !(MIN_VERSION_template_haskell(2,7,0))
import Data.Monoid.Compat ((<>))
import Data.Text.Lazy.Builder (singleton)
import GHC.Exts (Char(C#), Double(D#), Float(F#), Int(I#), Word(W#))
import GHC.Show (appPrec)
import TextShow.Classes (showbParen)
#endif
instance TextShow (U1 p) where
showbPrec = liftShowbPrec undefined undefined
$(deriveTextShow1 ''U1)
$(deriveTextShow ''Par1)
$(deriveTextShow1 ''Par1)
instance TextShow (f p) => TextShow (Rec1 f p) where
showbPrec = $(makeShowbPrec ''Rec1)
$(deriveTextShow1 ''Rec1)
instance TextShow c => TextShow (K1 i c p) where
showbPrec = liftShowbPrec undefined undefined
instance TextShow c => TextShow1 (K1 i c) where
liftShowbPrec = liftShowbPrec2 showbPrec showbList
instance TextShow2 (K1 i) where
liftShowbPrec2 = $(makeLiftShowbPrec2 ''K1)
instance TextShow (f p) => TextShow (M1 i c f p) where
showbPrec = $(makeShowbPrec ''M1)
instance TextShow1 f => TextShow1 (M1 i c f) where
liftShowbPrec = $(makeLiftShowbPrec ''M1)
instance (TextShow (f p), TextShow (g p)) => TextShow ((f :+: g) p) where
showbPrec = $(makeShowbPrec ''(:+:))
$(deriveTextShow1 ''(:+:))
instance (TextShow (f p), TextShow (g p)) => TextShow ((f :*: g) p) where
showbPrec = $(makeShowbPrec ''(:*:))
$(deriveTextShow1 ''(:*:))
instance TextShow (f (g p)) => TextShow ((f :.: g) p) where
showbPrec = $(makeShowbPrec ''(:.:))
$(deriveTextShow1 ''(:.:))
#if MIN_VERSION_template_haskell(2,7,0)
instance TextShow (UChar p) where
showbPrec = $(makeShowbPrec 'UChar)
$(deriveTextShow1 'UChar)
instance TextShow (UDouble p) where
showbPrec = $(makeShowbPrec 'UDouble)
$(deriveTextShow1 'UDouble)
instance TextShow (UFloat p) where
showbPrec = $(makeShowbPrec 'UFloat)
$(deriveTextShow1 'UFloat)
instance TextShow (UInt p) where
showbPrec = $(makeShowbPrec 'UInt)
$(deriveTextShow1 'UInt)
instance TextShow (UWord p) where
showbPrec = $(makeShowbPrec 'UWord)
$(deriveTextShow1 'UWord)
#else
instance TextShow (UChar p) where
showbPrec = liftShowbPrec undefined undefined
instance TextShow1 UChar where
liftShowbPrec _ _ p (UChar c) = showbParen (p > appPrec) $
"UChar " <> singleton '{'
<> "uChar# = " <> showb (C# c)
<> singleton '}'
instance TextShow (UDouble p) where
showbPrec = liftShowbPrec undefined undefined
instance TextShow1 UDouble where
liftShowbPrec _ _ p (UDouble d) = showbParen (p > appPrec) $
"UDouble " <> singleton '{'
<> "uDouble# = " <> showb (D# d)
<> singleton '}'
instance TextShow (UFloat p) where
showbPrec = liftShowbPrec undefined undefined
instance TextShow1 UFloat where
liftShowbPrec _ _ p (UFloat f) = showbParen (p > appPrec) $
"UFloat " <> singleton '{'
<> "uFloat# = " <> showb (F# f)
<> singleton '}'
instance TextShow (UInt p) where
showbPrec = liftShowbPrec undefined undefined
instance TextShow1 UInt where
liftShowbPrec _ _ p (UInt i) = showbParen (p > appPrec) $
"UInt " <> singleton '{'
<> "uInt# = " <> showb (I# i)
<> singleton '}'
instance TextShow (UWord p) where
showbPrec = liftShowbPrec undefined undefined
instance TextShow1 UWord where
liftShowbPrec _ _ p (UWord w) = showbParen (p > appPrec) $
"UWord " <> singleton '{'
<> "uWord# = " <> showb (W# w)
<> singleton '}'
#endif
$(deriveTextShow ''Fixity)
$(deriveTextShow ''Associativity)
#if MIN_VERSION_base(4,9,0)
$(deriveTextShow ''SourceUnpackedness)
$(deriveTextShow ''SourceStrictness)
$(deriveTextShow ''DecidedStrictness)
#else
$(deriveTextShow ''Arity)
#endif