Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
The basic information required to load a Cabal or Debian package description.
Synopsis
- data Flags = Flags {
- _verbosity :: Int
- _dryRun :: Bool
- _upgrade :: Bool
- _roundtrip :: Bool
- _validate :: Bool
- _compilerFlavor :: CompilerFlavor
- _cabalFlagAssignments :: Set (FlagName, Bool)
- _buildEnv :: EnvSet
- data EnvSet = EnvSet {}
- data DebType
- verbosity :: Lens' Flags Int
- dryRun :: Lens' Flags Bool
- upgrade :: Lens' Flags Bool
- roundtrip :: Lens' Flags Bool
- validate :: Lens' Flags Bool
- compilerFlavor :: Lens' Flags CompilerFlavor
- cabalFlagAssignments :: Lens' Flags (Set (FlagName, Bool))
- buildEnv :: Lens' Flags EnvSet
- flagOptions :: MonadIO m => [OptDescr (StateT Flags m ())]
Types
This record supplies enough information to locate and load a debianization or a cabal file from the IO monad.
Flags | |
|
Instances
Data Flags Source # | |
Defined in Debian.Debianize.BasicInfo gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Flags -> c Flags # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Flags # dataTypeOf :: Flags -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Flags) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Flags) # gmapT :: (forall b. Data b => b -> b) -> Flags -> Flags # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Flags -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Flags -> r # gmapQ :: (forall d. Data d => d -> u) -> Flags -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Flags -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Flags -> m Flags # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Flags -> m Flags # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Flags -> m Flags # | |
Show Flags Source # | |
Eq Flags Source # | |
Ord Flags Source # | |
Instances
Data EnvSet Source # | |
Defined in Debian.Debianize.BasicInfo gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnvSet -> c EnvSet # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnvSet # toConstr :: EnvSet -> Constr # dataTypeOf :: EnvSet -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnvSet) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnvSet) # gmapT :: (forall b. Data b => b -> b) -> EnvSet -> EnvSet # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnvSet -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnvSet -> r # gmapQ :: (forall d. Data d => d -> u) -> EnvSet -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnvSet -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnvSet -> m EnvSet # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnvSet -> m EnvSet # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnvSet -> m EnvSet # | |
Show EnvSet Source # | |
Eq EnvSet Source # | |
Ord EnvSet Source # | |
A redundant data type, too lazy to expunge.
Instances
Data DebType Source # | |
Defined in Debian.Debianize.BasicInfo gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DebType -> c DebType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DebType # toConstr :: DebType -> Constr # dataTypeOf :: DebType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DebType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DebType) # gmapT :: (forall b. Data b => b -> b) -> DebType -> DebType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DebType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DebType -> r # gmapQ :: (forall d. Data d => d -> u) -> DebType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DebType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DebType -> m DebType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DebType -> m DebType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DebType -> m DebType # | |
Read DebType Source # | |
Show DebType Source # | |
Eq DebType Source # | |
Ord DebType Source # | |