-- 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.Compat.Lens (set)
import Distribution.Pretty
import Distribution.Parsec
import Distribution.Utils.Generic (isAsciiAlphaNum)
import Distribution.Utils.Structured (Structured (..), nominalStructure, typeVersion)
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_3_0_linking_exception -- ^ @GPL-3.0-linking-exception@, GPL-3.0 Linking Exception, SPDX License List 3.9, SPDX License List 3.10
    | GPL_3_0_linking_source_exception -- ^ @GPL-3.0-linking-source-exception@, GPL-3.0 Linking Exception (with Corresponding Source), SPDX License List 3.9, SPDX License List 3.10
    | GPL_CC_1_0 -- ^ @GPL-CC-1.0@, GPL Cooperation Commitment 1.0, SPDX License List 3.6, SPDX License List 3.9, SPDX License List 3.10
    | I2p_gpl_java_exception -- ^ @i2p-gpl-java-exception@, i2p GPL+Java Exception
    | LGPL_3_0_linking_exception -- ^ @LGPL-3.0-linking-exception@, LGPL-3.0 Linking Exception, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | Qwt_exception_1_0 -- ^ @Qwt-exception-1.0@, Qwt exception 1.0
    | SHL_2_0 -- ^ @SHL-2.0@, Solderpad Hardware License v2.0, SPDX License List 3.9, SPDX License List 3.10
    | SHL_2_1 -- ^ @SHL-2.1@, Solderpad Hardware License v2.1, SPDX License List 3.9, SPDX License List 3.10
    | Swift_exception -- ^ @Swift-exception@, Swift Exception, SPDX License List 3.6, SPDX License List 3.9, SPDX License List 3.10
    | 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, SPDX License List 3.9, SPDX License List 3.10
    | WxWindows_exception_3_1 -- ^ @WxWindows-exception-3.1@, WxWindows Library Exception 3.1
  deriving (LicenseExceptionId -> LicenseExceptionId -> Bool
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
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
Ord, Int -> LicenseExceptionId
LicenseExceptionId -> Int
LicenseExceptionId -> [LicenseExceptionId]
LicenseExceptionId -> LicenseExceptionId
LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId]
LicenseExceptionId
-> LicenseExceptionId -> LicenseExceptionId -> [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
forall a. a -> a -> Bounded a
maxBound :: LicenseExceptionId
$cmaxBound :: LicenseExceptionId
minBound :: LicenseExceptionId
$cminBound :: LicenseExceptionId
Bounded, Int -> LicenseExceptionId -> ShowS
[LicenseExceptionId] -> ShowS
LicenseExceptionId -> String
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]
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
LicenseExceptionId -> DataType
LicenseExceptionId -> Constr
(forall b. Data b => b -> b)
-> LicenseExceptionId -> 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)
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(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 (m :: * -> *).
MonadPlus m =>
(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 (m :: * -> *).
Monad m =>
(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 :: forall u.
Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u
$cgmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u
gmapQ :: forall u. (forall d. Data d => d -> u) -> LicenseExceptionId -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> LicenseExceptionId -> [u]
gmapQr :: forall r r'.
(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 :: forall r r'.
(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 (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(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 (t :: * -> *) (c :: * -> *).
Typeable t =>
(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 (c :: * -> *).
(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 (c :: * -> *).
(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
Data, 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 forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (Integral a, Num b) => a -> b
fromIntegral forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. Enum a => a -> Int
fromEnum
    get :: Get LicenseExceptionId
get = do
        Word8
i <- Get Word8
Binary.getWord8
        if Word8
i forall a. Ord a => a -> a -> Bool
> forall a b. (Integral a, Num b) => a -> b
fromIntegral (forall a. Enum a => a -> Int
fromEnum (forall a. Bounded a => a
maxBound :: LicenseExceptionId))
        then forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"Too large LicenseExceptionId tag"
        else forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. Enum a => Int -> a
toEnum (forall a b. (Integral a, Num b) => a -> b
fromIntegral Word8
i))

-- note: remember to bump version each time the definition changes
instance Structured LicenseExceptionId where
    structure :: Proxy LicenseExceptionId -> Structure
structure Proxy LicenseExceptionId
p = forall s t a b. ASetter s t a b -> b -> s -> t
set forall (f :: * -> *).
Functor f =>
(TypeVersion -> f TypeVersion) -> Structure -> f Structure
typeVersion TypeVersion
306 forall a b. (a -> b) -> a -> b
$ forall {k} (a :: k). Typeable a => Proxy a -> Structure
nominalStructure Proxy LicenseExceptionId
p

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

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

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

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

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

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

licenseExceptionIdList :: LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList :: LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_0 =
    [ LicenseExceptionId
Nokia_Qt_exception_1_1
    ]
    forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses
licenseExceptionIdList LicenseListVersion
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
    ]
    forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses
licenseExceptionIdList LicenseListVersion
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
    ]
    forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_9 =
    [ LicenseExceptionId
GPL_3_0_linking_exception
    , LicenseExceptionId
GPL_3_0_linking_source_exception
    , LicenseExceptionId
GPL_CC_1_0
    , LicenseExceptionId
LGPL_3_0_linking_exception
    , 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
SHL_2_0
    , LicenseExceptionId
SHL_2_1
    , LicenseExceptionId
Swift_exception
    , LicenseExceptionId
Universal_FOSS_exception_1_0
    ]
    forall a. [a] -> [a] -> [a]
++ [LicenseExceptionId]
bulkOfLicenses
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_10 =
    [ LicenseExceptionId
GPL_3_0_linking_exception
    , LicenseExceptionId
GPL_3_0_linking_source_exception
    , LicenseExceptionId
GPL_CC_1_0
    , LicenseExceptionId
LGPL_3_0_linking_exception
    , 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
SHL_2_0
    , LicenseExceptionId
SHL_2_1
    , LicenseExceptionId
Swift_exception
    , LicenseExceptionId
Universal_FOSS_exception_1_0
    ]
    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
LicenseListVersion_3_0  String
s = forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_0
mkLicenseExceptionId LicenseListVersion
LicenseListVersion_3_2  String
s = forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_2
mkLicenseExceptionId LicenseListVersion
LicenseListVersion_3_6  String
s = forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_6
mkLicenseExceptionId LicenseListVersion
LicenseListVersion_3_9  String
s = forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_9
mkLicenseExceptionId LicenseListVersion
LicenseListVersion_3_10 String
s = forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup String
s Map String LicenseExceptionId
stringLookup_3_10

stringLookup_3_0 :: Map String LicenseExceptionId
stringLookup_3_0 :: Map String LicenseExceptionId
stringLookup_3_0 = forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map (\LicenseExceptionId
i -> (LicenseExceptionId -> String
licenseExceptionId LicenseExceptionId
i, LicenseExceptionId
i)) 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 = forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map (\LicenseExceptionId
i -> (LicenseExceptionId -> String
licenseExceptionId LicenseExceptionId
i, LicenseExceptionId
i)) 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 = forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map (\LicenseExceptionId
i -> (LicenseExceptionId -> String
licenseExceptionId LicenseExceptionId
i, LicenseExceptionId
i)) forall a b. (a -> b) -> a -> b
$
    LicenseListVersion -> [LicenseExceptionId]
licenseExceptionIdList LicenseListVersion
LicenseListVersion_3_6

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

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

--  | 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
    ]