-- This file is generated. See Makefile's spdx rule
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric      #-}
module Distribution.SPDX.LicenseExceptionId (
    LicenseExceptionId (..),
    licenseExceptionId,
    licenseExceptionName,
    mkLicenseExceptionId,
    licenseExceptionIdList,
    ) where

import Distribution.Compat.Prelude
import Prelude ()

import Distribution.Pretty
import Distribution.Parsec
import Distribution.Utils.Generic (isAsciiAlphaNum)
import Distribution.SPDX.LicenseListVersion

import qualified Data.Binary.Get as Binary
import qualified Data.Binary.Put as Binary
import qualified Data.Map.Strict as Map
import qualified Distribution.Compat.CharParsing as P
import qualified Text.PrettyPrint as Disp

-------------------------------------------------------------------------------
-- LicenseExceptionId
-------------------------------------------------------------------------------

-- | SPDX License identifier
data LicenseExceptionId
    = DS389_exception -- ^ @389-exception@, 389 Directory Server Exception
    | Autoconf_exception_2_0 -- ^ @Autoconf-exception-2.0@, Autoconf exception 2.0
    | Autoconf_exception_3_0 -- ^ @Autoconf-exception-3.0@, Autoconf exception 3.0
    | Bison_exception_2_2 -- ^ @Bison-exception-2.2@, Bison exception 2.2
    | Bootloader_exception -- ^ @Bootloader-exception@, Bootloader Distribution Exception
    | Classpath_exception_2_0 -- ^ @Classpath-exception-2.0@, Classpath exception 2.0
    | CLISP_exception_2_0 -- ^ @CLISP-exception-2.0@, CLISP exception 2.0
    | DigiRule_FOSS_exception -- ^ @DigiRule-FOSS-exception@, DigiRule FOSS License Exception
    | ECos_exception_2_0 -- ^ @eCos-exception-2.0@, eCos exception 2.0
    | Fawkes_Runtime_exception -- ^ @Fawkes-Runtime-exception@, Fawkes Runtime Exception
    | FLTK_exception -- ^ @FLTK-exception@, FLTK exception
    | Font_exception_2_0 -- ^ @Font-exception-2.0@, Font exception 2.0
    | Freertos_exception_2_0 -- ^ @freertos-exception-2.0@, FreeRTOS Exception 2.0
    | GCC_exception_2_0 -- ^ @GCC-exception-2.0@, GCC Runtime Library exception 2.0
    | GCC_exception_3_1 -- ^ @GCC-exception-3.1@, GCC Runtime Library exception 3.1
    | Gnu_javamail_exception -- ^ @gnu-javamail-exception@, GNU JavaMail exception
    | GPL_CC_1_0 -- ^ @GPL-CC-1.0@, GPL Cooperation Commitment 1.0, SPDX License List 3.6
    | I2p_gpl_java_exception -- ^ @i2p-gpl-java-exception@, i2p GPL+Java Exception
    | Libtool_exception -- ^ @Libtool-exception@, Libtool Exception
    | Linux_syscall_note -- ^ @Linux-syscall-note@, Linux Syscall Note
    | LLVM_exception -- ^ @LLVM-exception@, LLVM Exception, SPDX License List 3.2, SPDX License List 3.6
    | LZMA_exception -- ^ @LZMA-exception@, LZMA exception
    | Mif_exception -- ^ @mif-exception@, Macros and Inline Functions Exception
    | Nokia_Qt_exception_1_1 -- ^ @Nokia-Qt-exception-1.1@, Nokia Qt LGPL exception 1.1, SPDX License List 3.0, SPDX License List 3.2
    | OCaml_LGPL_linking_exception -- ^ @OCaml-LGPL-linking-exception@, OCaml LGPL Linking Exception, SPDX License List 3.6
    | OCCT_exception_1_0 -- ^ @OCCT-exception-1.0@, Open CASCADE Exception 1.0
    | OpenJDK_assembly_exception_1_0 -- ^ @OpenJDK-assembly-exception-1.0@, OpenJDK Assembly exception 1.0, SPDX License List 3.2, SPDX License List 3.6
    | Openvpn_openssl_exception -- ^ @openvpn-openssl-exception@, OpenVPN OpenSSL Exception
    | PS_or_PDF_font_exception_20170817 -- ^ @PS-or-PDF-font-exception-20170817@, PS/PDF font exception (2017-08-17), SPDX License List 3.2, SPDX License List 3.6
    | Qt_GPL_exception_1_0 -- ^ @Qt-GPL-exception-1.0@, Qt GPL exception 1.0, SPDX License List 3.2, SPDX License List 3.6
    | Qt_LGPL_exception_1_1 -- ^ @Qt-LGPL-exception-1.1@, Qt LGPL exception 1.1, SPDX License List 3.2, SPDX License List 3.6
    | Qwt_exception_1_0 -- ^ @Qwt-exception-1.0@, Qwt exception 1.0
    | Swift_exception -- ^ @Swift-exception@, Swift Exception, SPDX License List 3.6
    | U_boot_exception_2_0 -- ^ @u-boot-exception-2.0@, U-Boot exception 2.0
    | Universal_FOSS_exception_1_0 -- ^ @Universal-FOSS-exception-1.0@, Universal FOSS Exception, Version 1.0, SPDX License List 3.6
    | WxWindows_exception_3_1 -- ^ @WxWindows-exception-3.1@, WxWindows Library Exception 3.1
  deriving (LicenseExceptionId -> LicenseExceptionId -> Bool
(LicenseExceptionId -> LicenseExceptionId -> Bool)
-> (LicenseExceptionId -> LicenseExceptionId -> Bool)
-> Eq LicenseExceptionId
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: LicenseExceptionId -> LicenseExceptionId -> Bool
$c/= :: LicenseExceptionId -> LicenseExceptionId -> Bool
== :: LicenseExceptionId -> LicenseExceptionId -> Bool
$c== :: LicenseExceptionId -> LicenseExceptionId -> Bool
Eq, Eq LicenseExceptionId
Eq LicenseExceptionId =>
(LicenseExceptionId -> LicenseExceptionId -> Ordering)
-> (LicenseExceptionId -> LicenseExceptionId -> Bool)
-> (LicenseExceptionId -> LicenseExceptionId -> Bool)
-> (LicenseExceptionId -> LicenseExceptionId -> Bool)
-> (LicenseExceptionId -> LicenseExceptionId -> Bool)
-> (LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId)
-> (LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId)
-> Ord LicenseExceptionId
LicenseExceptionId -> LicenseExceptionId -> Bool
LicenseExceptionId -> LicenseExceptionId -> Ordering
LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId
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 :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId
$cmin :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId
max :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId
$cmax :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId
>= :: LicenseExceptionId -> LicenseExceptionId -> Bool
$c>= :: LicenseExceptionId -> LicenseExceptionId -> Bool
> :: LicenseExceptionId -> LicenseExceptionId -> Bool
$c> :: LicenseExceptionId -> LicenseExceptionId -> Bool
<= :: LicenseExceptionId -> LicenseExceptionId -> Bool
$c<= :: LicenseExceptionId -> LicenseExceptionId -> Bool
< :: LicenseExceptionId -> LicenseExceptionId -> Bool
$c< :: LicenseExceptionId -> LicenseExceptionId -> Bool
compare :: LicenseExceptionId -> LicenseExceptionId -> Ordering
$ccompare :: LicenseExceptionId -> LicenseExceptionId -> Ordering
$cp1Ord :: Eq LicenseExceptionId
Ord, Int -> LicenseExceptionId
LicenseExceptionId -> Int
LicenseExceptionId -> [LicenseExceptionId]
LicenseExceptionId -> LicenseExceptionId
LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
LicenseExceptionId
-> LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
(LicenseExceptionId -> LicenseExceptionId)
-> (LicenseExceptionId -> LicenseExceptionId)
-> (Int -> LicenseExceptionId)
-> (LicenseExceptionId -> Int)
-> (LicenseExceptionId -> [LicenseExceptionId])
-> (LicenseExceptionId
    -> LicenseExceptionId -> [LicenseExceptionId])
-> (LicenseExceptionId
    -> LicenseExceptionId -> [LicenseExceptionId])
-> (LicenseExceptionId
    -> LicenseExceptionId
    -> LicenseExceptionId
    -> [LicenseExceptionId])
-> Enum LicenseExceptionId
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: LicenseExceptionId
-> LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
$cenumFromThenTo :: LicenseExceptionId
-> LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
enumFromTo :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
$cenumFromTo :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
enumFromThen :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
$cenumFromThen :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
enumFrom :: LicenseExceptionId -> [LicenseExceptionId]
$cenumFrom :: LicenseExceptionId -> [LicenseExceptionId]
fromEnum :: LicenseExceptionId -> Int
$cfromEnum :: LicenseExceptionId -> Int
toEnum :: Int -> LicenseExceptionId
$ctoEnum :: Int -> LicenseExceptionId
pred :: LicenseExceptionId -> LicenseExceptionId
$cpred :: LicenseExceptionId -> LicenseExceptionId
succ :: LicenseExceptionId -> LicenseExceptionId
$csucc :: LicenseExceptionId -> LicenseExceptionId
Enum, LicenseExceptionId
LicenseExceptionId
-> LicenseExceptionId -> Bounded LicenseExceptionId
forall a. a -> a -> Bounded a
maxBound :: LicenseExceptionId
$cmaxBound :: LicenseExceptionId
minBound :: LicenseExceptionId
$cminBound :: LicenseExceptionId
Bounded, Int -> LicenseExceptionId -> ShowS
[LicenseExceptionId] -> ShowS
LicenseExceptionId -> String
(Int -> LicenseExceptionId -> ShowS)
-> (LicenseExceptionId -> String)
-> ([LicenseExceptionId] -> ShowS)
-> Show LicenseExceptionId
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [LicenseExceptionId] -> ShowS
$cshowList :: [LicenseExceptionId] -> ShowS
show :: LicenseExceptionId -> String
$cshow :: LicenseExceptionId -> String
showsPrec :: Int -> LicenseExceptionId -> ShowS
$cshowsPrec :: Int -> LicenseExceptionId -> ShowS
Show, ReadPrec [LicenseExceptionId]
ReadPrec LicenseExceptionId
Int -> ReadS LicenseExceptionId
ReadS [LicenseExceptionId]
(Int -> ReadS LicenseExceptionId)
-> ReadS [LicenseExceptionId]
-> ReadPrec LicenseExceptionId
-> ReadPrec [LicenseExceptionId]
-> Read LicenseExceptionId
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [LicenseExceptionId]
$creadListPrec :: ReadPrec [LicenseExceptionId]
readPrec :: ReadPrec LicenseExceptionId
$creadPrec :: ReadPrec LicenseExceptionId
readList :: ReadS [LicenseExceptionId]
$creadList :: ReadS [LicenseExceptionId]
readsPrec :: Int -> ReadS LicenseExceptionId
$creadsPrec :: Int -> ReadS LicenseExceptionId
Read, Typeable, Typeable LicenseExceptionId
DataType
Constr
Typeable LicenseExceptionId =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g)
 -> LicenseExceptionId
 -> c LicenseExceptionId)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c LicenseExceptionId)
-> (LicenseExceptionId -> Constr)
-> (LicenseExceptionId -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c LicenseExceptionId))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c LicenseExceptionId))
-> ((forall b. Data b => b -> b)
    -> LicenseExceptionId -> LicenseExceptionId)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r)
-> (forall u.
    (forall d. Data d => d -> u) -> LicenseExceptionId -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> LicenseExceptionId -> m LicenseExceptionId)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> LicenseExceptionId -> m LicenseExceptionId)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> LicenseExceptionId -> m LicenseExceptionId)
-> Data LicenseExceptionId
LicenseExceptionId -> DataType
LicenseExceptionId -> Constr
(forall b. Data b => b -> b)
-> LicenseExceptionId -> LicenseExceptionId
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> LicenseExceptionId
-> c LicenseExceptionId
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LicenseExceptionId
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) -> LicenseExceptionId -> u
forall u. (forall d. Data d => d -> u) -> LicenseExceptionId -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LicenseExceptionId
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> LicenseExceptionId
-> c LicenseExceptionId
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c LicenseExceptionId)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c LicenseExceptionId)
$cWxWindows_exception_3_1 :: Constr
$cUniversal_FOSS_exception_1_0 :: Constr
$cU_boot_exception_2_0 :: Constr
$cSwift_exception :: Constr
$cQwt_exception_1_0 :: Constr
$cQt_LGPL_exception_1_1 :: Constr
$cQt_GPL_exception_1_0 :: Constr
$cPS_or_PDF_font_exception_20170817 :: Constr
$cOpenvpn_openssl_exception :: Constr
$cOpenJDK_assembly_exception_1_0 :: Constr
$cOCCT_exception_1_0 :: Constr
$cOCaml_LGPL_linking_exception :: Constr
$cNokia_Qt_exception_1_1 :: Constr
$cMif_exception :: Constr
$cLZMA_exception :: Constr
$cLLVM_exception :: Constr
$cLinux_syscall_note :: Constr
$cLibtool_exception :: Constr
$cI2p_gpl_java_exception :: Constr
$cGPL_CC_1_0 :: Constr
$cGnu_javamail_exception :: Constr
$cGCC_exception_3_1 :: Constr
$cGCC_exception_2_0 :: Constr
$cFreertos_exception_2_0 :: Constr
$cFont_exception_2_0 :: Constr
$cFLTK_exception :: Constr
$cFawkes_Runtime_exception :: Constr
$cECos_exception_2_0 :: Constr
$cDigiRule_FOSS_exception :: Constr
$cCLISP_exception_2_0 :: Constr
$cClasspath_exception_2_0 :: Constr
$cBootloader_exception :: Constr
$cBison_exception_2_2 :: Constr
$cAutoconf_exception_3_0 :: Constr
$cAutoconf_exception_2_0 :: Constr
$cDS389_exception :: Constr
$tLicenseExceptionId :: DataType
gmapMo :: (forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
gmapMp :: (forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
gmapM :: (forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> LicenseExceptionId -> m LicenseExceptionId
gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u
$cgmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u
gmapQ :: (forall d. Data d => d -> u) -> LicenseExceptionId -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> LicenseExceptionId -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r
gmapT :: (forall b. Data b => b -> b)
-> LicenseExceptionId -> LicenseExceptionId
$cgmapT :: (forall b. Data b => b -> b)
-> LicenseExceptionId -> LicenseExceptionId
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c LicenseExceptionId)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c LicenseExceptionId)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c LicenseExceptionId)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c LicenseExceptionId)
dataTypeOf :: LicenseExceptionId -> DataType
$cdataTypeOf :: LicenseExceptionId -> DataType
toConstr :: LicenseExceptionId -> Constr
$ctoConstr :: LicenseExceptionId -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LicenseExceptionId
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c LicenseExceptionId
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> LicenseExceptionId
-> c LicenseExceptionId
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> LicenseExceptionId
-> c LicenseExceptionId
$cp1Data :: Typeable LicenseExceptionId
Data, (forall x. LicenseExceptionId -> Rep LicenseExceptionId x)
-> (forall x. Rep LicenseExceptionId x -> LicenseExceptionId)
-> Generic LicenseExceptionId
forall x. Rep LicenseExceptionId x -> LicenseExceptionId
forall x. LicenseExceptionId -> Rep LicenseExceptionId x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep LicenseExceptionId x -> LicenseExceptionId
$cfrom :: forall x. LicenseExceptionId -> Rep LicenseExceptionId x
Generic)

instance Binary LicenseExceptionId where
    put :: LicenseExceptionId -> Put
put = Word8 -> Put
Binary.putWord8 (Word8 -> Put)
-> (LicenseExceptionId -> Word8) -> LicenseExceptionId -> Put
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Word8)
-> (LicenseExceptionId -> Int) -> LicenseExceptionId -> Word8
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LicenseExceptionId -> Int
forall a. Enum a => a -> Int
fromEnum
    get :: Get LicenseExceptionId
get = do
        Word8
i <- Get Word8
Binary.getWord8
        if Word8
i Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
> Int -> Word8
forall a b. (Integral a, Num b) => a -> b
fromIntegral (LicenseExceptionId -> Int
forall a. Enum a => a -> Int
fromEnum (LicenseExceptionId
forall a. Bounded a => a
maxBound :: LicenseExceptionId))
        then String -> Get LicenseExceptionId
forall (m :: * -> *) a. MonadFail m => String -> m a
fail "Too large LicenseExceptionId tag"
        else LicenseExceptionId -> Get LicenseExceptionId
forall (m :: * -> *) a. Monad m => a -> m a
return (Int -> LicenseExceptionId
forall a. Enum a => Int -> a
toEnum (Word8 -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral Word8
i))

instance Pretty LicenseExceptionId where
    pretty :: LicenseExceptionId -> Doc
