Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data GenericPackageDescription
- data PackageFlag
- data FlagName
- data ConfVar
- packageDescription :: Lens' GenericPackageDescription PackageDescription
- flagName :: Lens' PackageFlag FlagName
- flagDescription :: Lens' PackageFlag String
- flagDefault :: Lens' PackageFlag Bool
- flagManual :: Lens' PackageFlag Bool
- 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
- _OS :: Traversal' ConfVar OS
- _Arch :: Traversal' ConfVar Arch
- _PackageFlag :: Traversal' ConfVar FlagName
- _Impl :: Traversal' ConfVar (CompilerFlavor, VersionRange)
Documentation
data GenericPackageDescription Source #
Instances
data PackageFlag Source #
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 Source # | |||||
Defined in Distribution.Types.Flag structure :: Proxy PackageFlag -> Structure Source # structureHash' :: Tagged PackageFlag MD5 | |||||
Binary PackageFlag Source # | |||||
Defined in Distribution.Types.Flag put :: PackageFlag -> Put Source # get :: Get PackageFlag Source # putList :: [PackageFlag] -> Put Source # | |||||
NFData PackageFlag Source # | |||||
Defined in Distribution.Types.Flag rnf :: PackageFlag -> () Source # | |||||
Data PackageFlag Source # | |||||
Defined in Distribution.Types.Flag 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 Source # | |||||
Defined in Distribution.Types.Flag
from :: PackageFlag -> Rep PackageFlag x # to :: Rep PackageFlag x -> PackageFlag # | |||||
Show PackageFlag Source # | |||||
Defined in Distribution.Types.Flag showsPrec :: Int -> PackageFlag -> ShowS # show :: PackageFlag -> String # showList :: [PackageFlag] -> ShowS # | |||||
Eq PackageFlag Source # | |||||
Defined in Distribution.Types.Flag (==) :: PackageFlag -> PackageFlag -> Bool # (/=) :: PackageFlag -> PackageFlag -> Bool # | |||||
type Rep PackageFlag Source # | |||||
Defined in Distribution.Types.Flag type Rep PackageFlag = D1 ('MetaData "PackageFlag" "Distribution.Types.Flag" "Cabal-syntax-3.12.0.0-29a8" '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)))) |
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: Cabal-syntax-2.0.0.2
Instances
Parsec FlagName Source # | |||||
Defined in Distribution.Types.Flag parsec :: CabalParsing m => m FlagName Source # | |||||
Pretty FlagName Source # | |||||
Defined in Distribution.Types.Flag | |||||
Structured FlagName Source # | |||||
Defined in Distribution.Types.Flag | |||||
Binary FlagName Source # | |||||
NFData FlagName Source # | |||||
Defined in Distribution.Types.Flag | |||||
Data FlagName Source # | |||||
Defined in Distribution.Types.Flag 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 Source # | Since: Cabal-syntax-2.0.0.2 | ||||
Defined in Distribution.Types.Flag fromString :: String -> FlagName # | |||||
Generic FlagName Source # | |||||
Defined in Distribution.Types.Flag
| |||||
Read FlagName Source # | |||||
Show FlagName Source # | |||||
Eq FlagName Source # | |||||
Ord FlagName Source # | |||||
Defined in Distribution.Types.Flag | |||||
type Rep FlagName Source # | |||||
Defined in Distribution.Types.Flag |
A ConfVar
represents the variable type used.
Instances
Structured ConfVar Source # | |||||
Defined in Distribution.Types.ConfVar | |||||
Binary ConfVar Source # | |||||
NFData ConfVar Source # | |||||
Defined in Distribution.Types.ConfVar | |||||
Data ConfVar Source # | |||||
Defined in Distribution.Types.ConfVar 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 Source # | |||||
Defined in Distribution.Types.ConfVar
| |||||
Show ConfVar Source # | |||||
Eq ConfVar Source # | |||||
type Rep ConfVar Source # | |||||
Defined in Distribution.Types.ConfVar type Rep ConfVar = D1 ('MetaData "ConfVar" "Distribution.Types.ConfVar" "Cabal-syntax-3.12.0.0-29a8" '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)))) |
condLibrary :: Lens' GenericPackageDescription (Maybe (CondTree ConfVar [Dependency] Library)) Source #
condSubLibraries :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] Library)] Source #
condForeignLibs :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] ForeignLib)] Source #
condExecutables :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] Executable)] Source #
condTestSuites :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] TestSuite)] Source #
condBenchmarks :: Lens' GenericPackageDescription [(UnqualComponentName, CondTree ConfVar [Dependency] Benchmark)] Source #
allCondTrees :: Applicative f => (forall a. CondTree ConfVar [Dependency] a -> f (CondTree ConfVar [Dependency] a)) -> GenericPackageDescription -> f GenericPackageDescription Source #