wip
Current status: * building again, but several commands are commented out * still need to implement global options, file matching options, etc
This commit is contained in:
parent
e59ba5a70b
commit
820b92abab
9 changed files with 133 additions and 100 deletions
|
@ -12,6 +12,8 @@ module Types.DeferredParse where
|
|||
import Annex
|
||||
import Common
|
||||
|
||||
import Options.Applicative.Types
|
||||
|
||||
-- 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
|
||||
-- value before using getParsed repeatedly.
|
||||
|
@ -31,3 +33,18 @@ instance DeferredParseClass (DeferredParse a) where
|
|||
instance DeferredParseClass (Maybe (DeferredParse a)) where
|
||||
finishParse Nothing = pure Nothing
|
||||
finishParse (Just v) = Just <$> finishParse v
|
||||
|
||||
instance DeferredParseClass [DeferredParse a] where
|
||||
finishParse v = mapM finishParse v
|
||||
|
||||
-- Use when the Annex action modifies Annex state.
|
||||
type GlobalSetter = DeferredParse ()
|
||||
|
||||
globalOpt :: Annex () -> Parser Bool -> Parser GlobalSetter
|
||||
globalOpt setter parser = go <$> parser
|
||||
where
|
||||
go False = ReadyParse ()
|
||||
go True = DeferredParse setter
|
||||
|
||||
globalSetter :: (v -> Annex ()) -> Parser v -> Parser GlobalSetter
|
||||
globalSetter setter parser = DeferredParse . setter <$> parser
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue