Safe Haskell	None
Language	Haskell2010

Distribution.SPDX

Contents

License
License expression
License identifier
License exception
License reference
License list version

Description

This module implements SPDX specification version 2.1 with a version 3.0 license list.

Specification is available on https://spdx.org/specifications

Synopsis

data License
- = NONE
- | License LicenseExpression
data LicenseExpression
- = ELicense !SimpleLicenseExpression !(Maybe LicenseExceptionId)
- | EAnd !LicenseExpression !LicenseExpression
- | EOr !LicenseExpression !LicenseExpression
data SimpleLicenseExpression
- = ELicenseId LicenseId
- | ELicenseIdPlus LicenseId
- | ELicenseRef LicenseRef
simpleLicenseExpression :: LicenseId -> LicenseExpression
data LicenseId
- = NullBSD
- | AAL
- | Abstyles
- | Adobe_2006
- | Adobe_Glyph
- | ADSL
- | AFL_1_1
- | AFL_1_2
- | AFL_2_0
- | AFL_2_1
- | AFL_3_0
- | Afmparse
- | AGPL_1_0
- | AGPL_1_0_only
- | AGPL_1_0_or_later
- | AGPL_3_0_only
- | AGPL_3_0_or_later
- | Aladdin
- | AMDPLPA
- | AML
- | AMPAS
- | ANTLR_PD
- | Apache_1_0
- | Apache_1_1
- | Apache_2_0
- | APAFML
- | APL_1_0
- | APSL_1_0
- | APSL_1_1
- | APSL_1_2
- | APSL_2_0
- | Artistic_1_0_cl8
- | Artistic_1_0_Perl
- | Artistic_1_0
- | Artistic_2_0
- | Bahyph
- | Barr
- | Beerware
- | BitTorrent_1_0
- | BitTorrent_1_1
- | Blessing
- | BlueOak_1_0_0
- | Borceux
- | BSD_1_Clause
- | BSD_2_Clause_FreeBSD
- | BSD_2_Clause_NetBSD
- | BSD_2_Clause_Patent
- | BSD_2_Clause
- | BSD_3_Clause_Attribution
- | BSD_3_Clause_Clear
- | BSD_3_Clause_LBNL
- | BSD_3_Clause_No_Nuclear_License_2014
- | BSD_3_Clause_No_Nuclear_License
- | BSD_3_Clause_No_Nuclear_Warranty
- | BSD_3_Clause_Open_MPI
- | BSD_3_Clause
- | BSD_4_Clause_UC
- | BSD_4_Clause
- | BSD_Protection
- | BSD_Source_Code
- | BSL_1_0
- | Bzip2_1_0_5
- | Bzip2_1_0_6
- | CAL_1_0_Combined_Work_Exception
- | CAL_1_0
- | Caldera
- | CATOSL_1_1
- | CC_BY_1_0
- | CC_BY_2_0
- | CC_BY_2_5
- | CC_BY_3_0
- | CC_BY_4_0
- | CC_BY_NC_1_0
- | CC_BY_NC_2_0
- | CC_BY_NC_2_5
- | CC_BY_NC_3_0
- | CC_BY_NC_4_0
- | CC_BY_NC_ND_1_0
- | CC_BY_NC_ND_2_0
- | CC_BY_NC_ND_2_5
- | CC_BY_NC_ND_3_0
- | CC_BY_NC_ND_4_0
- | CC_BY_NC_SA_1_0
- | CC_BY_NC_SA_2_0
- | CC_BY_NC_SA_2_5
- | CC_BY_NC_SA_3_0
- | CC_BY_NC_SA_4_0
- | CC_BY_ND_1_0
- | CC_BY_ND_2_0
- | CC_BY_ND_2_5
- | CC_BY_ND_3_0
- | CC_BY_ND_4_0
- | CC_BY_SA_1_0
- | CC_BY_SA_2_0
- | CC_BY_SA_2_5
- | CC_BY_SA_3_0
- | CC_BY_SA_4_0
- | CC_PDDC
- | CC0_1_0
- | CDDL_1_0
- | CDDL_1_1
- | CDLA_Permissive_1_0
- | CDLA_Sharing_1_0
- | CECILL_1_0
- | CECILL_1_1
- | CECILL_2_0
- | CECILL_2_1
- | CECILL_B
- | CECILL_C
- | CERN_OHL_1_1
- | CERN_OHL_1_2
- | CERN_OHL_P_2_0
- | CERN_OHL_S_2_0
- | CERN_OHL_W_2_0
- | ClArtistic
- | CNRI_Jython
- | CNRI_Python_GPL_Compatible
- | CNRI_Python
- | Condor_1_1
- | Copyleft_next_0_3_0
- | Copyleft_next_0_3_1
- | CPAL_1_0
- | CPL_1_0
- | CPOL_1_02
- | Crossword
- | CrystalStacker
- | CUA_OPL_1_0
- | Cube
- | Curl
- | D_FSL_1_0
- | Diffmark
- | DOC
- | Dotseqn
- | DSDP
- | Dvipdfm
- | ECL_1_0
- | ECL_2_0
- | EFL_1_0
- | EFL_2_0
- | EGenix
- | Entessa
- | EPL_1_0
- | EPL_2_0
- | ErlPL_1_1
- | Etalab_2_0
- | EUDatagrid
- | EUPL_1_0
- | EUPL_1_1
- | EUPL_1_2
- | Eurosym
- | Fair
- | Frameworx_1_0
- | FreeImage
- | FSFAP
- | FSFULLR
- | FSFUL
- | FTL
- | GFDL_1_1_only
- | GFDL_1_1_or_later
- | GFDL_1_2_only
- | GFDL_1_2_or_later
- | GFDL_1_3_only
- | GFDL_1_3_or_later
- | Giftware
- | GL2PS
- | Glide
- | Glulxe
- | Gnuplot
- | GPL_1_0_only
- | GPL_1_0_or_later
- | GPL_2_0_only
- | GPL_2_0_or_later
- | GPL_3_0_only
- | GPL_3_0_or_later
- | GSOAP_1_3b
- | HaskellReport
- | Hippocratic_2_1
- | HPND_sell_variant
- | HPND
- | IBM_pibs
- | ICU
- | IJG
- | ImageMagick
- | IMatix
- | Imlib2
- | Info_ZIP
- | Intel_ACPI
- | Intel
- | Interbase_1_0
- | IPA
- | IPL_1_0
- | ISC
- | JasPer_2_0
- | JPNIC
- | JSON
- | LAL_1_2
- | LAL_1_3
- | Latex2e
- | Leptonica
- | LGPL_2_0_only
- | LGPL_2_0_or_later
- | LGPL_2_1_only
- | LGPL_2_1_or_later
- | LGPL_3_0_only
- | LGPL_3_0_or_later
- | LGPLLR
- | Libpng_2_0
- | Libpng
- | Libselinux_1_0
- | Libtiff
- | LiLiQ_P_1_1
- | LiLiQ_R_1_1
- | LiLiQ_Rplus_1_1
- | Linux_OpenIB
- | LPL_1_02
- | LPL_1_0
- | LPPL_1_0
- | LPPL_1_1
- | LPPL_1_2
- | LPPL_1_3a
- | LPPL_1_3c
- | MakeIndex
- | MirOS
- | MIT_0
- | MIT_advertising
- | MIT_CMU
- | MIT_enna
- | MIT_feh
- | MITNFA
- | MIT
- | Motosoto
- | Mpich2
- | MPL_1_0
- | MPL_1_1
- | MPL_2_0_no_copyleft_exception
- | MPL_2_0
- | MS_PL
- | MS_RL
- | MTLL
- | MulanPSL_1_0
- | MulanPSL_2_0
- | Multics
- | Mup
- | NASA_1_3
- | Naumen
- | NBPL_1_0
- | NCGL_UK_2_0
- | NCSA
- | Net_SNMP
- | NetCDF
- | Newsletr
- | NGPL
- | NLOD_1_0
- | NLPL
- | Nokia
- | NOSL
- | Noweb
- | NPL_1_0
- | NPL_1_1
- | NPOSL_3_0
- | NRL
- | NTP_0
- | NTP
- | O_UDA_1_0
- | OCCT_PL
- | OCLC_2_0
- | ODbL_1_0
- | ODC_By_1_0
- | OFL_1_0_no_RFN
- | OFL_1_0_RFN
- | OFL_1_0
- | OFL_1_1_no_RFN
- | OFL_1_1_RFN
- | OFL_1_1
- | OGC_1_0
- | OGL_Canada_2_0
- | OGL_UK_1_0
- | OGL_UK_2_0
- | OGL_UK_3_0
- | OGTSL
- | OLDAP_1_1
- | OLDAP_1_2
- | OLDAP_1_3
- | OLDAP_1_4
- | OLDAP_2_0_1
- | OLDAP_2_0
- | OLDAP_2_1
- | OLDAP_2_2_1
- | OLDAP_2_2_2
- | OLDAP_2_2
- | OLDAP_2_3
- | OLDAP_2_4
- | OLDAP_2_5
- | OLDAP_2_6
- | OLDAP_2_7
- | OLDAP_2_8
- | OML
- | OpenSSL
- | OPL_1_0
- | OSET_PL_2_1
- | OSL_1_0
- | OSL_1_1
- | OSL_2_0
- | OSL_2_1
- | OSL_3_0
- | Parity_6_0_0
- | Parity_7_0_0
- | PDDL_1_0
- | PHP_3_01
- | PHP_3_0
- | Plexus
- | PolyForm_Noncommercial_1_0_0
- | PolyForm_Small_Business_1_0_0
- | PostgreSQL
- | PSF_2_0
- | Psfrag
- | Psutils
- | Python_2_0
- | Qhull
- | QPL_1_0
- | Rdisc
- | RHeCos_1_1
- | RPL_1_1
- | RPL_1_5
- | RPSL_1_0
- | RSA_MD
- | RSCPL
- | Ruby
- | SAX_PD
- | Saxpath
- | SCEA
- | Sendmail_8_23
- | Sendmail
- | SGI_B_1_0
- | SGI_B_1_1
- | SGI_B_2_0
- | SHL_0_51
- | SHL_0_5
- | SimPL_2_0
- | SISSL_1_2
- | SISSL
- | Sleepycat
- | SMLNJ
- | SMPPL
- | SNIA
- | Spencer_86
- | Spencer_94
- | Spencer_99
- | SPL_1_0
- | SSH_OpenSSH
- | SSH_short
- | SSPL_1_0
- | SugarCRM_1_1_3
- | SWL
- | TAPR_OHL_1_0
- | TCL
- | TCP_wrappers
- | TMate
- | TORQUE_1_1
- | TOSL
- | TU_Berlin_1_0
- | TU_Berlin_2_0
- | UCL_1_0
- | Unicode_DFS_2015
- | Unicode_DFS_2016
- | Unicode_TOU
- | Unlicense
- | UPL_1_0
- | Vim
- | VOSTROM
- | VSL_1_0
- | W3C_19980720
- | W3C_20150513
- | W3C
- | Watcom_1_0
- | Wsuipa
- | WTFPL
- | X11
- | Xerox
- | XFree86_1_1
- | Xinetd
- | Xnet
- | Xpp
- | XSkat
- | YPL_1_0
- | YPL_1_1
- | Zed
- | Zend_2_0
- | Zimbra_1_3
- | Zimbra_1_4
- | Zlib_acknowledgement
- | Zlib
- | ZPL_1_1
- | ZPL_2_0
- | ZPL_2_1
licenseId :: LicenseId -> String
licenseName :: LicenseId -> String
licenseIsOsiApproved :: LicenseId -> Bool
mkLicenseId :: LicenseListVersion -> String -> Maybe LicenseId
licenseIdList :: LicenseListVersion -> [LicenseId]
data LicenseExceptionId
- = DS389_exception
- | Autoconf_exception_2_0
- | Autoconf_exception_3_0
- | Bison_exception_2_2
- | Bootloader_exception
- | Classpath_exception_2_0
- | CLISP_exception_2_0
- | DigiRule_FOSS_exception
- | ECos_exception_2_0
- | Fawkes_Runtime_exception
- | FLTK_exception
- | Font_exception_2_0
- | Freertos_exception_2_0
- | GCC_exception_2_0
- | GCC_exception_3_1
- | Gnu_javamail_exception
- | GPL_3_0_linking_exception
- | GPL_3_0_linking_source_exception
- | GPL_CC_1_0
- | I2p_gpl_java_exception
- | LGPL_3_0_linking_exception
- | Libtool_exception
- | Linux_syscall_note
- | LLVM_exception
- | LZMA_exception
- | Mif_exception
- | Nokia_Qt_exception_1_1
- | OCaml_LGPL_linking_exception
- | OCCT_exception_1_0
- | OpenJDK_assembly_exception_1_0
- | Openvpn_openssl_exception
- | PS_or_PDF_font_exception_20170817
- | Qt_GPL_exception_1_0
- | Qt_LGPL_exception_1_1
- | Qwt_exception_1_0
- | SHL_2_0
- | SHL_2_1
- | Swift_exception
- | U_boot_exception_2_0
- | Universal_FOSS_exception_1_0
- | WxWindows_exception_3_1
licenseExceptionId :: LicenseExceptionId -> String
licenseExceptionName :: LicenseExceptionId -> String
mkLicenseExceptionId :: LicenseListVersion -> String -> Maybe LicenseExceptionId
licenseExceptionIdList :: LicenseListVersion -> [LicenseExceptionId]
data LicenseRef
licenseRef :: LicenseRef -> String
licenseDocumentRef :: LicenseRef -> Maybe String
mkLicenseRef :: Maybe String -> String -> Maybe LicenseRef
mkLicenseRef' :: Maybe String -> String -> LicenseRef
data LicenseListVersion
- = LicenseListVersion_3_0
- | LicenseListVersion_3_2
- | LicenseListVersion_3_6
- | LicenseListVersion_3_9
cabalSpecVersionToSPDXListVersion :: CabalSpecVersion -> LicenseListVersion

