module Propellor.Property.Pacman where
import Propellor.Base
runPacman :: [String] -> UncheckedProperty ArchLinux
runPacman :: [String] -> UncheckedProperty ArchLinux
runPacman [String]
ps = forall (p :: * -> *) (untightened :: [MetaType])
(tightened :: [MetaType]).
(TightenTargets p, TightenTargetsAllowed untightened tightened,
SingI tightened) =>
p (MetaTypes untightened) -> p (MetaTypes tightened)
tightenTargets forall a b. (a -> b) -> a -> b
$ String -> [String] -> UncheckedProperty UnixLike
cmdProperty String
"pacman" [String]
ps
update :: Property ArchLinux
update :: Property ArchLinux
update = forall {k} (metatypes :: k).
SingI metatypes =>
String
-> Props (MetaTypes metatypes) -> Property (MetaTypes metatypes)
combineProperties (String
"pacman update") forall a b. (a -> b) -> a -> b
$ Props UnixLike
props
forall {a} p (y :: [a]) (x :: [a]).
(IsProp p, MetaTypes y ~ GetMetaTypes p,
CheckCombinableNote x y (NoteFor ('Text "&"))) =>
Props (MetaTypes x) -> p -> Props (MetaTypes (Combine x y))
& [String] -> UncheckedProperty ArchLinux
runPacman [String
"-Sy", String
"--noconfirm"]
forall (p :: * -> *) i.
Checkable p i =>
p i -> Result -> Property i
`assume` Result
MadeChange
upgrade :: Property ArchLinux
upgrade :: Property ArchLinux
upgrade = forall {k} (metatypes :: k).
SingI metatypes =>
String
-> Props (MetaTypes metatypes) -> Property (MetaTypes metatypes)
combineProperties (String
"pacman upgrade") forall a b. (a -> b) -> a -> b
$ Props UnixLike
props
forall {a} p (y :: [a]) (x :: [a]).
(IsProp p, MetaTypes y ~ GetMetaTypes p,
CheckCombinableNote x y (NoteFor ('Text "&"))) =>
Props (MetaTypes x) -> p -> Props (MetaTypes (Combine x y))
& [String] -> UncheckedProperty ArchLinux
runPacman [String
"-Syu", String
"--noconfirm"]
forall (p :: * -> *) i.
Checkable p i =>
p i -> Result -> Property i
`assume` Result
MadeChange
type Package = String
installed :: [Package] -> Property ArchLinux
installed :: [String] -> Property ArchLinux
installed = [String] -> [String] -> Property ArchLinux
installed' [String
"--noconfirm"]
installed' :: [String] -> [Package] -> Property ArchLinux
installed' :: [String] -> [String] -> Property ArchLinux
installed' [String]
params [String]
ps = forall (p :: * -> *) i (m :: * -> *).
(Checkable p i, LiftPropellor m) =>
m Bool -> p i -> Property i
check (Bool -> Bool
not forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [String] -> IO Bool
isInstalled' [String]
ps) UncheckedProperty ArchLinux
go
forall p. IsProp p => p -> String -> p
`describe` [String] -> String
unwords (String
"pacman installed"forall a. a -> [a] -> [a]
:[String]
ps)
where
go :: UncheckedProperty ArchLinux
go = [String] -> UncheckedProperty ArchLinux
runPacman ([String]
params forall a. [a] -> [a] -> [a]
++ [String
"-S"] forall a. [a] -> [a] -> [a]
++ [String]
ps)
removed :: [Package] -> Property ArchLinux
removed :: [String] -> Property ArchLinux
removed [String]
ps = forall (p :: * -> *) i (m :: * -> *).
(Checkable p i, LiftPropellor m) =>
m Bool -> p i -> Property i
check (forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any (forall a. Eq a => a -> a -> Bool
== InstallStatus
IsInstalled) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [String] -> IO [InstallStatus]
getInstallStatus [String]
ps)
([String] -> UncheckedProperty ArchLinux
runPacman ([String
"-R", String
"--noconfirm"] forall a. [a] -> [a] -> [a]
++ [String]
ps))
forall p. IsProp p => p -> String -> p
`describe` [String] -> String
unwords (String
"pacman removed"forall a. a -> [a] -> [a]
:[String]
ps)
isInstalled :: Package -> IO Bool
isInstalled :: String -> IO Bool
isInstalled String
p = [String] -> IO Bool
isInstalled' [String
p]
isInstalled' :: [Package] -> IO Bool
isInstalled' :: [String] -> IO Bool
isInstalled' [String]
ps = forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all (forall a. Eq a => a -> a -> Bool
== InstallStatus
IsInstalled) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [String] -> IO [InstallStatus]
getInstallStatus [String]
ps
data InstallStatus = IsInstalled | NotInstalled
deriving (Int -> InstallStatus -> ShowS
[InstallStatus] -> ShowS
InstallStatus -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [InstallStatus] -> ShowS
$cshowList :: [InstallStatus] -> ShowS
show :: InstallStatus -> String
$cshow :: InstallStatus -> String
showsPrec :: Int -> InstallStatus -> ShowS
$cshowsPrec :: Int -> InstallStatus -> ShowS
Show, InstallStatus -> InstallStatus -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: InstallStatus -> InstallStatus -> Bool
$c/= :: InstallStatus -> InstallStatus -> Bool
== :: InstallStatus -> InstallStatus -> Bool
$c== :: InstallStatus -> InstallStatus -> Bool
Eq)
getInstallStatus :: [Package] -> IO [InstallStatus]
getInstallStatus :: [String] -> IO [InstallStatus]
getInstallStatus [String]
ps = forall a b. (a -> Maybe b) -> [a] -> [b]
mapMaybe forall a. a -> a
id forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM String -> IO (Maybe InstallStatus)
status [String]
ps
where
status :: Package -> IO (Maybe InstallStatus)
status :: String -> IO (Maybe InstallStatus)
status String
p = do
forall (m :: * -> *) a. Monad m => m Bool -> (m a, m a) -> m a
ifM (String -> [String] -> IO Bool
succeeds String
"pacman" [String
"-Q", String
p])
(forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. a -> Maybe a
Just InstallStatus
IsInstalled),
forall (m :: * -> *) a. Monad m => m Bool -> (m a, m a) -> m a
ifM (String -> [String] -> IO Bool
succeeds String
"pacman" [String
"-Sp", String
p])
(forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. a -> Maybe a
Just InstallStatus
NotInstalled),
forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing))
succeeds :: String -> [String] -> IO Bool
succeeds :: String -> [String] -> IO Bool
succeeds String
cmd [String]
args = (IO ()
quietProcess forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> forall (m :: * -> *) a. Monad m => a -> m a
return Bool
True)
forall (m :: * -> *) a.
MonadCatch m =>
m a -> (IOException -> m a) -> m a
`catchIO` (\IOException
_ -> forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False)
where
quietProcess :: IO ()
quietProcess :: IO ()
quietProcess = CreateProcessRunner -> CreateProcess -> IO ()
withQuietOutput CreateProcessRunner
createProcessSuccess CreateProcess
p
p :: CreateProcess
p = (String -> [String] -> CreateProcess
proc String
cmd [String]
args)