Safe Haskell	None
Language	Haskell2010

Debian.Debianize.Monad

Contents

modify cabal to debian package version map

Synopsis

Documentation

data CabalInfo Source #

Bits and pieces of information about the mapping from cabal package names and versions to debian package names and versions. In essence, an Atoms value represents a package's debianization. The lenses in this module are used to get and set the values hidden in this Atoms value. Many of the values should be left alone to be set when the debianization is finalized.

Instances

Data CabalInfo Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CabalInfo -> c CabalInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CabalInfo # toConstr :: CabalInfo -> Constr # dataTypeOf :: CabalInfo -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c CabalInfo) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CabalInfo) # gmapT :: (forall b. Data b => b -> b) -> CabalInfo -> CabalInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CabalInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CabalInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> CabalInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CabalInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CabalInfo -> m CabalInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalInfo -> m CabalInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalInfo -> m CabalInfo #
Show CabalInfo Source #
Methods showsPrec :: Int -> CabalInfo -> ShowS # show :: CabalInfo -> String # showList :: [CabalInfo] -> ShowS #
Canonical CabalInfo Source #
Methods canonical :: CabalInfo -> CabalInfo Source #

type CabalT m = StateT CabalInfo m Source #

runCabalT :: Monad m => CabalT m a -> CabalInfo -> m (a, CabalInfo) Source #

evalCabalT :: Monad m => CabalT m a -> CabalInfo -> m a Source #

execCabalT :: Monad m => CabalT m a -> CabalInfo -> m CabalInfo Source #

type CabalM = State CabalInfo Source #

runCabalM :: CabalM a -> CabalInfo -> (a, CabalInfo) Source #

evalCabalM :: CabalM a -> CabalInfo -> a Source #

execCabalM :: CabalM a -> CabalInfo -> CabalInfo Source #

modify cabal to debian package version map

type DebianT m = StateT DebInfo m Source #

evalDebianT :: Monad m => DebianT m a -> DebInfo -> m a Source #

evalDebian :: DebianT Identity a -> DebInfo -> a Source #

execDebianT :: Monad m => DebianT m () -> DebInfo -> m DebInfo Source #

liftCabal :: Monad m => StateT DebInfo m a -> StateT CabalInfo m a Source #

ifM :: Monad m => m Bool -> m a -> m a -> m a Source #

whenM :: Monad m => m Bool -> m () -> m () Source #

unlessM :: Monad m => m Bool -> m () -> m () Source #