License

data License Source #

Declared license. See section 3.15 of SPDX Specification 2.1

Note: the NOASSERTION case is omitted.

Old License can be migrated using following rules:

AllRightsReserved and UnspecifiedLicense to NONE. No license specified which legally defaults to All Rights Reserved. The package may not be legally modified or redistributed by anyone but the rightsholder.
OtherLicense can be converted to LicenseRef pointing to the file in the package.
UnknownLicense i.e. other licenses of the form name-x.y, should be covered by SPDX license list, otherwise use LicenseRef.
PublicDomain isn't covered. Consider using CC0. See https://wiki.spdx.org/view/Legal_Team/Decisions/Dealing_with_Public_Domain_within_SPDX_Files for more information.

Constructors

NONE	if the package contains no license information whatsoever; or
License LicenseExpression	A valid SPDX License Expression as defined in Appendix IV.

Instances

Instances details

Eq License #
Instance details Defined in Distribution.SPDX.License Methods (==) :: License -> License -> Bool # (/=) :: License -> License -> Bool #
Data License #
Instance details Defined in Distribution.SPDX.License Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> License -> c License Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c License Source # toConstr :: License -> Constr Source # dataTypeOf :: License -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c License) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c License) Source # gmapT :: (forall b. Data b => b -> b) -> License -> License Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> License -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> License -> r Source # gmapQ :: (forall d. Data d => d -> u) -> License -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> License -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> License -> m License Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License Source #
Ord License #
Instance details Defined in Distribution.SPDX.License Methods compare :: License -> License -> Ordering # (<) :: License -> License -> Bool # (<=) :: License -> License -> Bool # (>) :: License -> License -> Bool # (>=) :: License -> License -> Bool # max :: License -> License -> License # min :: License -> License -> License #
Read License #
Instance details Defined in Distribution.SPDX.License Methods readsPrec :: Int -> ReadS License Source # readList :: ReadS [License] Source # readPrec :: ReadPrec License Source # readListPrec :: ReadPrec [License] Source #
Show License #
Instance details Defined in Distribution.SPDX.License Methods showsPrec :: Int -> License -> ShowS Source # show :: License -> String Source # showList :: [License] -> ShowS Source #
Generic License #
Instance details Defined in Distribution.SPDX.License Associated Types type Rep License :: Type -> Type Source # Methods from :: License -> Rep License x Source # to :: Rep License x -> License Source #
Binary License #
Instance details Defined in Distribution.SPDX.License Methods put :: License -> Put Source # get :: Get License Source # putList :: [License] -> Put Source #
NFData License #
Instance details Defined in Distribution.SPDX.License Methods rnf :: License -> () Source #
Structured License #
Instance details Defined in Distribution.SPDX.License Methods structure :: Proxy License -> Structure Source # structureHash' :: Tagged License MD5
Pretty License #
Instance details Defined in Distribution.SPDX.License Methods pretty :: License -> Doc Source # prettyVersioned :: CabalSpecVersion -> License -> Doc Source #
Parsec License #	`>>>` `eitherParsec "BSD-3-Clause AND MIT" :: Either String License`Right (License (EAnd (ELicense (ELicenseId BSD_3_Clause) Nothing) (ELicense (ELicenseId MIT) Nothing))) `>>>` `eitherParsec "NONE" :: Either String License`Right NONE
Instance details Defined in Distribution.SPDX.License Methods parsec :: CabalParsing m => m License Source #
Newtype (Either License License) SpecLicense #
Instance details Defined in Distribution.FieldGrammar.Newtypes Methods pack :: Either License0 License -> SpecLicense Source # unpack :: SpecLicense -> Either License0 License Source #
type Rep License #
Instance details Defined in Distribution.SPDX.License type Rep License = D1 ('MetaData "License" "Distribution.SPDX.License" "Cabal-3.4.0.0" 'False) (C1 ('MetaCons "NONE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "License" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseExpression)))

License expression

data LicenseExpression Source #

SPDX License Expression.

idstring              = 1*(ALPHA / DIGIT / "-" / "." )
license id            = <short form license identifier inAppendix I.1>
license exception id  = <short form license exception identifier inAppendix I.2>
license ref           = ["DocumentRef-"1*(idstring)":"]"LicenseRef-"1*(idstring)

simple expression     = license id / license id"+" / license ref

compound expression   = 1*1(simple expression /
                        simple expression "WITH" license exception id /
                        compound expression "AND" compound expression /
                        compound expression "OR" compound expression ) /
                        "(" compound expression ")" )

license expression    = 1*1(simple expression / compound expression)

Constructors

ELicense !SimpleLicenseExpression !(Maybe LicenseExceptionId)
EAnd !LicenseExpression !LicenseExpression
EOr !LicenseExpression !LicenseExpression

Instances

Instances details

Eq LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods (==) :: LicenseExpression -> LicenseExpression -> Bool # (/=) :: LicenseExpression -> LicenseExpression -> Bool #
Data LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LicenseExpression -> c LicenseExpression Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseExpression Source # toConstr :: LicenseExpression -> Constr Source # dataTypeOf :: LicenseExpression -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseExpression) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseExpression) Source # gmapT :: (forall b. Data b => b -> b) -> LicenseExpression -> LicenseExpression Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExpression -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExpression -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LicenseExpression -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseExpression -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression Source #
Ord LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods compare :: LicenseExpression -> LicenseExpression -> Ordering # (<) :: LicenseExpression -> LicenseExpression -> Bool # (<=) :: LicenseExpression -> LicenseExpression -> Bool # (>) :: LicenseExpression -> LicenseExpression -> Bool # (>=) :: LicenseExpression -> LicenseExpression -> Bool # max :: LicenseExpression -> LicenseExpression -> LicenseExpression # min :: LicenseExpression -> LicenseExpression -> LicenseExpression #
Read LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods readsPrec :: Int -> ReadS LicenseExpression Source # readList :: ReadS [LicenseExpression] Source # readPrec :: ReadPrec LicenseExpression Source # readListPrec :: ReadPrec [LicenseExpression] Source #
Show LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods showsPrec :: Int -> LicenseExpression -> ShowS Source # show :: LicenseExpression -> String Source # showList :: [LicenseExpression] -> ShowS Source #
Generic LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Associated Types type Rep LicenseExpression :: Type -> Type Source # Methods from :: LicenseExpression -> Rep LicenseExpression x Source # to :: Rep LicenseExpression x -> LicenseExpression Source #
Binary LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods put :: LicenseExpression -> Put Source # get :: Get LicenseExpression Source # putList :: [LicenseExpression] -> Put Source #
NFData LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods rnf :: LicenseExpression -> () Source #
Structured LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods structure :: Proxy LicenseExpression -> Structure Source # structureHash' :: Tagged LicenseExpression MD5
Pretty LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods pretty :: LicenseExpression -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseExpression -> Doc Source #
Parsec LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods parsec :: CabalParsing m => m LicenseExpression Source #
type Rep LicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression type Rep LicenseExpression = D1 ('MetaData "LicenseExpression" "Distribution.SPDX.LicenseExpression" "Cabal-3.4.0.0" 'False) (C1 ('MetaCons "ELicense" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SimpleLicenseExpression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LicenseExceptionId))) :+: (C1 ('MetaCons "EAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression)) :+: C1 ('MetaCons "EOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression))))

data SimpleLicenseExpression Source #

Simple License Expressions.

Constructors

ELicenseId LicenseId	An SPDX License List Short Form Identifier. For example: `GPL-2.0-only`
ELicenseIdPlus LicenseId	An SPDX License List Short Form Identifier with a unary"+" operator suffix to represent the current version of the license or any later version. For example: `GPL-2.0+`
ELicenseRef LicenseRef	A SPDX user defined license reference: For example: `LicenseRef-23`, `LicenseRef-MIT-Style-1`, or `DocumentRef-spdx-tool-1.2:LicenseRef-MIT-Style-2`

Instances

Instances details

Eq SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods (==) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool # (/=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool #
Data SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleLicenseExpression -> c SimpleLicenseExpression Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleLicenseExpression Source # toConstr :: SimpleLicenseExpression -> Constr Source # dataTypeOf :: SimpleLicenseExpression -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SimpleLicenseExpression) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleLicenseExpression) Source # gmapT :: (forall b. Data b => b -> b) -> SimpleLicenseExpression -> SimpleLicenseExpression Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleLicenseExpression -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleLicenseExpression -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SimpleLicenseExpression -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleLicenseExpression -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression Source #
Ord SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods compare :: SimpleLicenseExpression -> SimpleLicenseExpression -> Ordering # (<) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool # (<=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool # (>) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool # (>=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool # max :: SimpleLicenseExpression -> SimpleLicenseExpression -> SimpleLicenseExpression # min :: SimpleLicenseExpression -> SimpleLicenseExpression -> SimpleLicenseExpression #
Read SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods readsPrec :: Int -> ReadS SimpleLicenseExpression Source # readList :: ReadS [SimpleLicenseExpression] Source # readPrec :: ReadPrec SimpleLicenseExpression Source # readListPrec :: ReadPrec [SimpleLicenseExpression] Source #
Show SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods showsPrec :: Int -> SimpleLicenseExpression -> ShowS Source # show :: SimpleLicenseExpression -> String Source # showList :: [SimpleLicenseExpression] -> ShowS Source #
Generic SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Associated Types type Rep SimpleLicenseExpression :: Type -> Type Source # Methods from :: SimpleLicenseExpression -> Rep SimpleLicenseExpression x Source # to :: Rep SimpleLicenseExpression x -> SimpleLicenseExpression Source #
Binary SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods put :: SimpleLicenseExpression -> Put Source # get :: Get SimpleLicenseExpression Source # putList :: [SimpleLicenseExpression] -> Put Source #
NFData SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods rnf :: SimpleLicenseExpression -> () Source #
Structured SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods structure :: Proxy SimpleLicenseExpression -> Structure Source # structureHash' :: Tagged SimpleLicenseExpression MD5
Pretty SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods pretty :: SimpleLicenseExpression -> Doc Source # prettyVersioned :: CabalSpecVersion -> SimpleLicenseExpression -> Doc Source #
Parsec SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods parsec :: CabalParsing m => m SimpleLicenseExpression Source #
type Rep SimpleLicenseExpression #
Instance details Defined in Distribution.SPDX.LicenseExpression type Rep SimpleLicenseExpression = D1 ('MetaData "SimpleLicenseExpression" "Distribution.SPDX.LicenseExpression" "Cabal-3.4.0.0" 'False) (C1 ('MetaCons "ELicenseId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseId)) :+: (C1 ('MetaCons "ELicenseIdPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseId)) :+: C1 ('MetaCons "ELicenseRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseRef))))

simpleLicenseExpression :: LicenseId -> LicenseExpression Source #

License identifier

data LicenseId Source #

SPDX License identifier

Constructors

