Cabal-3.2.1.0: A framework for packaging Haskell software
Safe Haskell None
Language Haskell2010

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

(/=) :: LicenseId -> LicenseId -> Bool Source #

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

(<) :: LicenseId -> LicenseId -> Bool Source #

(<=) :: LicenseId -> LicenseId -> Bool Source #

(>) :: LicenseId -> LicenseId -> Bool Source #

(>=) :: LicenseId -> LicenseId -> Bool Source #

max :: LicenseId -> LicenseId -> LicenseId Source #

min :: LicenseId -> LicenseId -> LicenseId Source #

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.1.0-3w1fQQbNnuQ5xlFGwVXcPy" ' 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]