{-# LANGUAGE FlexibleContexts #-}

{-|
Module:      TextShow.Debug.Trace.Generic
Copyright:   (C) 2014-2017 Ryan Scott
License:     BSD-style (see the file LICENSE)
Maintainer:  Ryan Scott
Stability:   Provisional
Portability: GHC

Functions that trace the values of 'Generic' instances (even if they are not
instances of @TextShow@).

/Since: 2/
-}
module TextShow.Debug.Trace.Generic (
      genericTraceTextShow
    , genericTraceTextShowId
    , genericTraceTextShowM
    ) where

import Generics.Deriving.Base (Generic, Rep)

import Prelude ()
import Prelude.Compat

import TextShow.Debug.Trace
import TextShow.Generic (GTextShowT, genericShowt)

-- | A 'Generic' implementation of 'traceTextShow'.
--
-- /Since: 2/
genericTraceTextShow :: (Generic a, GTextShowT (Rep a ())) => a -> b -> b
genericTraceTextShow :: forall a b. (Generic a, GTextShowT (Rep a ())) => a -> b -> b
genericTraceTextShow = forall a. Text -> a -> a
tracet forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. (Generic a, GTextShowT (Rep a ())) => a -> Text
genericShowt

-- | A 'Generic' implementation of 'traceTextShowId'.
--
-- /Since: 2/
genericTraceTextShowId :: (Generic a, GTextShowT (Rep a ())) => a -> a
genericTraceTextShowId :: forall a. (Generic a, GTextShowT (Rep a ())) => a -> a
genericTraceTextShowId a
a = forall a. Text -> a -> a
tracet (forall a. (Generic a, GTextShowT (Rep a ())) => a -> Text
genericShowt a
a) a
a

-- | A 'Generic' implementation of 'traceShowM'.
--
-- /Since: 2/
genericTraceTextShowM :: (Generic a, GTextShowT (Rep a ()), Applicative f) => a -> f ()
genericTraceTextShowM :: forall a (f :: * -> *).
(Generic a, GTextShowT (Rep a ()), Applicative f) =>
a -> f ()
genericTraceTextShowM = forall (f :: * -> *). Applicative f => Text -> f ()
tracetM forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. (Generic a, GTextShowT (Rep a ())) => a -> Text
genericShowt