module Data.Linked
    ( Linked (..)
    , linkedHtml
    , ToMaybe (..)
    ) where

import Prelude hiding (span, div)
import Prolog
import Data.Proxy
import Network.URI
import Text.Blaze.Html
import Text.Blaze.Html5 (a, span, div)
import Text.Blaze.Html5.Attributes (href, class_)


data Linked l t a = Linked
    { baseText :: !a
    , link :: !(l URI)
    , tooltip :: !(t a)
    }


linkedHtml :: (ToMarkup a, ToMaybe l, ToMaybe t) => Linked l t a -> Html
linkedHtml (Linked t (toMaybe -> Nothing) (toMaybe -> Nothing)) = toMarkup t
linkedHtml (Linked t (toMaybe -> Just l) (toMaybe -> Nothing)) = a ! href (toValue l) $ toMarkup t
linkedHtml (Linked t (toMaybe -> l) (toMaybe -> Just tt)) = anchor $ toMarkup t <> (span ! class_ "tooltip" $ toMarkup tt)
  where
    anchor = case l of
                Nothing -> div ! class_ "has-tooltip"
                Just l' -> a ! class_ "has-tooltip" ! href (toValue l')
    -- where
    --   anchor 
    --   mklink x = maybe x ((!) x . href . toValue) l
    --   mktooltip tt txt = maybe (toMarkup txt) (\tt' -> x <> (span ! class_ "tooltip" $ toMarkup tt')) tt
    --   linkctxt = a !
--     maybe id withToolTip tt $ maybe id (\x -> a ! href (toValue x)) l $ toMarkup t
--     -- a ! (maybe mempty (\x -> href $ toValue x) l) $ maybe id withToolTip tt $ toMarkup t
-- -- ! (maybe mempty (\_ -> class_ "has-tooltip") tt) $ toMarkup t <> (maybe mempty (\x -> span ! class_ "tooltip" $ toMarkup x) tt)
--
--
-- withToolTip :: (ToMarkup t) => t -> Html -> Html
-- withToolTip tt h = div ! class_ "has-tooltip" $ h <> (span ! class_ "tooltip" $ toMarkup tt)

class ToMaybe f where
    toMaybe :: Alternative m => f a -> m a

instance ToMaybe Maybe where
    toMaybe = liftMaybe

instance ToMaybe Identity where
    toMaybe (Identity x) = pure x

instance ToMaybe Proxy where
    toMaybe _ = empty