{-# LANGUAGE DeriveDataTypeable, PatternGuards, FlexibleContexts, TypeFamilies, OverloadedStrings, QuasiQuotes #-}
module HSP.Google.Analytics
    ( UACCT(..)
    , analytics
    , analyticsAsync
    , universalAnalytics
    ) where

import Data.Generics (Data, Typeable)
import Data.Text.Lazy (Text,pack)
import HSP
import Prelude hiding (head)
import Language.Haskell.HSX.QQ (hsx)

newtype UACCT = UACCT String -- ^ The UACCT provided to you by Google (looks like: @UA-XXXXX-X@)
    deriving (ReadPrec [UACCT]
ReadPrec UACCT
Int -> ReadS UACCT
ReadS [UACCT]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [UACCT]
$creadListPrec :: ReadPrec [UACCT]
readPrec :: ReadPrec UACCT
$creadPrec :: ReadPrec UACCT
readList :: ReadS [UACCT]
$creadList :: ReadS [UACCT]
readsPrec :: Int -> ReadS UACCT
$creadsPrec :: Int -> ReadS UACCT
Read, Int -> UACCT -> ShowS
[UACCT] -> ShowS
UACCT -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [UACCT] -> ShowS
$cshowList :: [UACCT] -> ShowS
show :: UACCT -> String
$cshow :: UACCT -> String
showsPrec :: Int -> UACCT -> ShowS
$cshowsPrec :: Int -> UACCT -> ShowS
Show, UACCT -> UACCT -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: UACCT -> UACCT -> Bool
$c/= :: UACCT -> UACCT -> Bool
== :: UACCT -> UACCT -> Bool
$c== :: UACCT -> UACCT -> Bool
Eq, Eq UACCT
UACCT -> UACCT -> Bool
UACCT -> UACCT -> Ordering
UACCT -> UACCT -> UACCT
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: UACCT -> UACCT -> UACCT
$cmin :: UACCT -> UACCT -> UACCT
max :: UACCT -> UACCT -> UACCT
$cmax :: UACCT -> UACCT -> UACCT
>= :: UACCT -> UACCT -> Bool
$c>= :: UACCT -> UACCT -> Bool
> :: UACCT -> UACCT -> Bool
$c> :: UACCT -> UACCT -> Bool
<= :: UACCT -> UACCT -> Bool
$c<= :: UACCT -> UACCT -> Bool
< :: UACCT -> UACCT -> Bool
$c< :: UACCT -> UACCT -> Bool
compare :: UACCT -> UACCT -> Ordering
$ccompare :: UACCT -> UACCT -> Ordering
Ord, Typeable, Typeable UACCT
UACCT -> DataType
UACCT -> Constr
(forall b. Data b => b -> b) -> UACCT -> UACCT
forall a.
Typeable a
-> (forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> UACCT -> u
forall u. (forall d. Data d => d -> u) -> UACCT -> [u]
forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UACCT -> r
forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UACCT -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UACCT
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UACCT -> c UACCT
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UACCT)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UACCT)
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UACCT -> m UACCT
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UACCT -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UACCT -> u
gmapQ :: forall u. (forall d. Data d => d -> u) -> UACCT -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> UACCT -> [u]
gmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UACCT -> r
$cgmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UACCT -> r
gmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UACCT -> r
$cgmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UACCT -> r
gmapT :: (forall b. Data b => b -> b) -> UACCT -> UACCT
$cgmapT :: (forall b. Data b => b -> b) -> UACCT -> UACCT
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UACCT)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UACCT)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UACCT)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UACCT)
dataTypeOf :: UACCT -> DataType
$cdataTypeOf :: UACCT -> DataType
toConstr :: UACCT -> Constr
$ctoConstr :: UACCT -> Constr
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UACCT
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UACCT
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UACCT -> c UACCT
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UACCT -> c UACCT
Data)

-- | create the google analytics asynchronous tracking script tag
--
-- This uses the now dubbed 'classic google analytics'
--
-- NOTE: you must put this right before the \<\/head\> tag
-- see also: universalAnalytics
analyticsAsync :: (XMLGenerator m, StringType m ~ Text) =>
                  UACCT     -- ^ web property ID (looks like: @UA-XXXXX-X@)
               -> GenXML m
analyticsAsync :: forall (m :: * -> *).
(XMLGenerator m, StringType m ~ Text) =>
UACCT -> GenXML m
analyticsAsync (UACCT String
uacct) = [hsx|
    <script type="text/javascript">

      var _gaq = _gaq || [];
      _gaq.push(['_setAccount', '<% pack uacct %>']);
      _gaq.push(['_trackPageview']);

      (function() {
        var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
        ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
        var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
      })();

    </script> |]

universalAnalytics :: (XMLGenerator m, StringType m ~ Text) =>
                      UACCT     -- ^ web property ID (looks like: @UA-XXXXX-X@)
                   -> GenXML m
universalAnalytics :: forall (m :: * -> *).
(XMLGenerator m, StringType m ~ Text) =>
UACCT -> GenXML m
universalAnalytics (UACCT String
uacct) = [hsx|
    <script type="text/javascript">
     (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
     (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
     m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
     })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

     ga('create', '<% pack uacct %>', 'auto');
     ga('send', 'pageview');
    </script> |]


-- | create the (even older) google analytics script tags
--
-- NOTE: you must put the <% analytics yourUACCT %> immediately before the </body> tag
--
-- You probably want to use 'analyticsAsync' instead.
--
-- See also: 'addAnalytics', 'analyticsAsync', 'universalAnalytics'
analytics :: (XMLGenerator m, StringType m ~ Text) => UACCT -> GenXMLList m
analytics :: forall (m :: * -> *).
(XMLGenerator m, StringType m ~ Text) =>
UACCT -> GenXMLList m
analytics (UACCT String
uacct) =
    do XMLType m
a <- [hsx|
             <script type="text/javascript">
              var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
              document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
             </script> |]
       XMLType m
b <- [hsx|
             <script type="text/javascript">
               var pageTracker = _gat._getTracker("<% pack uacct %>");
               pageTracker._initData();
               pageTracker._trackPageview();
             </script> |]
       forall (m :: * -> *) a. Monad m => a -> m a
return [XMLType m
a,XMLType m
b]
{-
removed because the hsx qq does not currently support patterns.

-- | automatically add the google analytics scipt tags immediately before the </body> element
-- NOTE: this function is not idepotent
addAnalytics :: ( AppendChild m XML
                , EmbedAsChild m XML
                , EmbedAsAttr m Attribute
                , XMLGenerator m
                , XMLType m ~ XML
                , StringType m ~ Text
                )
             => UACCT
             -> XMLGenT m XML
             -> GenXML m
addAnalytics uacct pg =
    do page <- pg
       a <- analytics uacct
       case page of
         [hsx| <html hattrs><[ head, body ]></html> |] ->
                [hsx|
                 <html hattrs>
                  <% head %>
                  <% body <: (a :: [XML]) %>
                 </html>
                 |]
         o -> error ("Failed to add analytics." ++ show o)
-}
{- Example Analytics Code from Google:

<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
var pageTracker = _gat._getTracker("UA-4353757-1");
pageTracker._initData();
pageTracker._trackPageview();
</script>
-}