{-# LANGUAGE DeriveGeneric #-}

{- |
   Known licenses in Nix expressions are represented using the
   attributes defined in nixpkgs' @lib\/licenses.nix@, and
   unknown licenses are represented as a literal string.
 -}

module Distribution.Nixpkgs.License ( License(..) ) where

import Control.DeepSeq
import Data.Maybe
import GHC.Generics ( Generic )
import Language.Nix.PrettyPrinting

-- | The representation for licenses used in Nix derivations. Known
-- licenses are Nix expressions — such as @lib.licenses.bsd3@ —,
-- so their exact name is not generally known, because the path
-- to @lib@ depends on the context defined in the expression.
--
-- In Cabal expressions, for example, the BSD3 license would have to be
-- referred to as @self.lib.licenses.bsd3@. Other expressions,
-- however, use different paths to the @licenses@ record. Because of that
-- situation, the library cannot provide an abstract data type that
-- encompasses all known licenses.
--
-- Instead, the @License@ type just distinguishes references to known
-- and unknown licenses. The difference between the two is in the way
-- they are pretty-printed:
--
-- >>> putStrLn (prettyShow (Known "lib.license.gpl2"))
-- lib.license.gpl2
-- >>> putStrLn (prettyShow (Unknown (Just "GPL")))
-- "GPL"
-- >>> putStrLn (prettyShow (Unknown Nothing))
-- "unknown"
--
-- Note that the 'Pretty' instance definition provides pretty-printing,
-- but no parsing as of now!

data License = Known String
             | Unknown (Maybe String)
  deriving (Show, Eq, Ord, Generic)

instance Pretty License where
  pPrint (Known x)   = text x
  pPrint (Unknown x) = string (fromMaybe "unknown" x)

instance NFData License