Cabal-3.2.0.0: A framework for packaging Haskell software
Safe HaskellNone
LanguageHaskell2010

Distribution.SPDX.LicenseId

Contents

Synopsis

Documentation

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 Source #

maxBound :: LicenseId Source #

Enum LicenseId Source # 
Instance details

Defined in Distribution.SPDX.LicenseId

Methods

succ :: LicenseId -> LicenseId Source #

pred :: LicenseId -> LicenseId Source #

toEnum :: Int -> LicenseId Source #

fromEnum :: LicenseId -> Int Source #

enumFrom :: LicenseId -> [LicenseId] Source #

enumFromThen :: LicenseId -> LicenseId -> [LicenseId] Source #

enumFromTo :: LicenseId -> LicenseId -> [LicenseId] Source #

enumFromThenTo :: LicenseId -> LicenseId -> LicenseId -> [LicenseId] Source #

Eq LicenseId 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 Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseId Source #

toConstr :: LicenseId -> Constr Source #

dataTypeOf :: LicenseId -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseId) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LicenseId) Source #

gmapT :: (forall b. Data b => b -> b) -> LicenseId -> LicenseId Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseId -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseId -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> LicenseId -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseId -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseId -> m LicenseId Source #

Ord LicenseId 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 Source #

readList :: ReadS [LicenseId] Source #

readPrec :: ReadPrec LicenseId Source #

readListPrec :: ReadPrec [LicenseId] Source #

Show LicenseId Source # 
Instance details

Defined in Distribution.SPDX.LicenseId

Methods

showsPrec :: Int -> LicenseId -> ShowS Source #

show :: LicenseId -> String Source #

showList :: [LicenseId] -> ShowS Source #

Generic LicenseId Source # 
Instance details

Defined in Distribution.SPDX.LicenseId

Associated Types

type Rep LicenseId :: Type -> Type Source #

Methods

from :: LicenseId -> Rep LicenseId x Source #

to :: Rep LicenseId x -> LicenseId Source #

Binary LicenseId Source # 
Instance details

Defined in Distribution.SPDX.LicenseId

Methods

put :: LicenseId -> Put Source #

get :: Get LicenseId Source #

putList :: [LicenseId] -> Put Source #

NFData LicenseId Source # 
Instance details

Defined in Distribution.SPDX.LicenseId

Methods

rnf :: LicenseId -> () Source #

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" '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 #

Helpers

licenseIdMigrationMessage :: String -> String Source #

Help message for migrating from non-SPDX license identifiers.

Old License is almost SPDX, except for BSD2, BSD3. This function suggests SPDX variant:

>>> licenseIdMigrationMessage "BSD3"
"Do you mean BSD-3-Clause?"

Also OtherLicense, AllRightsReserved, and PublicDomain aren't valid SPDX identifiers

>>> traverse_ (print . licenseIdMigrationMessage) [ "OtherLicense", "AllRightsReserved", "PublicDomain" ]
"SPDX license list contains plenty of licenses. See https://spdx.org/licenses/. Also they can be combined into complex expressions with AND and OR."
"You can use NONE as a value of license field."
"Public Domain is a complex matter. See https://wiki.spdx.org/view/Legal_Team/Decisions/Dealing_with_Public_Domain_within_SPDX_Files. Consider using a proper license."

SPDX License list version 3.0 introduced "-only" and "-or-later" variants for GNU family of licenses. See https://spdx.org/news/news/2018/01/license-list-30-released >>> licenseIdMigrationMessage "GPL-2.0" "SPDX license list 3.0 deprecated suffixless variants of GNU family of licenses. Use GPL-2.0-only or GPL-2.0-or-later."

For other common licenses their old license format coincides with the SPDX identifiers:

>>> traverse eitherParsec ["GPL-2.0-only", "GPL-3.0-only", "LGPL-2.1-only", "MIT", "ISC", "MPL-2.0", "Apache-2.0"] :: Either String [LicenseId]
Right [GPL_2_0_only,GPL_3_0_only,LGPL_2_1_only,MIT,ISC,MPL_2_0,Apache_2_0]