Safe Haskell	None
Language	Haskell2010

Distribution.SPDX

Contents

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
- | 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
- | 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
- | 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
- | 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
- | 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
- | Multics
- | Mup
- | NASA_1_3
- | Naumen
- | NBPL_1_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
- | OCCT_PL
- | OCLC_2_0
- | ODbL_1_0
- | ODC_By_1_0
- | OFL_1_0
- | OFL_1_1
- | 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
- | PDDL_1_0
- | PHP_3_01
- | PHP_3_0
- | Plexus
- | PostgreSQL
- | 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
- | 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
- | 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_CC_1_0
- | I2p_gpl_java_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
- | 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
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 Source #
Instance details Defined in Distribution.SPDX.License Methods (==) :: License -> License -> Bool # (/=) :: License -> License -> Bool #
Data License Source #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c License # toConstr :: License -> Constr # dataTypeOf :: License -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c License) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c License) # gmapT :: (forall b. Data b => b -> b) -> License -> License # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> License -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> License -> r # gmapQ :: (forall d. Data d => d -> u) -> License -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> License -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> License -> m License # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License #
Ord License Source #
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 Source #
Instance details Defined in Distribution.SPDX.License Methods readsPrec :: Int -> ReadS License # readList :: ReadS [License] # readPrec :: ReadPrec License # readListPrec :: ReadPrec [License] #
Show License Source #
Instance details Defined in Distribution.SPDX.License Methods showsPrec :: Int -> License -> ShowS # show :: License -> String # showList :: [License] -> ShowS #
Generic License Source #
Instance details Defined in Distribution.SPDX.License Associated Types type Rep License :: Type -> Type # Methods from :: License -> Rep License x # to :: Rep License x -> License #
Binary License Source #
Instance details Defined in Distribution.SPDX.License Methods put :: License -> Put # get :: Get License # putList :: [License] -> Put #
NFData License Source #
Instance details Defined in Distribution.SPDX.License Methods rnf :: License -> () #
Structured License Source #
Instance details Defined in Distribution.SPDX.License Methods structure :: Proxy License -> Structure Source # structureHash' :: Tagged License MD5
Pretty License Source #
Instance details Defined in Distribution.SPDX.License Methods pretty :: License -> Doc Source # prettyVersioned :: CabalSpecVersion -> License -> Doc Source #
Parsec License Source #	`>>>` `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 Source #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: Either License0 License -> SpecLicense Source # unpack :: SpecLicense -> Either License0 License Source #
type Rep License Source #
Instance details Defined in Distribution.SPDX.License type Rep License = D1 ('MetaData "License" "Distribution.SPDX.License" "Cabal-3.2.0.0-inplace" '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 Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods (==) :: LicenseExpression -> LicenseExpression -> Bool # (/=) :: LicenseExpression -> LicenseExpression -> Bool #
Data LicenseExpression Source #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseExpression # toConstr :: LicenseExpression -> Constr # dataTypeOf :: LicenseExpression -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseExpression) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseExpression) # gmapT :: (forall b. Data b => b -> b) -> LicenseExpression -> LicenseExpression # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExpression -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExpression -> r # gmapQ :: (forall d. Data d => d -> u) -> LicenseExpression -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseExpression -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression #
Ord LicenseExpression Source #
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 Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods readsPrec :: Int -> ReadS LicenseExpression # readList :: ReadS [LicenseExpression] # readPrec :: ReadPrec LicenseExpression # readListPrec :: ReadPrec [LicenseExpression] #
Show LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods showsPrec :: Int -> LicenseExpression -> ShowS # show :: LicenseExpression -> String # showList :: [LicenseExpression] -> ShowS #
Generic LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Associated Types type Rep LicenseExpression :: Type -> Type # Methods from :: LicenseExpression -> Rep LicenseExpression x # to :: Rep LicenseExpression x -> LicenseExpression #
Binary LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods put :: LicenseExpression -> Put # get :: Get LicenseExpression # putList :: [LicenseExpression] -> Put #
NFData LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods rnf :: LicenseExpression -> () #
Structured LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods structure :: Proxy LicenseExpression -> Structure Source # structureHash' :: Tagged LicenseExpression MD5
Pretty LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods pretty :: LicenseExpression -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseExpression -> Doc Source #
Parsec LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods parsec :: CabalParsing m => m LicenseExpression Source #
type Rep LicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression type Rep LicenseExpression = D1 ('MetaData "LicenseExpression" "Distribution.SPDX.LicenseExpression" "Cabal-3.2.0.0-inplace" '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 Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods (==) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool # (/=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool #
Data SimpleLicenseExpression Source #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleLicenseExpression # toConstr :: SimpleLicenseExpression -> Constr # dataTypeOf :: SimpleLicenseExpression -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SimpleLicenseExpression) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SimpleLicenseExpression) # gmapT :: (forall b. Data b => b -> b) -> SimpleLicenseExpression -> SimpleLicenseExpression # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleLicenseExpression -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleLicenseExpression -> r # gmapQ :: (forall d. Data d => d -> u) -> SimpleLicenseExpression -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleLicenseExpression -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression #
Ord SimpleLicenseExpression Source #
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 Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods readsPrec :: Int -> ReadS SimpleLicenseExpression # readList :: ReadS [SimpleLicenseExpression] # readPrec :: ReadPrec SimpleLicenseExpression # readListPrec :: ReadPrec [SimpleLicenseExpression] #
Show SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods showsPrec :: Int -> SimpleLicenseExpression -> ShowS # show :: SimpleLicenseExpression -> String # showList :: [SimpleLicenseExpression] -> ShowS #
Generic SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Associated Types type Rep SimpleLicenseExpression :: Type -> Type # Methods from :: SimpleLicenseExpression -> Rep SimpleLicenseExpression x # to :: Rep SimpleLicenseExpression x -> SimpleLicenseExpression #
Binary SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods put :: SimpleLicenseExpression -> Put # get :: Get SimpleLicenseExpression # putList :: [SimpleLicenseExpression] -> Put #
NFData SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods rnf :: SimpleLicenseExpression -> () #
Structured SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods structure :: Proxy SimpleLicenseExpression -> Structure Source # structureHash' :: Tagged SimpleLicenseExpression MD5
Pretty SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods pretty :: SimpleLicenseExpression -> Doc Source # prettyVersioned :: CabalSpecVersion -> SimpleLicenseExpression -> Doc Source #
Parsec SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression Methods parsec :: CabalParsing m => m SimpleLicenseExpression Source #
type Rep SimpleLicenseExpression Source #
Instance details Defined in Distribution.SPDX.LicenseExpression type Rep SimpleLicenseExpression = D1 ('MetaData "SimpleLicenseExpression" "Distribution.SPDX.LicenseExpression" "Cabal-3.2.0.0-inplace" '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
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
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
BlueOak_1_0_0	`BlueOak-1.0.0`, Blue Oak Model License 1.0.0, SPDX License List 3.6
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
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
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
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
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 License v1.1, SPDX License List 3.6
CERN_OHL_1_2	`CERN-OHL-1.2`, CERN Open Hardware Licence v1.2, SPDX License List 3.6
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
Copyleft_next_0_3_1	`copyleft-next-0.3.1`, copyleft-next 0.3.1, SPDX License List 3.6
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
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
HPND_sell_variant	`HPND-sell-variant`, Historical Permission Notice and Disclaimer - sell variant, SPDX License List 3.6
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
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
Libpng	`Libpng`, libpng License
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
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`, MirOS License
MIT_0	`MIT-0`, MIT No Attribution, SPDX License List 3.2, SPDX License List 3.6
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
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
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	`NTP`, NTP License
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
OFL_1_0	`OFL-1.0`, SIL Open Font License 1.0
OFL_1_1	`OFL-1.1`, SIL Open Font License 1.1
OGL_UK_1_0	`OGL-UK-1.0`, Open Government Licence v1.0, SPDX License List 3.6
OGL_UK_2_0	`OGL-UK-2.0`, Open Government Licence v2.0, SPDX License List 3.6
OGL_UK_3_0	`OGL-UK-3.0`, Open Government Licence v3.0, SPDX License List 3.6
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
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
PostgreSQL	`PostgreSQL`, PostgreSQL License
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
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
SHL_0_5	`SHL-0.5`, Solderpad Hardware License v0.5, SPDX License List 3.6
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
SSPL_1_0	`SSPL-1.0`, Server Side Public License, v 1, SPDX License List 3.6
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
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
TU_Berlin_2_0	`TU-Berlin-2.0`, Technische Universitaet Berlin License 2.0, SPDX License List 3.2, SPDX License List 3.6
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 Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods minBound :: LicenseId # maxBound :: LicenseId #
Enum LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods succ :: LicenseId -> LicenseId # pred :: LicenseId -> LicenseId # toEnum :: Int -> LicenseId # fromEnum :: LicenseId -> Int # enumFrom :: LicenseId -> [LicenseId] # enumFromThen :: LicenseId -> LicenseId -> [LicenseId] # enumFromTo :: LicenseId -> LicenseId -> [LicenseId] # enumFromThenTo :: LicenseId -> LicenseId -> LicenseId -> [LicenseId] #
Eq LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods (==) :: LicenseId -> LicenseId -> Bool # (/=) :: LicenseId -> LicenseId -> Bool #
Data LicenseId Source #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseId # toConstr :: LicenseId -> Constr # dataTypeOf :: LicenseId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseId) # gmapT :: (forall b. Data b => b -> b) -> LicenseId -> LicenseId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseId -> r # gmapQ :: (forall d. Data d => d -> u) -> LicenseId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId #
Ord LicenseId Source #
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 Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods readsPrec :: Int -> ReadS LicenseId # readList :: ReadS [LicenseId] # readPrec :: ReadPrec LicenseId # readListPrec :: ReadPrec [LicenseId] #
Show LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods showsPrec :: Int -> LicenseId -> ShowS # show :: LicenseId -> String # showList :: [LicenseId] -> ShowS #
Generic LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Associated Types type Rep LicenseId :: Type -> Type # Methods from :: LicenseId -> Rep LicenseId x # to :: Rep LicenseId x -> LicenseId #
Binary LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods put :: LicenseId -> Put # get :: Get LicenseId # putList :: [LicenseId] -> Put #
NFData LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods rnf :: LicenseId -> () #
Structured LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods structure :: Proxy LicenseId -> Structure Source # structureHash' :: Tagged LicenseId MD5
Pretty LicenseId Source #
Instance details Defined in Distribution.SPDX.LicenseId Methods pretty :: LicenseId -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseId -> Doc Source #
Parsec LicenseId Source #	`>>>` `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 Source #
Instance details Defined in Distribution.SPDX.LicenseId type Rep LicenseId = D1 ('MetaData "LicenseId" "Distribution.SPDX.LicenseId" "Cabal-3.2.0.0-inplace" '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 "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 "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 "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 "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 "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 "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 "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" '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" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OFL_1_1" '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 "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 "PostgreSQL" '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 "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 "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_CC_1_0	`GPL-CC-1.0`, GPL Cooperation Commitment 1.0, SPDX License List 3.6
I2p_gpl_java_exception	`i2p-gpl-java-exception`, i2p GPL+Java Exception
Libtool_exception	`Libtool-exception`, Libtool Exception
Linux_syscall_note	`Linux-syscall-note`, Linux Syscall Note
LLVM_exception	`LLVM-exception`, LLVM Exception, SPDX License List 3.2, SPDX License List 3.6
LZMA_exception	`LZMA-exception`, LZMA exception
Mif_exception	`mif-exception`, Macros and Inline Functions Exception
Nokia_Qt_exception_1_1	`Nokia-Qt-exception-1.1`, Nokia Qt LGPL exception 1.1, SPDX License List 3.0, SPDX License List 3.2
OCaml_LGPL_linking_exception	`OCaml-LGPL-linking-exception`, OCaml LGPL Linking Exception, SPDX License List 3.6
OCCT_exception_1_0	`OCCT-exception-1.0`, Open CASCADE Exception 1.0
OpenJDK_assembly_exception_1_0	`OpenJDK-assembly-exception-1.0`, OpenJDK Assembly exception 1.0, SPDX License List 3.2, SPDX License List 3.6
Openvpn_openssl_exception	`openvpn-openssl-exception`, OpenVPN OpenSSL Exception
PS_or_PDF_font_exception_20170817	`PS-or-PDF-font-exception-20170817`, PS/PDF font exception (2017-08-17), SPDX License List 3.2, SPDX License List 3.6
Qt_GPL_exception_1_0	`Qt-GPL-exception-1.0`, Qt GPL exception 1.0, SPDX License List 3.2, SPDX License List 3.6
Qt_LGPL_exception_1_1	`Qt-LGPL-exception-1.1`, Qt LGPL exception 1.1, SPDX License List 3.2, SPDX License List 3.6
Qwt_exception_1_0	`Qwt-exception-1.0`, Qwt exception 1.0
Swift_exception	`Swift-exception`, Swift Exception, SPDX License List 3.6
U_boot_exception_2_0	`u-boot-exception-2.0`, U-Boot exception 2.0
Universal_FOSS_exception_1_0	`Universal-FOSS-exception-1.0`, Universal FOSS Exception, Version 1.0, SPDX License List 3.6
WxWindows_exception_3_1	`WxWindows-exception-3.1`, WxWindows Library Exception 3.1

Instances

Instances details

Bounded LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods minBound :: LicenseExceptionId # maxBound :: LicenseExceptionId #
Enum LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods succ :: LicenseExceptionId -> LicenseExceptionId # pred :: LicenseExceptionId -> LicenseExceptionId # toEnum :: Int -> LicenseExceptionId # fromEnum :: LicenseExceptionId -> Int # enumFrom :: LicenseExceptionId -> [LicenseExceptionId] # enumFromThen :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId] # enumFromTo :: LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId] # enumFromThenTo :: LicenseExceptionId -> LicenseExceptionId -> LicenseExceptionId -> [LicenseExceptionId] #
Eq LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods (==) :: LicenseExceptionId -> LicenseExceptionId -> Bool # (/=) :: LicenseExceptionId -> LicenseExceptionId -> Bool #
Data LicenseExceptionId Source #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseExceptionId # toConstr :: LicenseExceptionId -> Constr # dataTypeOf :: LicenseExceptionId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseExceptionId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseExceptionId) # gmapT :: (forall b. Data b => b -> b) -> LicenseExceptionId -> LicenseExceptionId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExceptionId -> r # gmapQ :: (forall d. Data d => d -> u) -> LicenseExceptionId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseExceptionId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseExceptionId -> m LicenseExceptionId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExceptionId -> m LicenseExceptionId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExceptionId -> m LicenseExceptionId #
Ord LicenseExceptionId Source #
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 Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods readsPrec :: Int -> ReadS LicenseExceptionId # readList :: ReadS [LicenseExceptionId] # readPrec :: ReadPrec LicenseExceptionId # readListPrec :: ReadPrec [LicenseExceptionId] #
Show LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods showsPrec :: Int -> LicenseExceptionId -> ShowS # show :: LicenseExceptionId -> String # showList :: [LicenseExceptionId] -> ShowS #
Generic LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Associated Types type Rep LicenseExceptionId :: Type -> Type # Methods from :: LicenseExceptionId -> Rep LicenseExceptionId x # to :: Rep LicenseExceptionId x -> LicenseExceptionId #
Binary LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods put :: LicenseExceptionId -> Put # get :: Get LicenseExceptionId # putList :: [LicenseExceptionId] -> Put #
NFData LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods rnf :: LicenseExceptionId -> () #
Structured LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods structure :: Proxy LicenseExceptionId -> Structure Source # structureHash' :: Tagged LicenseExceptionId MD5
Pretty LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods pretty :: LicenseExceptionId -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseExceptionId -> Doc Source #
Parsec LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId Methods parsec :: CabalParsing m => m LicenseExceptionId Source #
type Rep LicenseExceptionId Source #
Instance details Defined in Distribution.SPDX.LicenseExceptionId type Rep LicenseExceptionId = D1 ('MetaData "LicenseExceptionId" "Distribution.SPDX.LicenseExceptionId" "Cabal-3.2.0.0-inplace" '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_CC_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "I2p_gpl_java_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 "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 Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods (==) :: LicenseRef -> LicenseRef -> Bool # (/=) :: LicenseRef -> LicenseRef -> Bool #
Data LicenseRef Source #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseRef # toConstr :: LicenseRef -> Constr # dataTypeOf :: LicenseRef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseRef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseRef) # gmapT :: (forall b. Data b => b -> b) -> LicenseRef -> LicenseRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseRef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseRef -> r # gmapQ :: (forall d. Data d => d -> u) -> LicenseRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseRef -> m LicenseRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseRef -> m LicenseRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseRef -> m LicenseRef #
Ord LicenseRef Source #
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 Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods readsPrec :: Int -> ReadS LicenseRef # readList :: ReadS [LicenseRef] # readPrec :: ReadPrec LicenseRef # readListPrec :: ReadPrec [LicenseRef] #
Show LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods showsPrec :: Int -> LicenseRef -> ShowS # show :: LicenseRef -> String # showList :: [LicenseRef] -> ShowS #
Generic LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Associated Types type Rep LicenseRef :: Type -> Type # Methods from :: LicenseRef -> Rep LicenseRef x # to :: Rep LicenseRef x -> LicenseRef #
Binary LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods put :: LicenseRef -> Put # get :: Get LicenseRef # putList :: [LicenseRef] -> Put #
NFData LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods rnf :: LicenseRef -> () #
Structured LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods structure :: Proxy LicenseRef -> Structure Source # structureHash' :: Tagged LicenseRef MD5
Pretty LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods pretty :: LicenseRef -> Doc Source # prettyVersioned :: CabalSpecVersion -> LicenseRef -> Doc Source #
Parsec LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference Methods parsec :: CabalParsing m => m LicenseRef Source #
type Rep LicenseRef Source #
Instance details Defined in Distribution.SPDX.LicenseReference type Rep LicenseRef = D1 ('MetaData "LicenseRef" "Distribution.SPDX.LicenseReference" "Cabal-3.2.0.0-inplace" '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

Instances

Instances details

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

cabalSpecVersionToSPDXListVersion :: CabalSpecVersion -> LicenseListVersion Source #