NullBSD	`0BSD`, BSD Zero Clause License
AAL	`AAL`, Attribution Assurance License
Abstyles	`Abstyles`, Abstyles License
Adobe_2006	`Adobe-2006`, Adobe Systems Incorporated Source Code License Agreement
Adobe_Glyph	`Adobe-Glyph`, Adobe Glyph List License
ADSL	`ADSL`, Amazon Digital Services License
AFL_1_1	`AFL-1.1`, Academic Free License v1.1
AFL_1_2	`AFL-1.2`, Academic Free License v1.2
AFL_2_0	`AFL-2.0`, Academic Free License v2.0
AFL_2_1	`AFL-2.1`, Academic Free License v2.1
AFL_3_0	`AFL-3.0`, Academic Free License v3.0
Afmparse	`Afmparse`, Afmparse License
AGPL_1_0	`AGPL-1.0`, Affero General Public License v1.0, SPDX License List 3.0
AGPL_1_0_only	`AGPL-1.0-only`, Affero General Public License v1.0 only, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
AGPL_1_0_or_later	`AGPL-1.0-or-later`, Affero General Public License v1.0 or later, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
AGPL_3_0_only	`AGPL-3.0-only`, GNU Affero General Public License v3.0 only
AGPL_3_0_or_later	`AGPL-3.0-or-later`, GNU Affero General Public License v3.0 or later
Aladdin	`Aladdin`, Aladdin Free Public License
AMDPLPA	`AMDPLPA`, AMD's plpa_map.c License
AML	`AML`, Apple MIT License
AMPAS	`AMPAS`, Academy of Motion Picture Arts and Sciences BSD
ANTLR_PD	`ANTLR-PD`, ANTLR Software Rights Notice
Apache_1_0	`Apache-1.0`, Apache License 1.0
Apache_1_1	`Apache-1.1`, Apache License 1.1
Apache_2_0	`Apache-2.0`, Apache License 2.0
APAFML	`APAFML`, Adobe Postscript AFM License
APL_1_0	`APL-1.0`, Adaptive Public License 1.0
APSL_1_0	`APSL-1.0`, Apple Public Source License 1.0
APSL_1_1	`APSL-1.1`, Apple Public Source License 1.1
APSL_1_2	`APSL-1.2`, Apple Public Source License 1.2
APSL_2_0	`APSL-2.0`, Apple Public Source License 2.0
Artistic_1_0_cl8	`Artistic-1.0-cl8`, Artistic License 1.0 w/clause 8
Artistic_1_0_Perl	`Artistic-1.0-Perl`, Artistic License 1.0 (Perl)
Artistic_1_0	`Artistic-1.0`, Artistic License 1.0
Artistic_2_0	`Artistic-2.0`, Artistic License 2.0
Bahyph	`Bahyph`, Bahyph License
Barr	`Barr`, Barr License
Beerware	`Beerware`, Beerware License
BitTorrent_1_0	`BitTorrent-1.0`, BitTorrent Open Source License v1.0
BitTorrent_1_1	`BitTorrent-1.1`, BitTorrent Open Source License v1.1
Blessing	`blessing`, SQLite Blessing, SPDX License List 3.6, SPDX License List 3.9
BlueOak_1_0_0	`BlueOak-1.0.0`, Blue Oak Model License 1.0.0, SPDX License List 3.6, SPDX License List 3.9
Borceux	`Borceux`, Borceux license
BSD_1_Clause	`BSD-1-Clause`, BSD 1-Clause License
BSD_2_Clause_FreeBSD	`BSD-2-Clause-FreeBSD`, BSD 2-Clause FreeBSD License
BSD_2_Clause_NetBSD	`BSD-2-Clause-NetBSD`, BSD 2-Clause NetBSD License, SPDX License List 3.0, SPDX License List 3.2, SPDX License List 3.6
BSD_2_Clause_Patent	`BSD-2-Clause-Patent`, BSD-2-Clause Plus Patent License
BSD_2_Clause	`BSD-2-Clause`, BSD 2-Clause Simplified License
BSD_3_Clause_Attribution	`BSD-3-Clause-Attribution`, BSD with attribution
BSD_3_Clause_Clear	`BSD-3-Clause-Clear`, BSD 3-Clause Clear License
BSD_3_Clause_LBNL	`BSD-3-Clause-LBNL`, Lawrence Berkeley National Labs BSD variant license
BSD_3_Clause_No_Nuclear_License_2014	`BSD-3-Clause-No-Nuclear-License-2014`, BSD 3-Clause No Nuclear License 2014
BSD_3_Clause_No_Nuclear_License	`BSD-3-Clause-No-Nuclear-License`, BSD 3-Clause No Nuclear License
BSD_3_Clause_No_Nuclear_Warranty	`BSD-3-Clause-No-Nuclear-Warranty`, BSD 3-Clause No Nuclear Warranty
BSD_3_Clause_Open_MPI	`BSD-3-Clause-Open-MPI`, BSD 3-Clause Open MPI variant, SPDX License List 3.6, SPDX License List 3.9
BSD_3_Clause	`BSD-3-Clause`, BSD 3-Clause New or Revised License
BSD_4_Clause_UC	`BSD-4-Clause-UC`, BSD-4-Clause (University of California-Specific)
BSD_4_Clause	`BSD-4-Clause`, BSD 4-Clause Original or Old License
BSD_Protection	`BSD-Protection`, BSD Protection License
BSD_Source_Code	`BSD-Source-Code`, BSD Source Code Attribution
BSL_1_0	`BSL-1.0`, Boost Software License 1.0
Bzip2_1_0_5	`bzip2-1.0.5`, bzip2 and libbzip2 License v1.0.5
Bzip2_1_0_6	`bzip2-1.0.6`, bzip2 and libbzip2 License v1.0.6
CAL_1_0_Combined_Work_Exception	`CAL-1.0-Combined-Work-Exception`, Cryptographic Autonomy License 1.0 (Combined Work Exception), SPDX License List 3.9
CAL_1_0	`CAL-1.0`, Cryptographic Autonomy License 1.0, SPDX License List 3.9
Caldera	`Caldera`, Caldera License
CATOSL_1_1	`CATOSL-1.1`, Computer Associates Trusted Open Source License 1.1
CC_BY_1_0	`CC-BY-1.0`, Creative Commons Attribution 1.0 Generic
CC_BY_2_0	`CC-BY-2.0`, Creative Commons Attribution 2.0 Generic
CC_BY_2_5	`CC-BY-2.5`, Creative Commons Attribution 2.5 Generic
CC_BY_3_0	`CC-BY-3.0`, Creative Commons Attribution 3.0 Unported
CC_BY_4_0	`CC-BY-4.0`, Creative Commons Attribution 4.0 International
CC_BY_NC_1_0	`CC-BY-NC-1.0`, Creative Commons Attribution Non Commercial 1.0 Generic
CC_BY_NC_2_0	`CC-BY-NC-2.0`, Creative Commons Attribution Non Commercial 2.0 Generic
CC_BY_NC_2_5	`CC-BY-NC-2.5`, Creative Commons Attribution Non Commercial 2.5 Generic
CC_BY_NC_3_0	`CC-BY-NC-3.0`, Creative Commons Attribution Non Commercial 3.0 Unported
CC_BY_NC_4_0	`CC-BY-NC-4.0`, Creative Commons Attribution Non Commercial 4.0 International
CC_BY_NC_ND_1_0	`CC-BY-NC-ND-1.0`, Creative Commons Attribution Non Commercial No Derivatives 1.0 Generic
CC_BY_NC_ND_2_0	`CC-BY-NC-ND-2.0`, Creative Commons Attribution Non Commercial No Derivatives 2.0 Generic
CC_BY_NC_ND_2_5	`CC-BY-NC-ND-2.5`, Creative Commons Attribution Non Commercial No Derivatives 2.5 Generic
CC_BY_NC_ND_3_0	`CC-BY-NC-ND-3.0`, Creative Commons Attribution Non Commercial No Derivatives 3.0 Unported
CC_BY_NC_ND_4_0	`CC-BY-NC-ND-4.0`, Creative Commons Attribution Non Commercial No Derivatives 4.0 International
CC_BY_NC_SA_1_0	`CC-BY-NC-SA-1.0`, Creative Commons Attribution Non Commercial Share Alike 1.0 Generic
CC_BY_NC_SA_2_0	`CC-BY-NC-SA-2.0`, Creative Commons Attribution Non Commercial Share Alike 2.0 Generic
CC_BY_NC_SA_2_5	`CC-BY-NC-SA-2.5`, Creative Commons Attribution Non Commercial Share Alike 2.5 Generic
CC_BY_NC_SA_3_0	`CC-BY-NC-SA-3.0`, Creative Commons Attribution Non Commercial Share Alike 3.0 Unported
CC_BY_NC_SA_4_0	`CC-BY-NC-SA-4.0`, Creative Commons Attribution Non Commercial Share Alike 4.0 International
CC_BY_ND_1_0	`CC-BY-ND-1.0`, Creative Commons Attribution No Derivatives 1.0 Generic
CC_BY_ND_2_0	`CC-BY-ND-2.0`, Creative Commons Attribution No Derivatives 2.0 Generic
CC_BY_ND_2_5	`CC-BY-ND-2.5`, Creative Commons Attribution No Derivatives 2.5 Generic
CC_BY_ND_3_0	`CC-BY-ND-3.0`, Creative Commons Attribution No Derivatives 3.0 Unported
CC_BY_ND_4_0	`CC-BY-ND-4.0`, Creative Commons Attribution No Derivatives 4.0 International
CC_BY_SA_1_0	`CC-BY-SA-1.0`, Creative Commons Attribution Share Alike 1.0 Generic
CC_BY_SA_2_0	`CC-BY-SA-2.0`, Creative Commons Attribution Share Alike 2.0 Generic
CC_BY_SA_2_5	`CC-BY-SA-2.5`, Creative Commons Attribution Share Alike 2.5 Generic
CC_BY_SA_3_0	`CC-BY-SA-3.0`, Creative Commons Attribution Share Alike 3.0 Unported
CC_BY_SA_4_0	`CC-BY-SA-4.0`, Creative Commons Attribution Share Alike 4.0 International
CC_PDDC	`CC-PDDC`, Creative Commons Public Domain Dedication and Certification, SPDX License List 3.6, SPDX License List 3.9
CC0_1_0	`CC0-1.0`, Creative Commons Zero v1.0 Universal
CDDL_1_0	`CDDL-1.0`, Common Development and Distribution License 1.0
CDDL_1_1	`CDDL-1.1`, Common Development and Distribution License 1.1
CDLA_Permissive_1_0	`CDLA-Permissive-1.0`, Community Data License Agreement Permissive 1.0
CDLA_Sharing_1_0	`CDLA-Sharing-1.0`, Community Data License Agreement Sharing 1.0
CECILL_1_0	`CECILL-1.0`, CeCILL Free Software License Agreement v1.0
CECILL_1_1	`CECILL-1.1`, CeCILL Free Software License Agreement v1.1
CECILL_2_0	`CECILL-2.0`, CeCILL Free Software License Agreement v2.0
CECILL_2_1	`CECILL-2.1`, CeCILL Free Software License Agreement v2.1
CECILL_B	`CECILL-B`, CeCILL-B Free Software License Agreement
CECILL_C	`CECILL-C`, CeCILL-C Free Software License Agreement
CERN_OHL_1_1	`CERN-OHL-1.1`, CERN Open Hardware Licence v1.1, SPDX License List 3.6, SPDX License List 3.9
CERN_OHL_1_2	`CERN-OHL-1.2`, CERN Open Hardware Licence v1.2, SPDX License List 3.6, SPDX License List 3.9
CERN_OHL_P_2_0	`CERN-OHL-P-2.0`, CERN Open Hardware Licence Version 2 - Permissive, SPDX License List 3.9
CERN_OHL_S_2_0	`CERN-OHL-S-2.0`, CERN Open Hardware Licence Version 2 - Strongly Reciprocal, SPDX License List 3.9
CERN_OHL_W_2_0	`CERN-OHL-W-2.0`, CERN Open Hardware Licence Version 2 - Weakly Reciprocal, SPDX License List 3.9
ClArtistic	`ClArtistic`, Clarified Artistic License
CNRI_Jython	`CNRI-Jython`, CNRI Jython License
CNRI_Python_GPL_Compatible	`CNRI-Python-GPL-Compatible`, CNRI Python Open Source GPL Compatible License Agreement
CNRI_Python	`CNRI-Python`, CNRI Python License
Condor_1_1	`Condor-1.1`, Condor Public License v1.1
Copyleft_next_0_3_0	`copyleft-next-0.3.0`, copyleft-next 0.3.0, SPDX License List 3.6, SPDX License List 3.9
Copyleft_next_0_3_1	`copyleft-next-0.3.1`, copyleft-next 0.3.1, SPDX License List 3.6, SPDX License List 3.9
CPAL_1_0	`CPAL-1.0`, Common Public Attribution License 1.0
CPL_1_0	`CPL-1.0`, Common Public License 1.0
CPOL_1_02	`CPOL-1.02`, Code Project Open License 1.02
Crossword	`Crossword`, Crossword License
CrystalStacker	`CrystalStacker`, CrystalStacker License
CUA_OPL_1_0	`CUA-OPL-1.0`, CUA Office Public License v1.0
Cube	`Cube`, Cube License
Curl	`curl`, curl License
D_FSL_1_0	`D-FSL-1.0`, Deutsche Freie Software Lizenz
Diffmark	`diffmark`, diffmark license
DOC	`DOC`, DOC License
Dotseqn	`Dotseqn`, Dotseqn License
DSDP	`DSDP`, DSDP License
Dvipdfm	`dvipdfm`, dvipdfm License
ECL_1_0	`ECL-1.0`, Educational Community License v1.0
ECL_2_0	`ECL-2.0`, Educational Community License v2.0
EFL_1_0	`EFL-1.0`, Eiffel Forum License v1.0
EFL_2_0	`EFL-2.0`, Eiffel Forum License v2.0
EGenix	`eGenix`, eGenix.com Public License 1.1.0
Entessa	`Entessa`, Entessa Public License v1.0
EPL_1_0	`EPL-1.0`, Eclipse Public License 1.0
EPL_2_0	`EPL-2.0`, Eclipse Public License 2.0
ErlPL_1_1	`ErlPL-1.1`, Erlang Public License v1.1
Etalab_2_0	`etalab-2.0`, Etalab Open License 2.0, SPDX License List 3.9
EUDatagrid	`EUDatagrid`, EU DataGrid Software License
EUPL_1_0	`EUPL-1.0`, European Union Public License 1.0
EUPL_1_1	`EUPL-1.1`, European Union Public License 1.1
EUPL_1_2	`EUPL-1.2`, European Union Public License 1.2
Eurosym	`Eurosym`, Eurosym License
Fair	`Fair`, Fair License
Frameworx_1_0	`Frameworx-1.0`, Frameworx Open License 1.0
FreeImage	`FreeImage`, FreeImage Public License v1.0
FSFAP	`FSFAP`, FSF All Permissive License
FSFULLR	`FSFULLR`, FSF Unlimited License (with License Retention)
FSFUL	`FSFUL`, FSF Unlimited License
FTL	`FTL`, Freetype Project License
GFDL_1_1_only	`GFDL-1.1-only`, GNU Free Documentation License v1.1 only
GFDL_1_1_or_later	`GFDL-1.1-or-later`, GNU Free Documentation License v1.1 or later
GFDL_1_2_only	`GFDL-1.2-only`, GNU Free Documentation License v1.2 only
GFDL_1_2_or_later	`GFDL-1.2-or-later`, GNU Free Documentation License v1.2 or later
GFDL_1_3_only	`GFDL-1.3-only`, GNU Free Documentation License v1.3 only
GFDL_1_3_or_later	`GFDL-1.3-or-later`, GNU Free Documentation License v1.3 or later
Giftware	`Giftware`, Giftware License
GL2PS	`GL2PS`, GL2PS License
Glide	`Glide`, 3dfx Glide License
Glulxe	`Glulxe`, Glulxe License
Gnuplot	`gnuplot`, gnuplot License
GPL_1_0_only	`GPL-1.0-only`, GNU General Public License v1.0 only
GPL_1_0_or_later	`GPL-1.0-or-later`, GNU General Public License v1.0 or later
GPL_2_0_only	`GPL-2.0-only`, GNU General Public License v2.0 only
GPL_2_0_or_later	`GPL-2.0-or-later`, GNU General Public License v2.0 or later
GPL_3_0_only	`GPL-3.0-only`, GNU General Public License v3.0 only
GPL_3_0_or_later	`GPL-3.0-or-later`, GNU General Public License v3.0 or later
GSOAP_1_3b	`gSOAP-1.3b`, gSOAP Public License v1.3b
HaskellReport	`HaskellReport`, Haskell Language Report License
Hippocratic_2_1	`Hippocratic-2.1`, Hippocratic License 2.1, SPDX License List 3.9
HPND_sell_variant	`HPND-sell-variant`, Historical Permission Notice and Disclaimer - sell variant, SPDX License List 3.6, SPDX License List 3.9
HPND	`HPND`, Historical Permission Notice and Disclaimer
IBM_pibs	`IBM-pibs`, IBM PowerPC Initialization and Boot Software
ICU	`ICU`, ICU License
IJG	`IJG`, Independent JPEG Group License
ImageMagick	`ImageMagick`, ImageMagick License
IMatix	`iMatix`, iMatix Standard Function Library Agreement
Imlib2	`Imlib2`, Imlib2 License
Info_ZIP	`Info-ZIP`, Info-ZIP License
Intel_ACPI	`Intel-ACPI`, Intel ACPI Software License Agreement
Intel	`Intel`, Intel Open Source License
Interbase_1_0	`Interbase-1.0`, Interbase Public License v1.0
IPA	`IPA`, IPA Font License
IPL_1_0	`IPL-1.0`, IBM Public License v1.0
ISC	`ISC`, ISC License
JasPer_2_0	`JasPer-2.0`, JasPer License
JPNIC	`JPNIC`, Japan Network Information Center License, SPDX License List 3.6, SPDX License List 3.9
JSON	`JSON`, JSON License
LAL_1_2	`LAL-1.2`, Licence Art Libre 1.2
LAL_1_3	`LAL-1.3`, Licence Art Libre 1.3
Latex2e	`Latex2e`, Latex2e License
Leptonica	`Leptonica`, Leptonica License
LGPL_2_0_only	`LGPL-2.0-only`, GNU Library General Public License v2 only
LGPL_2_0_or_later	`LGPL-2.0-or-later`, GNU Library General Public License v2 or later
LGPL_2_1_only	`LGPL-2.1-only`, GNU Lesser General Public License v2.1 only
LGPL_2_1_or_later	`LGPL-2.1-or-later`, GNU Lesser General Public License v2.1 or later
LGPL_3_0_only	`LGPL-3.0-only`, GNU Lesser General Public License v3.0 only
LGPL_3_0_or_later	`LGPL-3.0-or-later`, GNU Lesser General Public License v3.0 or later
LGPLLR	`LGPLLR`, Lesser General Public License For Linguistic Resources
Libpng_2_0	`libpng-2.0`, PNG Reference Library version 2, SPDX License List 3.6, SPDX License List 3.9
Libpng	`Libpng`, libpng License
Libselinux_1_0	`libselinux-1.0`, libselinux public domain notice, SPDX License List 3.9
Libtiff	`libtiff`, libtiff License
LiLiQ_P_1_1	`LiLiQ-P-1.1`, Licence Libre du Québec – Permissive version 1.1
LiLiQ_R_1_1	`LiLiQ-R-1.1`, Licence Libre du Québec – Réciprocité version 1.1
LiLiQ_Rplus_1_1	`LiLiQ-Rplus-1.1`, Licence Libre du Québec – Réciprocité forte version 1.1
Linux_OpenIB	`Linux-OpenIB`, Linux Kernel Variant of OpenIB.org license, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
LPL_1_02	`LPL-1.02`, Lucent Public License v1.02
LPL_1_0	`LPL-1.0`, Lucent Public License Version 1.0
LPPL_1_0	`LPPL-1.0`, LaTeX Project Public License v1.0
LPPL_1_1	`LPPL-1.1`, LaTeX Project Public License v1.1
LPPL_1_2	`LPPL-1.2`, LaTeX Project Public License v1.2
LPPL_1_3a	`LPPL-1.3a`, LaTeX Project Public License v1.3a
LPPL_1_3c	`LPPL-1.3c`, LaTeX Project Public License v1.3c
MakeIndex	`MakeIndex`, MakeIndex License
MirOS	`MirOS`, The MirOS Licence
MIT_0	`MIT-0`, MIT No Attribution, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
MIT_advertising	`MIT-advertising`, Enlightenment License (e16)
MIT_CMU	`MIT-CMU`, CMU License
MIT_enna	`MIT-enna`, enna License
MIT_feh	`MIT-feh`, feh License
MITNFA	`MITNFA`, MIT +no-false-attribs license
MIT	`MIT`, MIT License
Motosoto	`Motosoto`, Motosoto License
Mpich2	`mpich2`, mpich2 License
MPL_1_0	`MPL-1.0`, Mozilla Public License 1.0
MPL_1_1	`MPL-1.1`, Mozilla Public License 1.1
MPL_2_0_no_copyleft_exception	`MPL-2.0-no-copyleft-exception`, Mozilla Public License 2.0 (no copyleft exception)
MPL_2_0	`MPL-2.0`, Mozilla Public License 2.0
MS_PL	`MS-PL`, Microsoft Public License
MS_RL	`MS-RL`, Microsoft Reciprocal License
MTLL	`MTLL`, Matrix Template Library License
MulanPSL_1_0	`MulanPSL-1.0`, Mulan Permissive Software License, Version 1, SPDX License List 3.9
MulanPSL_2_0	`MulanPSL-2.0`, Mulan Permissive Software License, Version 2, SPDX License List 3.9
Multics	`Multics`, Multics License
Mup	`Mup`, Mup License
NASA_1_3	`NASA-1.3`, NASA Open Source Agreement 1.3
Naumen	`Naumen`, Naumen Public License
NBPL_1_0	`NBPL-1.0`, Net Boolean Public License v1
NCGL_UK_2_0	`NCGL-UK-2.0`, Non-Commercial Government Licence, SPDX License List 3.9
NCSA	`NCSA`, University of Illinois/NCSA Open Source License
Net_SNMP	`Net-SNMP`, Net-SNMP License
NetCDF	`NetCDF`, NetCDF license
Newsletr	`Newsletr`, Newsletr License
NGPL	`NGPL`, Nethack General Public License
NLOD_1_0	`NLOD-1.0`, Norwegian Licence for Open Government Data
NLPL	`NLPL`, No Limit Public License
Nokia	`Nokia`, Nokia Open Source License
NOSL	`NOSL`, Netizen Open Source License
Noweb	`Noweb`, Noweb License
NPL_1_0	`NPL-1.0`, Netscape Public License v1.0
NPL_1_1	`NPL-1.1`, Netscape Public License v1.1
NPOSL_3_0	`NPOSL-3.0`, Non-Profit Open Software License 3.0
NRL	`NRL`, NRL License
NTP_0	`NTP-0`, NTP No Attribution, SPDX License List 3.9
NTP	`NTP`, NTP License
O_UDA_1_0	`O-UDA-1.0`, Open Use of Data Agreement v1.0, SPDX License List 3.9
OCCT_PL	`OCCT-PL`, Open CASCADE Technology Public License
OCLC_2_0	`OCLC-2.0`, OCLC Research Public License 2.0
ODbL_1_0	`ODbL-1.0`, ODC Open Database License v1.0
ODC_By_1_0	`ODC-By-1.0`, Open Data Commons Attribution License v1.0, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
OFL_1_0_no_RFN	`OFL-1.0-no-RFN`, SIL Open Font License 1.0 with no Reserved Font Name, SPDX License List 3.9
OFL_1_0_RFN	`OFL-1.0-RFN`, SIL Open Font License 1.0 with Reserved Font Name, SPDX License List 3.9
OFL_1_0	`OFL-1.0`, SIL Open Font License 1.0
OFL_1_1_no_RFN	`OFL-1.1-no-RFN`, SIL Open Font License 1.1 with no Reserved Font Name, SPDX License List 3.9
OFL_1_1_RFN	`OFL-1.1-RFN`, SIL Open Font License 1.1 with Reserved Font Name, SPDX License List 3.9
OFL_1_1	`OFL-1.1`, SIL Open Font License 1.1
OGC_1_0	`OGC-1.0`, OGC Software License, Version 1.0, SPDX License List 3.9
OGL_Canada_2_0	`OGL-Canada-2.0`, Open Government Licence - Canada, SPDX License List 3.9
OGL_UK_1_0	`OGL-UK-1.0`, Open Government Licence v1.0, SPDX License List 3.6, SPDX License List 3.9
OGL_UK_2_0	`OGL-UK-2.0`, Open Government Licence v2.0, SPDX License List 3.6, SPDX License List 3.9
OGL_UK_3_0	`OGL-UK-3.0`, Open Government Licence v3.0, SPDX License List 3.6, SPDX License List 3.9
OGTSL	`OGTSL`, Open Group Test Suite License
OLDAP_1_1	`OLDAP-1.1`, Open LDAP Public License v1.1
OLDAP_1_2	`OLDAP-1.2`, Open LDAP Public License v1.2
OLDAP_1_3	`OLDAP-1.3`, Open LDAP Public License v1.3
OLDAP_1_4	`OLDAP-1.4`, Open LDAP Public License v1.4
OLDAP_2_0_1	`OLDAP-2.0.1`, Open LDAP Public License v2.0.1
OLDAP_2_0	`OLDAP-2.0`, Open LDAP Public License v2.0 (or possibly 2.0A and 2.0B)
OLDAP_2_1	`OLDAP-2.1`, Open LDAP Public License v2.1
OLDAP_2_2_1	`OLDAP-2.2.1`, Open LDAP Public License v2.2.1
OLDAP_2_2_2	`OLDAP-2.2.2`, Open LDAP Public License 2.2.2
OLDAP_2_2	`OLDAP-2.2`, Open LDAP Public License v2.2
OLDAP_2_3	`OLDAP-2.3`, Open LDAP Public License v2.3
OLDAP_2_4	`OLDAP-2.4`, Open LDAP Public License v2.4
OLDAP_2_5	`OLDAP-2.5`, Open LDAP Public License v2.5
OLDAP_2_6	`OLDAP-2.6`, Open LDAP Public License v2.6
OLDAP_2_7	`OLDAP-2.7`, Open LDAP Public License v2.7
OLDAP_2_8	`OLDAP-2.8`, Open LDAP Public License v2.8
OML	`OML`, Open Market License
OpenSSL	`OpenSSL`, OpenSSL License
OPL_1_0	`OPL-1.0`, Open Public License v1.0
OSET_PL_2_1	`OSET-PL-2.1`, OSET Public License version 2.1
OSL_1_0	`OSL-1.0`, Open Software License 1.0
OSL_1_1	`OSL-1.1`, Open Software License 1.1
OSL_2_0	`OSL-2.0`, Open Software License 2.0
OSL_2_1	`OSL-2.1`, Open Software License 2.1
OSL_3_0	`OSL-3.0`, Open Software License 3.0
Parity_6_0_0	`Parity-6.0.0`, The Parity Public License 6.0.0, SPDX License List 3.6, SPDX License List 3.9
Parity_7_0_0	`Parity-7.0.0`, The Parity Public License 7.0.0, SPDX License List 3.9
PDDL_1_0	`PDDL-1.0`, ODC Public Domain Dedication & License 1.0
PHP_3_01	`PHP-3.01`, PHP License v3.01
PHP_3_0	`PHP-3.0`, PHP License v3.0
Plexus	`Plexus`, Plexus Classworlds License
PolyForm_Noncommercial_1_0_0	`PolyForm-Noncommercial-1.0.0`, PolyForm Noncommercial License 1.0.0, SPDX License List 3.9
PolyForm_Small_Business_1_0_0	`PolyForm-Small-Business-1.0.0`, PolyForm Small Business License 1.0.0, SPDX License List 3.9
PostgreSQL	`PostgreSQL`, PostgreSQL License
PSF_2_0	`PSF-2.0`, Python Software Foundation License 2.0, SPDX License List 3.9
Psfrag	`psfrag`, psfrag License
Psutils	`psutils`, psutils License
Python_2_0	`Python-2.0`, Python License 2.0
Qhull	`Qhull`, Qhull License
QPL_1_0	`QPL-1.0`, Q Public License 1.0
Rdisc	`Rdisc`, Rdisc License
RHeCos_1_1	`RHeCos-1.1`, Red Hat eCos Public License v1.1
RPL_1_1	`RPL-1.1`, Reciprocal Public License 1.1
RPL_1_5	`RPL-1.5`, Reciprocal Public License 1.5
RPSL_1_0	`RPSL-1.0`, RealNetworks Public Source License v1.0
RSA_MD	`RSA-MD`, RSA Message-Digest License
RSCPL	`RSCPL`, Ricoh Source Code Public License
Ruby	`Ruby`, Ruby License
SAX_PD	`SAX-PD`, Sax Public Domain Notice
Saxpath	`Saxpath`, Saxpath License
SCEA	`SCEA`, SCEA Shared Source License
Sendmail_8_23	`Sendmail-8.23`, Sendmail License 8.23, SPDX License List 3.6, SPDX License List 3.9
Sendmail	`Sendmail`, Sendmail License
SGI_B_1_0	`SGI-B-1.0`, SGI Free Software License B v1.0
SGI_B_1_1	`SGI-B-1.1`, SGI Free Software License B v1.1
SGI_B_2_0	`SGI-B-2.0`, SGI Free Software License B v2.0
SHL_0_51	`SHL-0.51`, Solderpad Hardware License, Version 0.51, SPDX License List 3.6, SPDX License List 3.9
SHL_0_5	`SHL-0.5`, Solderpad Hardware License v0.5, SPDX License List 3.6, SPDX License List 3.9
SimPL_2_0	`SimPL-2.0`, Simple Public License 2.0
SISSL_1_2	`SISSL-1.2`, Sun Industry Standards Source License v1.2
SISSL	`SISSL`, Sun Industry Standards Source License v1.1
Sleepycat	`Sleepycat`, Sleepycat License
SMLNJ	`SMLNJ`, Standard ML of New Jersey License
SMPPL	`SMPPL`, Secure Messaging Protocol Public License
SNIA	`SNIA`, SNIA Public License 1.1
Spencer_86	`Spencer-86`, Spencer License 86
Spencer_94	`Spencer-94`, Spencer License 94
Spencer_99	`Spencer-99`, Spencer License 99
SPL_1_0	`SPL-1.0`, Sun Public License v1.0
SSH_OpenSSH	`SSH-OpenSSH`, SSH OpenSSH license, SPDX License List 3.9
SSH_short	`SSH-short`, SSH short notice, SPDX License List 3.9
SSPL_1_0	`SSPL-1.0`, Server Side Public License, v 1, SPDX License List 3.6, SPDX License List 3.9
SugarCRM_1_1_3	`SugarCRM-1.1.3`, SugarCRM Public License v1.1.3
SWL	`SWL`, Scheme Widget Library (SWL) Software License Agreement
TAPR_OHL_1_0	`TAPR-OHL-1.0`, TAPR Open Hardware License v1.0, SPDX License List 3.6, SPDX License List 3.9
TCL	`TCL`, TCL/TK License
TCP_wrappers	`TCP-wrappers`, TCP Wrappers License
TMate	`TMate`, TMate Open Source License
TORQUE_1_1	`TORQUE-1.1`, TORQUE v2.5+ Software License v1.1
TOSL	`TOSL`, Trusster Open Source License
TU_Berlin_1_0	`TU-Berlin-1.0`, Technische Universitaet Berlin License 1.0, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
TU_Berlin_2_0	`TU-Berlin-2.0`, Technische Universitaet Berlin License 2.0, SPDX License List 3.2, SPDX License List 3.6, SPDX License List 3.9
UCL_1_0	`UCL-1.0`, Upstream Compatibility License v1.0, SPDX License List 3.9
Unicode_DFS_2015	`Unicode-DFS-2015`, Unicode License Agreement - Data Files and Software (2015)
Unicode_DFS_2016	`Unicode-DFS-2016`, Unicode License Agreement - Data Files and Software (2016)
Unicode_TOU	`Unicode-TOU`, Unicode Terms of Use
Unlicense	`Unlicense`, The Unlicense
UPL_1_0	`UPL-1.0`, Universal Permissive License v1.0
Vim	`Vim`, Vim License
VOSTROM	`VOSTROM`, VOSTROM Public License for Open Source
VSL_1_0	`VSL-1.0`, Vovida Software License v1.0
W3C_19980720	`W3C-19980720`, W3C Software Notice and License (1998-07-20)
W3C_20150513	`W3C-20150513`, W3C Software Notice and Document License (2015-05-13)
W3C	`W3C`, W3C Software Notice and License (2002-12-31)
Watcom_1_0	`Watcom-1.0`, Sybase Open Watcom Public License 1.0
Wsuipa	`Wsuipa`, Wsuipa License
WTFPL	`WTFPL`, Do What The F*ck You Want To Public License
X11	`X11`, X11 License
Xerox	`Xerox`, Xerox License
XFree86_1_1	`XFree86-1.1`, XFree86 License 1.1
Xinetd	`xinetd`, xinetd License
Xnet	`Xnet`, X.Net License
Xpp	`xpp`, XPP License
XSkat	`XSkat`, XSkat License
YPL_1_0	`YPL-1.0`, Yahoo! Public License v1.0
YPL_1_1	`YPL-1.1`, Yahoo! Public License v1.1
Zed	`Zed`, Zed License
Zend_2_0	`Zend-2.0`, Zend License v2.0
Zimbra_1_3	`Zimbra-1.3`, Zimbra Public License v1.3
Zimbra_1_4	`Zimbra-1.4`, Zimbra Public License v1.4
Zlib_acknowledgement	`zlib-acknowledgement`, zlib/libpng License with Acknowledgement
Zlib	`Zlib`, zlib License
ZPL_1_1	`ZPL-1.1`, Zope Public License 1.1
ZPL_2_0	`ZPL-2.0`, Zope Public License 2.0
ZPL_2_1	`ZPL-2.1`, Zope Public License 2.1