pretty = String -> Doc
Disp.text (String -> Doc)
-> (LicenseExceptionId -> String) -> LicenseExceptionId -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LicenseExceptionId -> String
licenseExceptionId

instance Parsec LicenseExceptionId where
    parsec :: m LicenseExceptionId
parsec = do
        String
n <- m Char -> m String
forall (f :: * -> *) a. Alternative f => f a -> f [a]
some (m Char -> m String) -> m Char -> m String
forall a b. (a -> b) -> a -> b
$ (Char -> Bool) -> m Char
forall (m :: * -> *). CharParsing m => (Char -> Bool) -> m Char
P.satisfy ((Char -> Bool) -> m Char) -> (Char -> Bool) -> m Char
forall a b. (a -> b) -> a -> b
$ \c :: Char
c -> Char -> Bool
isAsciiAlphaNum Char
c Bool -> Bool -> Bool
|| Char
c Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== '-' Bool -> Bool -> Bool
|| Char
c Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== '.'
        CabalSpecVersion
v <- m CabalSpecVersion
forall (m :: * -> *). CabalParsing m => m CabalSpecVersion
askCabalSpecVersion
        m LicenseExceptionId
-> (LicenseExceptionId -> m LicenseExceptionId)
-> Maybe LicenseExceptionId
-> m LicenseExceptionId
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (String -> m LicenseExceptionId
forall (m :: * -> *) a. MonadFail m => String -> m a
fail (String -> m LicenseExceptionId) -> String -> m LicenseExceptionId
forall a b. (a -> b) -> a -> b
$ "Unknown SPDX license exception identifier: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
n) LicenseExceptionId -> m LicenseExceptionId
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe LicenseExceptionId -> m LicenseExceptionId)
-> Maybe LicenseExceptionId -> m LicenseExceptionId
forall a b. (a -> b) -> a -> b
$
            LicenseListVersion -> String -> Maybe LicenseExceptionId
mkLicenseExceptionId (CabalSpecVersion -> LicenseListVersion
cabalSpecVersionToSPDXListVersion CabalSpecVersion
v) String
n

instance NFData LicenseExceptionId where
    rnf :: LicenseExceptionId -> ()
rnf l :: LicenseExceptionId
l = LicenseExceptionId
l LicenseExceptionId -> () -> ()
forall a b. a -> b -> b
`seq` ()

-------------------------------------------------------------------------------
-- License Data
-------------------------------------------------------------------------------

-- | License SPDX identifier, e.g. @"BSD-3-Clause"@.
licenseExceptionId :: LicenseExceptionId -> String
licenseExceptionId :: LicenseExceptionId -> String
licenseExceptionId DS389_exception = "389-exception"
licenseExceptionId Autoconf_exception_2_0 = "Autoconf-exception-2.0"
licenseExceptionId Autoconf_exception_3_0 = "Autoconf-exception-3.0"
licenseExceptionId Bison_exception_2_2 = "Bison-exception-2.2"
licenseExceptionId Bootloader_exception = "Bootloader-exception"
licenseExceptionId Classpath_exception_2_0 = "Classpath-exception-2.0"
licenseExceptionId CLISP_exception_2_0 = "CLISP-exception-2.0"
licenseExceptionId DigiRule_FOSS_exception = "DigiRule-FOSS-exception"
licenseExceptionId ECos_exception_2_0 = "eCos-exception-2.0"
licenseExceptionId Fawkes_Runtime_exception = "Fawkes-Runtime-exception"
licenseExceptionId FLTK_exception = "FLTK-exception"
licenseExceptionId Font_exception_2_0 = "Font-exception-2.0"
licenseExceptionId Freertos_exception_2_0 = "freertos-exception-2.0"
licenseExceptionId GCC_exception_2_0 = "GCC-exception-2.0"
licenseExceptionId GCC_exception_3_1 = "GCC-exception-3.1"
licenseExceptionId Gnu_javamail_exception = "gnu-javamail-exception"
licenseExceptionId GPL_CC_1_0 = "GPL-CC-1.0"
licenseExceptionId I2p_gpl_java_exception = "i2p-gpl-java-exception"
licenseExceptionId Libtool_exception = "Libtool-exception"
licenseExceptionId Linux_syscall_note = "Linux-syscall-note"
licenseExceptionId LLVM_exception = "LLVM-exception"
licenseExceptionId LZMA_exception = "LZMA-exception"
licenseExceptionId Mif_exception = "mif-exception"
licenseExceptionId Nokia_Qt_exception_1_1 = "Nokia-Qt-exception-1.1"
licenseExceptionId OCaml_LGPL_linking_exception = "OCaml-LGPL-linking-exception"
licenseExceptionId OCCT_exception_1_0 = "OCCT-exception-1.0"
licenseExceptionId OpenJDK_assembly_exception_1_0 = "OpenJDK-assembly-exception-1.0"
licenseExceptionId Openvpn_openssl_exception = "openvpn-openssl-exception"
licenseExceptionId PS_or_PDF_font_exception_20170817 = "PS-or-PDF-font-exception-20170817"
licenseExceptionId Qt_GPL_exception_1_0 = "Qt-GPL-exception-1.0"
licenseExceptionId Qt_LGPL_exception_1_1 = "Qt-LGPL-exception-1.1"
licenseExceptionId Qwt_exception_1_0 = "Qwt-exception-1.0"
licenseExceptionId Swift_exception = "Swift-exception"
licenseExceptionId U_boot_exception_2_0 = "u-boot-exception-2.0"
licenseExceptionId Universal_FOSS_exception_1_0 = "Universal-FOSS-exception-1.0"
licenseExceptionId WxWindows_exception_3_1 = "WxWindows-exception-3.1"

-- | License name, e.g. @"GNU General Public License v2.0 only"@
licenseExceptionName :: LicenseExceptionId -> String
licenseExceptionName :: LicenseExceptionId -> String
licenseExceptionName DS389_exception = "389 Directory Server Exception"
licenseExceptionName Autoconf_exception_2_0 = "Autoconf exception 2.0"
licenseExceptionName Autoconf_exception_3_0 = "Autoconf exception 3.0"
licenseExceptionName Bison_exception_2_2 = "Bison exception 2.2"
licenseExceptionName Bootloader_exception = "Bootloader Distribution Exception"
licenseExceptionName Classpath_exception_2_0 = "Classpath exception 2.0"
licenseExceptionName CLISP_exception_2_0 = "CLISP exception 2.0"
licenseExceptionName DigiRule_FOSS_exception = "DigiRule FOSS License Exception"
licenseExceptionName ECos_exception_2_0 = "eCos exception 2.0"
licenseExceptionName Fawkes_Runtime_exception = "Fawkes Runtime Exception"
licenseExceptionName FLTK_exception = "FLTK exception"
licenseExceptionName Font_exception_2_0 = "Font exception 2.0"
licenseExceptionName Freertos_exception_2_0 = "FreeRTOS Exception 2.0"
licenseExceptionName GCC_exception_2_0 = "GCC Runtime Library exception 2.0"
licenseExceptionName GCC_exception_3_1 = "GCC Runtime Library exception 3.1"
licenseExceptionName Gnu_javamail_exception = "GNU JavaMail exception"
licenseExceptionName GPL_CC_1_0 = "GPL Cooperation Commitment 1.0"
licenseExceptionName I2p_gpl_java_exception = "i2p GPL+Java Exception"
licenseExceptionName Libtool_exception = "Libtool Exception"
licenseExceptionName Linux_syscall_note = "Linux Syscall Note"
licenseExceptionName LLVM_exception = "LLVM Exception"
licenseExceptionName LZMA_exception = "LZMA exception"
licenseExceptionName Mif_exception = "Macros and Inline Functions Exception"
licenseExceptionName Nokia_Qt_exception_1_1 = "Nokia Qt LGPL exception 1.1"
licenseExceptionName OCaml_LGPL_linking_exception = "OCaml LGPL Linking Exception"
licenseExceptionName OCCT_exception_1_0 = "Open CASCADE Exception 1.0"
licenseExceptionName OpenJDK_assembly_exception_1_0 = "OpenJDK Assembly exception 1.0"
licenseExceptionName Openvpn_openssl_exception = "OpenVPN OpenSSL Exception"
licenseExceptionName PS_or_PDF_font_exception_20170817 = "PS/PDF font exception (2017-08-17)"
licenseExceptionName Qt_GPL_exception_1_0 = "Qt GPL exception 1.0"
licenseExceptionName Qt_LGPL_exception_1_1 = "Qt LGPL exception 1.1"
licenseExceptionName Qwt_exception_1_0 = "Qwt exception 1.0"
licenseExceptionName Swift_exception = "Swift Exception"
licenseExceptionName U_boot_exception_2_0 = "U-Boot exception 2.0"
licenseExceptionName Universal_FOSS_exception_1_0 = "Universal FOSS Exception, Version 1.0"
licenseExceptionName WxWindows_exception_3_1 = "WxWindows Library Exception 3.1"

-------------------------------------------------------------------------------
-- Creation
-------------------------------------------------------------------------------

licenseExceptionIdList :: LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList :: LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList LicenseListVersion_3_0 =
    [ LicenseExceptionId
Nokia_Qt_exception_1_1
    ]
    [LicenseExceptionId]
-> [LicenseExceptionId] -> [LicenseExceptionId]
forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses
licenseExceptionIdList LicenseListVersion_3_2 =
    [ LicenseExceptionId
LLVM_exception
    , LicenseExceptionId
Nokia_Qt_exception_1_1
    , LicenseExceptionId
OpenJDK_assembly_exception_1_0
    , LicenseExceptionId
PS_or_PDF_font_exception_20170817
    , LicenseExceptionId
Qt_GPL_exception_1_0
    , LicenseExceptionId
Qt_LGPL_exception_1_1
    ]
    [LicenseExceptionId]
-> [LicenseExceptionId] -> [LicenseExceptionId]
forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses
licenseExceptionIdList LicenseListVersion_3_6 =
    [ LicenseExceptionId
GPL_CC_1_0
    , LicenseExceptionId
LLVM_exception
    , LicenseExceptionId
OCaml_LGPL_linking_exception
    , LicenseExceptionId
OpenJDK_assembly_exception_1_0
    , LicenseExceptionId
PS_or_PDF_font_exception_20170817
    , LicenseExceptionId
Qt_GPL_exception_1_0
    , LicenseExceptionId
Qt_LGPL_exception_1_1
    , LicenseExceptionId
Swift_exception
    , LicenseExceptionId
Universal_FOSS_exception_1_0
    ]
    [LicenseExceptionId]
-> [LicenseExceptionId] -> [LicenseExceptionId]
forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses

-- | Create a 'LicenseExceptionId' from a 'String'.
mkLicenseExceptionId :: LicenseListVersion -> String -> Maybe LicenseExceptionId
mkLicenseExceptionId :: LicenseListVersion -> String -> Maybe LicenseExceptionId
mkLicenseExceptionId LicenseListVersion_3_0 s :: String
s = String -> Map String LicenseExceptionId -> Maybe LicenseExceptionId
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_0
mkLicenseExceptionId LicenseListVersion_3_2 s :: String
s = String -> Map String LicenseExceptionId -> Maybe LicenseExceptionId
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_2
mkLicenseExceptionId LicenseListVersion_3_6 s :: String
s = String -> Map String LicenseExceptionId -> Maybe LicenseExceptionId
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_6

stringLookup_3_0 :: Map String LicenseExceptionId
stringLookup_3_0 :: Map String LicenseExceptionId
stringLookup_3_0 = [(String, LicenseExceptionId)] -> Map String LicenseExceptionId
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList ([(String, LicenseExceptionId)] -> Map String LicenseExceptionId)
-> [(String, LicenseExceptionId)] -> Map String LicenseExceptionId
forall a b. (a -> b) -> a -> b
$ (LicenseExceptionId -> (String, LicenseExceptionId))
-> [LicenseExceptionId] -> [(String, LicenseExceptionId)]
forall a b. (a -> b) -> [a] -> [b]
map (\i :: LicenseExceptionId
i -> (LicenseExceptionId -> String
licenseExceptionId LicenseExceptionId
i, LicenseExceptionId
i)) ([LicenseExceptionId] -> [(String, LicenseExceptionId)])
-> [LicenseExceptionId] -> [(String, LicenseExceptionId)]
forall a b. (a -> b) -> a -> b
$
    LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_0

