| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Distribution.SPDX.License
Synopsis
- data License
Documentation
Declared license. See section 3.15 of SPDX Specification 2.1
Note: the NOASSERTION case is omitted.
Old License can be migrated using following rules:
AllRightsReservedandUnspecifiedLicensetoNONE. No license specified which legally defaults to All Rights Reserved. The package may not be legally modified or redistributed by anyone but the rightsholder.OtherLicensecan be converted toLicenseRefpointing to the file in the package.UnknownLicensei.e. other licenses of the formname-x.y, should be covered by SPDX license list, otherwise useLicenseRef.PublicDomainisn't covered. Consider using CC0. See https://wiki.spdx.org/view/Legal_Team/Decisions/Dealing_with_Public_Domain_within_SPDX_Files for more information.
Constructors
| NONE | if the package contains no license information whatsoever; or |
| License LicenseExpression | A valid SPDX License Expression as defined in Appendix IV. |
Instances
| Parsec License # |
|
Defined in Distribution.SPDX.License Methods parsec :: CabalParsing m => m License # | |
| Pretty License # | |
Defined in Distribution.SPDX.License | |
| Structured License # | |
Defined in Distribution.SPDX.License | |
| Data License # | |
Defined in Distribution.SPDX.License Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> License -> c License Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c License Source # toConstr :: License -> Constr Source # dataTypeOf :: License -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c License) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c License) Source # gmapT :: (forall b. Data b => b -> b) -> License -> License Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> License -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> License -> r Source # gmapQ :: (forall d. Data d => d -> u) -> License -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> License -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> License -> m License Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> License -> m License Source # | |
| Generic License # | |
| Read License # | |
| Show License # | |
| Binary License # | |
| NFData License # | |
Defined in Distribution.SPDX.License | |
| Eq License # | |
| Ord License # | |
Defined in Distribution.SPDX.License | |
| Newtype (Either License License) SpecLicense # | |
Defined in Distribution.FieldGrammar.Newtypes | |
| type Rep License # | |
Defined in Distribution.SPDX.License type Rep License = D1 ('MetaData "License" "Distribution.SPDX.License" "Cabal-3.4.1.0" 'False) (C1 ('MetaCons "NONE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "License" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseExpression))) | |