Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data CommandLineOptions = CommandLineOptions {}
- data BehaviorAdjustment
- data Flags = Flags {
- _verbosity :: Int
- _dryRun :: Bool
- _upgrade :: Bool
- _roundtrip :: Bool
- _validate :: Bool
- _compilerFlavor :: CompilerFlavor
- _cabalFlagAssignments :: Set (FlagName, Bool)
- _buildEnv :: EnvSet
- parseProgramArguments :: IO CommandLineOptions
- parseProgramArguments' :: [String] -> IO CommandLineOptions
- handleBehaviorAdjustment :: MonadIO m => BehaviorAdjustment -> CabalT m ()
Documentation
data CommandLineOptions Source #
This data type is an abomination. It represent information,
provided on command line. Part of such information provides
means to create initial CabalT
state and is stored in
_flags
field. See newCabalInfo
.
Other, much greater part represent changes to already created
state. They are stored in _adjustment
field.
All this can be understood from (simplified) types:
type CabalT m a = StateT CabalInfo m a newCabalInfo :: Flags -> IO CabalInfo handleBehaviorAdjustment :: BehaviorAdjustment -> CabalT IO ()
data BehaviorAdjustment Source #
This data type represents changes to CabalT
state,
requested at command line.
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 # | |
handleBehaviorAdjustment :: MonadIO m => BehaviorAdjustment -> CabalT m () Source #