stringLookup_3_2 :: Map String LicenseExceptionId
stringLookup_3_2 :: Map String LicenseExceptionId
stringLookup_3_2 = [(String, LicenseExceptionId)] -> Map String LicenseExceptionId
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList ([(String, LicenseExceptionId)] -> Map String LicenseExceptionId)
-> [(String, LicenseExceptionId)] -> Map String LicenseExceptionId
forall a b. (a -> b) -> a -> b
$ (LicenseExceptionId -> (String, LicenseExceptionId))
-> [LicenseExceptionId] -> [(String, LicenseExceptionId)]
forall a b. (a -> b) -> [a] -> [b]
map (\i :: LicenseExceptionId
i -> (LicenseExceptionId -> String
licenseExceptionId LicenseExceptionId
i, LicenseExceptionId
i)) ([LicenseExceptionId] -> [(String, LicenseExceptionId)])
-> [LicenseExceptionId] -> [(String, LicenseExceptionId)]
forall a b. (a -> b) -> a -> b
$
    LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_2

stringLookup_3_6 :: Map String LicenseExceptionId
stringLookup_3_6 :: Map String LicenseExceptionId
stringLookup_3_6 = [(String, LicenseExceptionId)] -> Map String LicenseExceptionId
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList ([(String, LicenseExceptionId)] -> Map String LicenseExceptionId)
-> [(String, LicenseExceptionId)] -> Map String LicenseExceptionId
forall a b. (a -> b) -> a -> b
$ (LicenseExceptionId -> (String, LicenseExceptionId))
-> [LicenseExceptionId] -> [(String, LicenseExceptionId)]
forall a b. (a -> b) -> [a] -> [b]
map (\i :: LicenseExceptionId
i -> (LicenseExceptionId -> String
licenseExceptionId LicenseExceptionId
i, LicenseExceptionId
i)) ([LicenseExceptionId] -> [(String, LicenseExceptionId)])
-> [LicenseExceptionId] -> [(String, LicenseExceptionId)]
forall a b. (a -> b) -> a -> b
$
    LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_6

--  | License exceptions in all SPDX License lists
bulkOfLicenses :: [LicenseExceptionId]
bulkOfLicenses :: [LicenseExceptionId]
bulkOfLicenses =
    [ LicenseExceptionId
DS389_exception
    , LicenseExceptionId
Autoconf_exception_2_0
    , LicenseExceptionId
Autoconf_exception_3_0
    , LicenseExceptionId
Bison_exception_2_2
    , LicenseExceptionId
Bootloader_exception
    , LicenseExceptionId
Classpath_exception_2_0
    , LicenseExceptionId
CLISP_exception_2_0
    , LicenseExceptionId
DigiRule_FOSS_exception
    , LicenseExceptionId
ECos_exception_2_0
    , LicenseExceptionId
Fawkes_Runtime_exception
    , LicenseExceptionId
FLTK_exception
    , LicenseExceptionId
Font_exception_2_0
    , LicenseExceptionId
Freertos_exception_2_0
    , LicenseExceptionId
GCC_exception_2_0
    , LicenseExceptionId
GCC_exception_3_1
    , LicenseExceptionId
Gnu_javamail_exception
    , LicenseExceptionId
I2p_gpl_java_exception
    , LicenseExceptionId
Libtool_exception
    , LicenseExceptionId
Linux_syscall_note
    , LicenseExceptionId
LZMA_exception
    , LicenseExceptionId
Mif_exception
    , LicenseExceptionId
OCCT_exception_1_0
    , LicenseExceptionId
Openvpn_openssl_exception
    , LicenseExceptionId
Qwt_exception_1_0
    , LicenseExceptionId
U_boot_exception_2_0
    , LicenseExceptionId
WxWindows_exception_3_1
    ]