Distribution.Types.GenericPackageDescription.Lens

Documentation

data GenericPackageDescription

Instances

Package GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

packageId :: GenericPackageDescription -> PackageIdentifier

HasBuildInfos GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

traverseBuildInfos :: Traversal' GenericPackageDescription BuildInfo

Structured GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

structure :: Proxy GenericPackageDescription -> Structure

structureHash' :: Tagged GenericPackageDescription MD5

Data GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

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

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

toConstr :: GenericPackageDescription -> Constr

dataTypeOf :: GenericPackageDescription -> DataType

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

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

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

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

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

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

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

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

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

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

Generic GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Associated Types

type Rep GenericPackageDescription :: Type -> Type

Methods

from :: GenericPackageDescription -> Rep GenericPackageDescription x

to :: Rep GenericPackageDescription x -> GenericPackageDescription

Show GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

showsPrec :: Int -> GenericPackageDescription -> ShowS

show :: GenericPackageDescription -> String

showList :: [GenericPackageDescription] -> ShowS

Binary GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

put :: GenericPackageDescription -> Put

get :: Get GenericPackageDescription

putList :: [GenericPackageDescription] -> Put

NFData GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

rnf :: GenericPackageDescription -> ()

Eq GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

Methods

(==) :: GenericPackageDescription -> GenericPackageDescription -> Bool

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

type Rep GenericPackageDescription

Defined in Distribution.Types.GenericPackageDescription

