module Data.License
    ( License (..)
    , License_
    , licenseHtml
    ) where

import Prolog
import Network.URI
import Data.Aeson
import Data.Alias
import Data.Set qualified as S
import Text.Blaze
import Text.Blaze.Html

import Data.Linked

data License a = License
    { name :: !a
    , shortName :: !(Maybe a)
    , link :: !(Maybe URI)
    } deriving (Eq, Foldable, Functor, Generic, Ord, Show, Traversable)

instance Binary a => Binary (License a)

type License_ = License StrictText

licenseHtml :: ToMarkup a => License a -> Html
licenseHtml (License n sn l) = linkedHtml $ Linked (maybe n id sn) l (n <$ sn)

instance Ord a => ToAliases (License a) a where
    toAliases (License n sn _) = S.fromList $ n : toList sn

instance FromAlias a (License a) where
    fromAlias n = pure $ License n Nothing Nothing

instance FromJSON a => FromJSON (License a) where
    parseJSON = withObject "License" $ \v -> License
        <$> v .: "name"
        <*> v .:? "short" .!= Nothing
        <*> v .:? "link" .!= Nothing