Instances

Instances details

Bounded LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods minBound :: LicenseId Source # maxBound :: LicenseId Source #
Enum LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods succ :: LicenseId -> LicenseId Source # pred :: LicenseId -> LicenseId Source # toEnum :: Int -> LicenseId Source # fromEnum :: LicenseId -> Int Source # enumFrom :: LicenseId -> [LicenseId] Source # enumFromThen :: LicenseId -> LicenseId -> [LicenseId] Source # enumFromTo :: LicenseId -> LicenseId -> [LicenseId] Source # enumFromThenTo :: LicenseId -> LicenseId -> LicenseId -> [LicenseId] Source #
Eq LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods (==) :: LicenseId -> LicenseId -> Bool # (/=) :: LicenseId -> LicenseId -> Bool #
Data LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LicenseId -> c LicenseId Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseId Source # toConstr :: LicenseId -> Constr Source # dataTypeOf :: LicenseId -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseId) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseId) Source # gmapT :: (forall b. Data b => b -> b) -> LicenseId -> LicenseId Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseId -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseId -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LicenseId -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseId -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId Source #
Ord LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods compare :: LicenseId -> LicenseId -> Ordering # (<) :: LicenseId -> LicenseId -> Bool # (<=) :: LicenseId -> LicenseId -> Bool # (>) :: LicenseId -> LicenseId -> Bool # (>=) :: LicenseId -> LicenseId -> Bool # max :: LicenseId -> LicenseId -> LicenseId # min :: LicenseId -> LicenseId -> LicenseId #
Read LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods readsPrec :: Int -> ReadS LicenseId Source # readList :: ReadS [LicenseId] Source # readPrec :: ReadPrec LicenseId Source # readListPrec :: ReadPrec [LicenseId] Source #
Show LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods showsPrec :: Int -> LicenseId -> ShowS Source # show :: LicenseId -> String Source # showList :: [LicenseId] -> ShowS Source #
Generic LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Associated Types type Rep LicenseId :: Type -> Type Source # Methods from :: LicenseId -> Rep LicenseId x Source # to :: Rep LicenseId x -> LicenseId Source #
Binary LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods put :: LicenseId -> Put Source # get :: Get LicenseId Source # putList :: [LicenseId] -> Put Source #
NFData LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods rnf :: LicenseId -> () Source #
Structured LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods structure :: Proxy LicenseId -> Structure Source # structureHash' :: Tagged LicenseId MD5
Pretty LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId Methods pretty :: LicenseId -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseId -> Doc Source #
Parsec LicenseId #	`>>>` `eitherParsec "BSD-3-Clause" :: Either String LicenseId`Right BSD_3_Clause `>>>` `eitherParsec "BSD3" :: Either String LicenseId`Left "...Unknown SPDX license identifier: 'BSD3' Do you mean BSD-3-Clause?"
Instance details Defined in Distribution.SPDX.LicenseId Methods parsec :: CabalParsing m => m LicenseId Source #
type Rep LicenseId #
Instance details Defined in Distribution.SPDX.LicenseId type Rep LicenseId = D1 ('MetaData "LicenseId" "Distribution.SPDX.LicenseId" "Cabal-3.4.0.0" 'False) ((((((((C1 ('MetaCons "NullBSD" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AAL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abstyles" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Adobe_2006" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Adobe_Glyph" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ADSL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "AFL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AFL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFL_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "AFL_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AFL_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Afmparse" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "AGPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AGPL_1_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AGPL_1_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "AGPL_3_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AGPL_3_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Aladdin" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "AMDPLPA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AML" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AMPAS" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ANTLR_PD" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Apache_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Apache_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Apache_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "APAFML" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "APL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "APSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "APSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "APSL_1_2" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "APSL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Artistic_1_0_cl8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Artistic_1_0_Perl" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Artistic_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Artistic_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bahyph" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Barr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Beerware" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BitTorrent_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BitTorrent_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blessing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlueOak_1_0_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Borceux" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_1_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_2_Clause_FreeBSD" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BSD_2_Clause_NetBSD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_2_Clause_Patent" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_2_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_Attribution" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "BSD_3_Clause_Clear" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_3_Clause_LBNL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_No_Nuclear_License_2014" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BSD_3_Clause_No_Nuclear_License" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_3_Clause_No_Nuclear_Warranty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_Open_MPI" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BSD_3_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_4_Clause_UC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_4_Clause" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BSD_Protection" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_Source_Code" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bzip2_1_0_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bzip2_1_0_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CAL_1_0_Combined_Work_Exception" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CAL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Caldera" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CATOSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_2_5" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CC_BY_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CC_BY_NC_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_3_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CC_BY_NC_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_ND_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_ND_2_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_NC_ND_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_ND_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_ND_4_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CC_BY_NC_SA_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_SA_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_SA_2_5" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CC_BY_NC_SA_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_SA_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_ND_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CC_BY_ND_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_ND_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_ND_3_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_ND_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_SA_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_SA_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CC_BY_SA_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_SA_3_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_SA_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_PDDC" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "CC0_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CDDL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CDDL_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CDLA_Permissive_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CDLA_Sharing_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CECILL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CECILL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CECILL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CECILL_2_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CECILL_B" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CECILL_C" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CERN_OHL_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CERN_OHL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CERN_OHL_P_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CERN_OHL_S_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CERN_OHL_W_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ClArtistic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CNRI_Jython" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CNRI_Python_GPL_Compatible" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CNRI_Python" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Condor_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Copyleft_next_0_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Copyleft_next_0_3_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CPAL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CPOL_1_02" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Crossword" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CrystalStacker" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CUA_OPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cube" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Curl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "D_FSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Diffmark" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DOC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Dotseqn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DSDP" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Dvipdfm" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ECL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ECL_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EFL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EFL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EGenix" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Entessa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ErlPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etalab_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EUDatagrid" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EUPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "EUPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EUPL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eurosym" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Fair" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Frameworx_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FreeImage" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FSFAP" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FSFULLR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FSFUL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FTL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GFDL_1_1_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_1_or_later" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GFDL_1_2_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GFDL_1_2_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_3_only" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "GFDL_1_3_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Giftware" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GL2PS" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Glide" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Glulxe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gnuplot" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "GPL_1_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GPL_1_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GPL_2_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GPL_2_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "GPL_3_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GPL_3_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GSOAP_1_3b" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "HaskellReport" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Hippocratic_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_sell_variant" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "HPND" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IBM_pibs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ICU" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IJG" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ImageMagick" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IMatix" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Imlib2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Info_ZIP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Intel_ACPI" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Intel" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Interbase_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IPA" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "IPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ISC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JasPer_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "JPNIC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JSON" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LAL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LAL_1_3" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "Latex2e" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Leptonica" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LGPL_2_0_only" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LGPL_2_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LGPL_2_1_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LGPL_2_1_or_later" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LGPL_3_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LGPL_3_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LGPLLR" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Libpng_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Libpng" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Libselinux_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Libtiff" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LiLiQ_P_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LiLiQ_R_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LiLiQ_Rplus_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Linux_OpenIB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPL_1_02" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LPPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LPPL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LPPL_1_3a" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPPL_1_3c" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "MakeIndex" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MirOS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MIT_advertising" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MIT_CMU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_enna" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MIT_feh" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MITNFA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Motosoto" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Mpich2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MPL_2_0_no_copyleft_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MS_PL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MS_RL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MTLL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MulanPSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MulanPSL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Multics" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Mup" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NASA_1_3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Naumen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NBPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "NCGL_UK_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NCSA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Net_SNMP" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NetCDF" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Newsletr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NGPL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "NLOD_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NLPL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nokia" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NOSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Noweb" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NPOSL_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NRL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NTP_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NTP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "O_UDA_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OCCT_PL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OCLC_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ODbL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ODC_By_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OFL_1_0_no_RFN" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OFL_1_0_RFN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OFL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "OFL_1_1_no_RFN" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OFL_1_1_RFN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OFL_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "OGC_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OGL_Canada_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OGL_UK_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OGL_UK_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OGL_UK_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OGTSL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "OLDAP_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_1_3" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "OLDAP_1_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_2_0_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "OLDAP_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_2_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_2_2" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OLDAP_2_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_2_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_4" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "OLDAP_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OLDAP_2_7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_8" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "OML" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OpenSSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "OSET_PL_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OSL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OSL_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OSL_3_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Parity_6_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Parity_7_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PDDL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PHP_3_01" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PHP_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Plexus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PolyForm_Noncommercial_1_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PolyForm_Small_Business_1_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostgreSQL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PSF_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Psfrag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Psutils" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Python_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Qhull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Rdisc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RHeCos_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "RPL_1_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RPSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RSA_MD" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RSCPL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Ruby" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SAX_PD" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Saxpath" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SCEA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sendmail_8_23" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Sendmail" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SGI_B_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SGI_B_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SGI_B_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SHL_0_51" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SHL_0_5" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SimPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SISSL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SISSL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Sleepycat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SMLNJ" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SMPPL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SNIA" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Spencer_86" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Spencer_94" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Spencer_99" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SSH_OpenSSH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SSH_short" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SSPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SugarCRM_1_1_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SWL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "TAPR_OHL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TCL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TCP_wrappers" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "TMate" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TORQUE_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TOSL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "TU_Berlin_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TU_Berlin_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UCL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Unicode_DFS_2015" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Unicode_DFS_2016" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unicode_TOU" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Unlicense" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Vim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VOSTROM" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "VSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "W3C_19980720" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "W3C_20150513" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "W3C" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Watcom_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Wsuipa" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "WTFPL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "X11" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Xerox" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "XFree86_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Xinetd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Xnet" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Xpp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "XSkat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "YPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "YPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Zed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zend_2_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Zimbra_1_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Zimbra_1_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zlib_acknowledgement" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Zlib" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ZPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZPL_2_1" 'PrefixI 'False) (U1 :: Type -> Type))))))))))

licenseId :: LicenseId -> String Source #

License SPDX identifier, e.g. "BSD-3-Clause".

licenseName :: LicenseId -> String Source #

License name, e.g. "GNU General Public License v2.0 only"

licenseIsOsiApproved :: LicenseId -> Bool Source #

Whether the license is approved by Open Source Initiative (OSI).

See https://opensource.org/licenses/alphabetical.

mkLicenseId :: LicenseListVersion -> String -> Maybe LicenseId Source #

Create a LicenseId from a String.

licenseIdList :: LicenseListVersion -> [LicenseId] Source #

License exception

data LicenseExceptionId Source #

SPDX License identifier

Constructors

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
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
GPL_CC_1_0	`GPL-CC-1.0`, GPL Cooperation Commitment 1.0, SPDX License List 3.6, SPDX License List 3.9
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
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
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
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
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
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
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
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
SHL_2_1	`SHL-2.1`, Solderpad Hardware License v2.1, SPDX License List 3.9
Swift_exception	`Swift-exception`, Swift Exception, SPDX License List 3.6, SPDX License List 3.9
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
WxWindows_exception_3_1	`WxWindows-exception-3.1`, WxWindows Library Exception 3.1

Instances

Instances details

Bounded LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods minBound :: LicenseExceptionId Source # maxBound :: LicenseExceptionId Source #
Enum LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods succ :: LicenseExceptionId -> LicenseExceptionId Source # pred :: LicenseExceptionId -> LicenseExceptionId Source # toEnum :: Int -> LicenseExceptionId Source # fromEnum :: LicenseExceptionId -> Int Source # enumFrom :: LicenseExceptionId -> [LicenseExceptionId] Source # enumFromThen :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId] Source # enumFromTo :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId] Source # enumFromThenTo :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId] Source #
Eq LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods (==) :: LicenseExceptionId -> LicenseExceptionId -> Bool # (/=) :: LicenseExceptionId -> LicenseExceptionId -> Bool #
Data LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LicenseExceptionId -> c LicenseExceptionId Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseExceptionId Source # toConstr :: LicenseExceptionId -> Constr Source # dataTypeOf :: LicenseExceptionId -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseExceptionId) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseExceptionId) Source # gmapT :: (forall b. Data b => b -> b) -> LicenseExceptionId -> LicenseExceptionId Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LicenseExceptionId -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseExceptionId -> m LicenseExceptionId Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExceptionId -> m LicenseExceptionId Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExceptionId -> m LicenseExceptionId Source #
Ord LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods compare :: LicenseExceptionId -> LicenseExceptionId -> Ordering # (<) :: LicenseExceptionId -> LicenseExceptionId -> Bool # (<=) :: LicenseExceptionId -> LicenseExceptionId -> Bool # (>) :: LicenseExceptionId -> LicenseExceptionId -> Bool # (>=) :: LicenseExceptionId -> LicenseExceptionId -> Bool # max :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId # min :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId #
Read LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods readsPrec :: Int -> ReadS LicenseExceptionId Source # readList :: ReadS [LicenseExceptionId] Source # readPrec :: ReadPrec LicenseExceptionId Source # readListPrec :: ReadPrec [LicenseExceptionId] Source #
Show LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods showsPrec :: Int -> LicenseExceptionId -> ShowS Source # show :: LicenseExceptionId -> String Source # showList :: [LicenseExceptionId] -> ShowS Source #
Generic LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Associated Types type Rep LicenseExceptionId :: Type -> Type Source # Methods from :: LicenseExceptionId -> Rep LicenseExceptionId x Source # to :: Rep LicenseExceptionId x -> LicenseExceptionId Source #
Binary LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods put :: LicenseExceptionId -> Put Source # get :: Get LicenseExceptionId Source # putList :: [LicenseExceptionId] -> Put Source #
NFData LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods rnf :: LicenseExceptionId -> () Source #
Structured LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods structure :: Proxy LicenseExceptionId -> Structure Source # structureHash' :: Tagged LicenseExceptionId MD5
Pretty LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods pretty :: LicenseExceptionId -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseExceptionId -> Doc Source #
Parsec LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods parsec :: CabalParsing m => m LicenseExceptionId Source #
type Rep LicenseExceptionId #
Instance details Defined in Distribution.SPDX.LicenseExceptionId type Rep LicenseExceptionId = D1 ('MetaData "LicenseExceptionId" "Distribution.SPDX.LicenseExceptionId" "Cabal-3.4.0.0" 'False) (((((C1 ('MetaCons "DS389_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Autoconf_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Autoconf_exception_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bison_exception_2_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bootloader_exception" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Classpath_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CLISP_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DigiRule_FOSS_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ECos_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fawkes_Runtime_exception" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FLTK_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Font_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Freertos_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GCC_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GCC_exception_3_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Gnu_javamail_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GPL_3_0_linking_exception" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GPL_3_0_linking_source_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GPL_CC_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "I2p_gpl_java_exception" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "LGPL_3_0_linking_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Libtool_exception" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Linux_syscall_note" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LLVM_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LZMA_exception" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Mif_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nokia_Qt_exception_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OCaml_LGPL_linking_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OCCT_exception_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpenJDK_assembly_exception_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Openvpn_openssl_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PS_or_PDF_font_exception_20170817" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Qt_GPL_exception_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Qt_LGPL_exception_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Qwt_exception_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SHL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SHL_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Swift_exception" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "U_boot_exception_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Universal_FOSS_exception_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WxWindows_exception_3_1" 'PrefixI 'False) (U1 :: Type -> Type)))))))

licenseExceptionId :: LicenseExceptionId -> String Source #

License SPDX identifier, e.g. "BSD-3-Clause".

licenseExceptionName :: LicenseExceptionId -> String Source #

License name, e.g. "GNU General Public License v2.0 only"

mkLicenseExceptionId :: LicenseListVersion -> String -> Maybe LicenseExceptionId Source #

Create a LicenseExceptionId from a String.

licenseExceptionIdList :: LicenseListVersion -> [LicenseExceptionId] Source #

License reference

data LicenseRef Source #

A user defined license reference denoted by LicenseRef-[idstring] (for a license not on the SPDX License List);

Instances

Instances details

Eq LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods (==) :: LicenseRef -> LicenseRef -> Bool # (/=) :: LicenseRef -> LicenseRef -> Bool #
Data LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LicenseRef -> c LicenseRef Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseRef Source # toConstr :: LicenseRef -> Constr Source # dataTypeOf :: LicenseRef -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseRef) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseRef) Source # gmapT :: (forall b. Data b => b -> b) -> LicenseRef -> LicenseRef Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseRef -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseRef -> r Source # gmapQ :: (forall d. Data d => d -> u) -> LicenseRef -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseRef -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseRef -> m LicenseRef Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseRef -> m LicenseRef Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseRef -> m LicenseRef Source #
Ord LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods compare :: LicenseRef -> LicenseRef -> Ordering # (<) :: LicenseRef -> LicenseRef -> Bool # (<=) :: LicenseRef -> LicenseRef -> Bool # (>) :: LicenseRef -> LicenseRef -> Bool # (>=) :: LicenseRef -> LicenseRef -> Bool # max :: LicenseRef -> LicenseRef -> LicenseRef # min :: LicenseRef -> LicenseRef -> LicenseRef #
Read LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods readsPrec :: Int -> ReadS LicenseRef Source # readList :: ReadS [LicenseRef] Source # readPrec :: ReadPrec LicenseRef Source # readListPrec :: ReadPrec [LicenseRef] Source #
Show LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods showsPrec :: Int -> LicenseRef -> ShowS Source # show :: LicenseRef -> String Source # showList :: [LicenseRef] -> ShowS Source #
Generic LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Associated Types type Rep LicenseRef :: Type -> Type Source # Methods from :: LicenseRef -> Rep LicenseRef x Source # to :: Rep LicenseRef x -> LicenseRef Source #
Binary LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods put :: LicenseRef -> Put Source # get :: Get LicenseRef Source # putList :: [LicenseRef] -> Put Source #
NFData LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods rnf :: LicenseRef -> () Source #
Structured LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods structure :: Proxy LicenseRef -> Structure Source # structureHash' :: Tagged LicenseRef MD5
Pretty LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods pretty :: LicenseRef -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseRef -> Doc Source #
Parsec LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference Methods parsec :: CabalParsing m => m LicenseRef Source #
type Rep LicenseRef #
Instance details Defined in Distribution.SPDX.LicenseReference type Rep LicenseRef = D1 ('MetaData "LicenseRef" "Distribution.SPDX.LicenseReference" "Cabal-3.4.0.0" 'False) (C1 ('MetaCons "LicenseRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "_lrDocument") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "_lrLicense") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))

licenseRef :: LicenseRef -> String Source #

License reference.

licenseDocumentRef :: LicenseRef -> Maybe String Source #

Document reference.

mkLicenseRef :: Maybe String -> String -> Maybe LicenseRef Source #

Create LicenseRef from optional document ref and name.

mkLicenseRef' :: Maybe String -> String -> LicenseRef Source #

Like mkLicenseRef but convert invalid characters into -.

License list version

data LicenseListVersion Source #

SPDX License List version Cabal is aware of.

Constructors

LicenseListVersion_3_0
LicenseListVersion_3_2
LicenseListVersion_3_6
LicenseListVersion_3_9

Instances

Instances details

Bounded LicenseListVersion #
Instance details Defined in Distribution.SPDX.LicenseListVersion Methods minBound :: LicenseListVersion Source # maxBound :: LicenseListVersion Source #
Enum LicenseListVersion #
Instance details Defined in Distribution.SPDX.LicenseListVersion Methods succ :: LicenseListVersion -> LicenseListVersion Source # pred :: LicenseListVersion -> LicenseListVersion Source # toEnum :: Int -> LicenseListVersion Source # fromEnum :: LicenseListVersion -> Int Source # enumFrom :: LicenseListVersion -> [LicenseListVersion] Source # enumFromThen :: LicenseListVersion -> LicenseListVersion -> [LicenseListVersion] Source # enumFromTo :: LicenseListVersion -> LicenseListVersion -> [LicenseListVersion] Source # enumFromThenTo :: LicenseListVersion -> LicenseListVersion -> LicenseListVersion -> [LicenseListVersion] Source #
Eq LicenseListVersion #
Instance details Defined in Distribution.SPDX.LicenseListVersion Methods (==) :: LicenseListVersion -> LicenseListVersion -> Bool # (/=) :: LicenseListVersion -> LicenseListVersion -> Bool #
Ord LicenseListVersion #
Instance details Defined in Distribution.SPDX.LicenseListVersion Methods compare :: LicenseListVersion -> LicenseListVersion -> Ordering # (<) :: LicenseListVersion -> LicenseListVersion -> Bool # (<=) :: LicenseListVersion -> LicenseListVersion -> Bool # (>) :: LicenseListVersion -> LicenseListVersion -> Bool # (>=) :: LicenseListVersion -> LicenseListVersion -> Bool # max :: LicenseListVersion -> LicenseListVersion -> LicenseListVersion # min :: LicenseListVersion -> LicenseListVersion -> LicenseListVersion #
Show LicenseListVersion #
Instance details Defined in Distribution.SPDX.LicenseListVersion Methods showsPrec :: Int -> LicenseListVersion -> ShowS Source # show :: LicenseListVersion -> String Source # showList :: [LicenseListVersion] -> ShowS Source #

cabalSpecVersionToSPDXListVersion :: CabalSpecVersion -> LicenseListVersion Source #