Debian.Debianize.Monad

Documentation

data CabalInfo

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

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

Methods

showsPrec :: Int -> CabalInfo -> ShowS

show :: CabalInfo -> String

showList :: [CabalInfo] -> ShowS

Canonical CabalInfo

Methods

canonical :: CabalInfo -> CabalInfo

type CabalT m = StateT CabalInfo m

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

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

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

type CabalM = State CabalInfo

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

evalCabalM :: CabalM a -> CabalInfo -> a

execCabalM :: CabalM a -> CabalInfo -> CabalInfo

modify cabal to debian package version map

type DebianT m = StateT DebInfo m

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

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

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

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

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

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

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