Aura.State

Handle the saving and restoring of installed package states.

Documentation

data PkgState

All packages installed at some specific ZonedTime. Any "pinned" PkgState will never be deleted by `-Bc`.

Constructors

PkgState

Fields

• timeOf :: !ZonedTime
• pinnedOf :: !Bool
• pkgsOf :: !(Map PkgName Versioning)

Instances

ToJSON PkgState

Defined in Aura.State

Methods

toJSON :: PkgState -> Value

toEncoding :: PkgState -> Encoding

toJSONList :: [PkgState] -> Value

toEncodingList :: [PkgState] -> Encoding

FromJSON PkgState

Defined in Aura.State

Methods

parseJSON :: Value -> Parser PkgState

parseJSONList :: Value -> Parser [PkgState]

saveState :: Settings -> IO ()

Save a package state. In writing the first state file, the states directory is created automatically.

restoreState :: RIO Env ()

Does its best to restore a state chosen by the user.

inState :: SimplePkg -> PkgState -> Bool

Does a given package have an entry in a particular PkgState?

readState :: Path Absolute -> IO (Maybe PkgState)

Given a FilePath to a package state file, attempt to read and parse its contents. As of Aura 2.0, only state files in JSON format are accepted.

stateCache :: Path Absolute

The default location of all saved states: /var/cache/aura/states

getStateFiles :: IO [Path Absolute]

The filepaths of every saved package state.