Aura.Core

Core types and functions which belong nowhere else.

Types

data Env

The complete Aura runtime environment. Repository has internal caches instantiated in IO, while Settings is mostly static and derived from command-line arguments.

Constructors

Env

Fields

• repository :: !Repository
• settings :: !Settings

Instances

Generic Env

Defined in Aura.Core

Associated Types

type Rep Env :: Type -> Type

Methods

from :: Env -> Rep Env x

to :: Rep Env x -> Env

HasLogFunc Env

Defined in Aura.Core

Methods

logFuncL :: Lens' Env LogFunc

type Rep Env

Defined in Aura.Core

type Rep Env = D1 (MetaData "Env" "Aura.Core" "aura-2.3.0-8xHX63F6OjrJKAMWE3RFwt" False) (C1 (MetaCons "Env" PrefixI True) (S1 (MetaSel (Just "repository") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Repository) :*: S1 (MetaSel (Just "settings") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Settings)))

data Repository

A Repository is a place where packages may be fetched from. Multiple repositories can be combined with the Semigroup instance. Checks packages in batches for efficiency.

Constructors

Repository

Fields

• repoCache :: !(TVar (Map PkgName Package))
• repoLookup :: Settings -> NonEmpty PkgName -> IO (Maybe (Set PkgName, Set Package))

Instances

Semigroup Repository

Defined in Aura.Core

Methods

(<>) :: Repository -> Repository -> Repository

sconcat :: NonEmpty Repository -> Repository

stimes :: Integral b => b -> Repository -> Repository

liftMaybeM :: (MonadThrow m, Exception e) => e -> m (Maybe a) -> m a

User Privileges

sudo :: RIO Env a -> RIO Env a

Action won't be allowed unless user is root, or using sudo.

trueRoot :: RIO Env a -> RIO Env a

Stop the user if they are the true root. Building as root isn't allowed since makepkg v4.2.

Querying the Package Database

foreignPackages :: IO (Set SimplePkg)

A list of non-prebuilt packages installed on the system. `-Qm` yields a list of sorted values.

orphans :: IO (Set PkgName)

Packages marked as a dependency, yet are required by no other package.

develPkgs :: IO (Set PkgName)

Any package whose name is suffixed by git, hg, svn, darcs, cvs, or bzr.

newtype Unsatisfied

Depedencies which are not installed, or otherwise provided by some installed package.

Constructors

Unsatisfied (NonEmpty Dep)

newtype Satisfied

The opposite of Unsatisfied.

Constructors

Satisfied (NonEmpty Dep)

areSatisfied :: NonEmpty Dep -> IO (These Unsatisfied Satisfied)

Similar to isSatisfied, but dependencies are checked in a batch, since -T can accept multiple inputs.

isInstalled :: PkgName -> IO (Maybe PkgName)

Returns what it was given if the package is already installed. Reasoning: Using raw bools can be less expressive.

checkDBLock :: Settings -> IO ()

Block further action until the database is free.

Misc. Package Handling

removePkgs :: NonEmpty PkgName -> RIO Env ()

An -Rsu call.

partitionPkgs :: NonEmpty (NonEmpty Package) -> ([Prebuilt], [NonEmpty Buildable])

Partition a list of packages into pacman and buildable groups. Yes, this is the correct signature. As far as this function (in isolation) is concerned, there is no way to guarantee that the list of NonEmptys will itself be non-empty.

packageBuildable :: Settings -> Buildable -> IO Package

Package a Buildable, running the customization handler first.

IO

notify :: MonadIO m => Settings -> (Language -> Doc AnsiStyle) -> m ()

Print some message in green with Aura flair.

warn :: MonadIO m => Settings -> (Language -> Doc AnsiStyle) -> m ()

Print some message in yellow with Aura flair.

scold :: MonadIO m => Settings -> (Language -> Doc AnsiStyle) -> m ()

Print some message in red with Aura flair.

report :: (Doc AnsiStyle -> Doc AnsiStyle) -> (Language -> Doc AnsiStyle) -> NonEmpty PkgName -> RIO Env ()

Report a message with multiple associated items. Usually a list of naughty packages.