type Rep GenericPackageDescription = D1 ('MetaData "GenericPackageDescription" "Distribution.Types.GenericPackageDescription" "Cabal-syntax-3.10.2.0-4s9v55YS0UyD8dLofJ8HlN" 'False) (C1 ('MetaCons "GenericPackageDescription" 'PrefixI 'True) (((S1 ('MetaSel ('Just "packageDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageDescription) :*: S1 ('MetaSel ('Just "gpdScannedVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Version))) :*: (S1 ('MetaSel ('Just "genPackageFlags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PackageFlag]) :*: S1 ('MetaSel ('Just "condLibrary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (CondTree ConfVar [Dependency] Library))))) :*: ((S1 ('MetaSel ('Just "condSubLibraries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnqualComponentName, CondTree ConfVar [Dependency] Library)]) :*: S1 ('MetaSel ('Just "condForeignLibs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnqualComponentName, CondTree ConfVar [Dependency] ForeignLib)])) :*: (S1 ('MetaSel ('Just "condExecutables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnqualComponentName, CondTree ConfVar [Dependency] Executable)]) :*: (S1 ('MetaSel ('Just "condTestSuites") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnqualComponentName, CondTree ConfVar [Dependency] TestSuite)]) :*: S1 ('MetaSel ('Just "condBenchmarks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(UnqualComponentName, CondTree ConfVar [Dependency] Benchmark)]))))))

data PackageFlag

A flag can represent a feature to be included, or a way of linking a target against its dependencies, or in fact whatever you can think of.

Instances

Structured PackageFlag

Defined in Distribution.Types.Flag

Methods

structure :: Proxy PackageFlag -> Structure

structureHash' :: Tagged PackageFlag MD5

Data PackageFlag

Defined in Distribution.Types.Flag

Methods

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

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

toConstr :: PackageFlag -> Constr

dataTypeOf :: PackageFlag -> DataType

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

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

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

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

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

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

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

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

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

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

Generic PackageFlag

Defined in Distribution.Types.Flag

Associated Types

type Rep PackageFlag :: Type -> Type

Methods

from :: PackageFlag -> Rep PackageFlag x

to :: Rep PackageFlag x -> PackageFlag

Show PackageFlag

Defined in Distribution.Types.Flag

Methods

showsPrec :: Int -> PackageFlag -> ShowS

show :: PackageFlag -> String

showList :: [PackageFlag] -> ShowS

Binary PackageFlag

Defined in Distribution.Types.Flag

Methods

put :: PackageFlag -> Put

get :: Get PackageFlag

putList :: [PackageFlag] -> Put

NFData PackageFlag

Defined in Distribution.Types.Flag

Methods

rnf :: PackageFlag -> ()

Eq PackageFlag

Defined in Distribution.Types.Flag

Methods

(==) :: PackageFlag -> PackageFlag -> Bool

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

type Rep PackageFlag

Defined in Distribution.Types.Flag

type Rep PackageFlag = D1 ('MetaData "PackageFlag" "Distribution.Types.Flag" "Cabal-syntax-3.10.2.0-4s9v55YS0UyD8dLofJ8HlN" 'False) (C1 ('MetaCons "MkPackageFlag" 'PrefixI 'True) ((S1 ('MetaSel ('Just "flagName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FlagName) :*: S1 ('MetaSel ('Just "flagDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "flagDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "flagManual") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data FlagName

A FlagName is the name of a user-defined configuration flag

Use mkFlagName and unFlagName to convert from/to a String.

This type is opaque since Cabal-2.0

Since: 2.0.0.2

Instances

Parsec FlagName

Defined in Distribution.Types.Flag

Methods

parsec :: CabalParsing m => m FlagName

Pretty FlagName

Defined in Distribution.Types.Flag

Methods

pretty :: FlagName -> Doc

prettyVersioned :: CabalSpecVersion -> FlagName -> Doc

Structured FlagName

Defined in Distribution.Types.Flag

Methods

structure :: Proxy FlagName -> Structure

structureHash' :: Tagged FlagName MD5

Data FlagName

Defined in Distribution.Types.Flag

Methods

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

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

toConstr :: FlagName -> Constr

dataTypeOf :: FlagName -> DataType

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

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

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

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

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

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

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

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

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

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

IsString FlagName

mkFlagName

Since: 2.0.0.2

Defined in Distribution.Types.Flag

Methods

fromString :: String -> FlagName

Generic FlagName

Defined in Distribution.Types.Flag

Associated Types

type Rep FlagName :: Type -> Type

Methods

from :: FlagName -> Rep FlagName x

to :: Rep FlagName x -> FlagName

Read FlagName

Defined in Distribution.Types.Flag

Methods

readsPrec :: Int -> ReadS FlagName

readList :: ReadS [FlagName]

readPrec :: ReadPrec FlagName

readListPrec :: ReadPrec [FlagName]

Show FlagName

Defined in Distribution.Types.Flag

Methods

showsPrec :: Int -> FlagName -> ShowS

show :: FlagName -> String

showList :: [FlagName] -> ShowS

Binary FlagName

Defined in Distribution.Types.Flag

Methods

put :: FlagName -> Put

get :: Get FlagName

putList :: [FlagName] -> Put

NFData FlagName

Defined in Distribution.Types.Flag

Methods

rnf :: FlagName -> ()

Eq FlagName

Defined in Distribution.Types.Flag

Methods

(==) :: FlagName -> FlagName -> Bool

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

Ord FlagName

Defined in Distribution.Types.Flag

Methods

compare :: FlagName -> FlagName -> Ordering

(<) :: FlagName -> FlagName -> Bool

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

(>) :: FlagName -> FlagName -> Bool

(>=) :: FlagName -> FlagName -> Bool

max :: FlagName -> FlagName -> FlagName

min :: FlagName -> FlagName -> FlagName

type Rep FlagName

Defined in Distribution.Types.Flag

type Rep FlagName = D1 ('MetaData "FlagName" "Distribution.Types.Flag" "Cabal-syntax-3.10.2.0-4s9v55YS0UyD8dLofJ8HlN" 'True) (C1 ('MetaCons "FlagName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortText)))

data ConfVar

A ConfVar represents the variable type used.

Constructors

OS OS

Arch Arch

PackageFlag FlagName

Impl CompilerFlavor VersionRange

Instances

Structured ConfVar

Defined in Distribution.Types.ConfVar

Methods

structure :: Proxy ConfVar -> Structure

structureHash' :: Tagged ConfVar MD5

Data ConfVar

Defined in Distribution.Types.ConfVar

Methods

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

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

toConstr :: ConfVar -> Constr

dataTypeOf :: ConfVar -> DataType

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

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

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

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

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

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

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

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

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

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

Generic ConfVar

Defined in Distribution.Types.ConfVar

Associated Types

type Rep ConfVar :: Type -> Type

Methods

from :: ConfVar -> Rep ConfVar x

to :: Rep ConfVar x -> ConfVar

Show ConfVar

Defined in Distribution.Types.ConfVar

Methods

showsPrec :: Int -> ConfVar -> ShowS

show :: ConfVar -> String

showList :: [ConfVar] -> ShowS

Binary ConfVar

Defined in Distribution.Types.ConfVar

Methods

put :: ConfVar -> Put

get :: Get ConfVar

putList :: [ConfVar] -> Put

NFData ConfVar

Defined in Distribution.Types.ConfVar

Methods

rnf :: ConfVar -> ()

Eq ConfVar

Defined in Distribution.Types.ConfVar

Methods

(==) :: ConfVar -> ConfVar -> Bool

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

type Rep ConfVar

Defined in Distribution.Types.ConfVar

type Rep ConfVar = D1 ('MetaData "ConfVar" "Distribution.Types.ConfVar" "Cabal-syntax-3.10.2.0-4s9v55YS0UyD8dLofJ8HlN" 'False) ((C1 ('MetaCons "OS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OS)) :+: C1 ('MetaCons "Arch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Arch))) :+: (C1 ('MetaCons "PackageFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FlagName)) :+: C1 ('MetaCons "Impl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompilerFlavor) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VersionRange))))

packageDescription :: Lens' GenericPackageDescription PackageDescription

gpdScannedVersion :: Lens' GenericPackageDescription (Maybe Version)

genPackageFlags :: Lens' GenericPackageDescription [PackageFlag]

condLibrary :: Lens' GenericPackageDescription (Maybe (CondTree ConfVar [Dependency] Library))

condSubLibraries :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] Library)]

condForeignLibs :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] ForeignLib)]

condExecutables :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] Executable)]

condTestSuites :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] TestSuite)]

condBenchmarks :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] Benchmark)]

allCondTrees :: Applicative f => (forall a. CondTree ConfVar [Dependency] a -> f (CondTree ConfVar [Dependency] a)) -> GenericPackageDescription -> f GenericPackageDescription

flagName :: Lens' PackageFlag FlagName

flagDescription :: Lens' PackageFlag String

flagDefault :: Lens' PackageFlag Bool

flagManual :: Lens' PackageFlag Bool

_OS :: Traversal' ConfVar OS

_Arch :: Traversal' ConfVar Arch

_PackageFlag :: Traversal' ConfVar FlagName

_Impl :: Traversal' ConfVar (CompilerFlavor, VersionRange)