implement fastDebug
Most of the changes here involve global option parsing: GlobalSetter changed so it can both run an Annex action to set state, but can also change the AnnexRead value, which is immutable once the Annex monad is running. That allowed a debugselector value to be added to AnnexRead, seeded from the git config. The --debugfilter option's GlobalSetter then updates the AnnexRead. This improved GlobalSetter can later be used to move more stuff to AnnexRead. Things that don't involve a git config will be easier to move, and probably a *lot* of things can be moved eventually. fastDebug, while implemented, is not used anywhere yet. But it should be fast..
This commit is contained in:
parent
6136006106
commit
d16d739ce2
12 changed files with 194 additions and 84 deletions
|
@ -1,6 +1,6 @@
|
|||
{- git-annex deferred parse values
|
||||
-
|
||||
- Copyright 2015 Joey Hess <id@joeyh.name>
|
||||
- Copyright 2015-2021 Joey Hess <id@joeyh.name>
|
||||
-
|
||||
- Licensed under the GNU AGPL version 3 or higher.
|
||||
-}
|
||||
|
@ -12,6 +12,8 @@ module Types.DeferredParse where
|
|||
import Annex
|
||||
|
||||
import Options.Applicative
|
||||
import qualified Data.Semigroup as Sem
|
||||
import Prelude
|
||||
|
||||
-- Some values cannot be fully parsed without performing an action.
|
||||
-- The action may be expensive, so it's best to call finishParse on such a
|
||||
|
@ -36,6 +38,20 @@ instance DeferredParseClass (Maybe (DeferredParse a)) where
|
|||
instance DeferredParseClass [DeferredParse a] where
|
||||
finishParse v = mapM finishParse v
|
||||
|
||||
-- Use when the Annex action modifies Annex state.
|
||||
type GlobalSetter = DeferredParse ()
|
||||
type GlobalOption = Parser GlobalSetter
|
||||
|
||||
-- Used for global options that can modify Annex state by running
|
||||
-- an arbitrary action in it, and can also set up AnnexRead.
|
||||
data GlobalSetter = GlobalSetter
|
||||
{ annexStateSetter :: Annex ()
|
||||
, annexReadSetter :: AnnexRead -> AnnexRead
|
||||
}
|
||||
|
||||
instance Sem.Semigroup GlobalSetter where
|
||||
a <> b = GlobalSetter
|
||||
{ annexStateSetter = annexStateSetter a >> annexStateSetter b
|
||||
, annexReadSetter = annexReadSetter b . annexReadSetter a
|
||||
}
|
||||
|
||||
instance Monoid GlobalSetter where
|
||||
mempty = GlobalSetter (return ()) id
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue