Distribution.SPDX.LicenseExpression

Documentation

data LicenseExpression

SPDX License Expression.

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

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

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

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

Constructors

ELicense !SimpleLicenseExpression !(Maybe LicenseExceptionId)

EAnd !LicenseExpression !LicenseExpression

EOr !LicenseExpression !LicenseExpression

Instances

Parsec LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

parsec :: CabalParsing m => m LicenseExpression

Pretty LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

pretty :: LicenseExpression -> Doc

prettyVersioned :: CabalSpecVersion -> LicenseExpression -> Doc

Structured LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

structure :: Proxy LicenseExpression -> Structure

structureHash' :: Tagged LicenseExpression MD5

Data LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LicenseExpression -> c LicenseExpression

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LicenseExpression

toConstr :: LicenseExpression -> Constr

dataTypeOf :: LicenseExpression -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LicenseExpression)

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

gmapT :: (forall b. Data b => b -> b) -> LicenseExpression -> LicenseExpression

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExpression -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LicenseExpression -> r

gmapQ :: (forall d. Data d => d -> u) -> LicenseExpression -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LicenseExpression -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LicenseExpression -> m LicenseExpression

Generic LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Associated Types

type Rep LicenseExpression :: Type -> Type

Methods

from :: LicenseExpression -> Rep LicenseExpression x

to :: Rep LicenseExpression x -> LicenseExpression

Read LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

readsPrec :: Int -> ReadS LicenseExpression

readList :: ReadS [LicenseExpression]

readPrec :: ReadPrec LicenseExpression

readListPrec :: ReadPrec [LicenseExpression]

Show LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

showsPrec :: Int -> LicenseExpression -> ShowS

show :: LicenseExpression -> String

showList :: [LicenseExpression] -> ShowS

Binary LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

put :: LicenseExpression -> Put

get :: Get LicenseExpression

putList :: [LicenseExpression] -> Put

NFData LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

rnf :: LicenseExpression -> ()

Eq LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

(==) :: LicenseExpression -> LicenseExpression -> Bool

(/=) :: LicenseExpression -> LicenseExpression -> Bool

Ord LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

compare :: LicenseExpression -> LicenseExpression -> Ordering

(<) :: LicenseExpression -> LicenseExpression -> Bool

(<=) :: LicenseExpression -> LicenseExpression -> Bool

(>) :: LicenseExpression -> LicenseExpression -> Bool

(>=) :: LicenseExpression -> LicenseExpression -> Bool

max :: LicenseExpression -> LicenseExpression -> LicenseExpression

min :: LicenseExpression -> LicenseExpression -> LicenseExpression

type Rep LicenseExpression

Defined in Distribution.SPDX.LicenseExpression

type Rep LicenseExpression = D1 ('MetaData "LicenseExpression" "Distribution.SPDX.LicenseExpression" "Cabal-syntax-3.10.2.0-4s9v55YS0UyD8dLofJ8HlN" 'False) (C1 ('MetaCons "ELicense" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SimpleLicenseExpression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LicenseExceptionId))) :+: (C1 ('MetaCons "EAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression)) :+: C1 ('MetaCons "EOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LicenseExpression))))

data SimpleLicenseExpression

Simple License Expressions.

Constructors

ELicenseId LicenseId

An SPDX License List Short Form Identifier. For example: GPL-2.0-only

ELicenseIdPlus LicenseId

An SPDX License List Short Form Identifier with a unary"+" operator suffix to represent the current version of the license or any later version. For example: GPL-2.0+

ELicenseRef LicenseRef

A SPDX user defined license reference: For example: LicenseRef-23, LicenseRef-MIT-Style-1, or DocumentRef-spdx-tool-1.2:LicenseRef-MIT-Style-2

Instances

Parsec SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

parsec :: CabalParsing m => m SimpleLicenseExpression

Pretty SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

pretty :: SimpleLicenseExpression -> Doc

prettyVersioned :: CabalSpecVersion -> SimpleLicenseExpression -> Doc

Structured SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

structure :: Proxy SimpleLicenseExpression -> Structure

structureHash' :: Tagged SimpleLicenseExpression MD5

Data SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimpleLicenseExpression -> c SimpleLicenseExpression

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SimpleLicenseExpression

toConstr :: SimpleLicenseExpression -> Constr

dataTypeOf :: SimpleLicenseExpression -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SimpleLicenseExpression)

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

gmapT :: (forall b. Data b => b -> b) -> SimpleLicenseExpression -> SimpleLicenseExpression

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimpleLicenseExpression -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimpleLicenseExpression -> r

gmapQ :: (forall d. Data d => d -> u) -> SimpleLicenseExpression -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SimpleLicenseExpression -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimpleLicenseExpression -> m SimpleLicenseExpression

Generic SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Associated Types

type Rep SimpleLicenseExpression :: Type -> Type

Methods

from :: SimpleLicenseExpression -> Rep SimpleLicenseExpression x

to :: Rep SimpleLicenseExpression x -> SimpleLicenseExpression

Read SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

readsPrec :: Int -> ReadS SimpleLicenseExpression

readList :: ReadS [SimpleLicenseExpression]

readPrec :: ReadPrec SimpleLicenseExpression

readListPrec :: ReadPrec [SimpleLicenseExpression]

Show SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

showsPrec :: Int -> SimpleLicenseExpression -> ShowS

show :: SimpleLicenseExpression -> String

showList :: [SimpleLicenseExpression] -> ShowS

Binary SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

put :: SimpleLicenseExpression -> Put

get :: Get SimpleLicenseExpression

putList :: [SimpleLicenseExpression] -> Put

NFData SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

rnf :: SimpleLicenseExpression -> ()

Eq SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

(==) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool

(/=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool

Ord SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

Methods

compare :: SimpleLicenseExpression -> SimpleLicenseExpression -> Ordering

(<) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool

(<=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool

(>) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool

(>=) :: SimpleLicenseExpression -> SimpleLicenseExpression -> Bool

max :: SimpleLicenseExpression -> SimpleLicenseExpression -> SimpleLicenseExpression

min :: SimpleLicenseExpression -> SimpleLicenseExpression -> SimpleLicenseExpression

type Rep SimpleLicenseExpression

Defined in Distribution.SPDX.LicenseExpression

type Rep SimpleLicenseExpression = D1 ('MetaData "SimpleLicenseExpression" "Distribution.SPDX.LicenseExpression" "Cabal-syntax-3.10.2.0-4s9v55YS0UyD8dLofJ8HlN" 'False) (C1 ('MetaCons "ELicenseId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseId)) :+: (C1 ('MetaCons "ELicenseIdPlus" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseId)) :+: C1 ('MetaCons "ELicenseRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LicenseRef))))

simpleLicenseExpression :: LicenseId -> LicenseExpression