refactor

CmdLine/GitAnnex/Options.hs

@@ -5,8 +5,6 @@
  - Licensed under the GNU GPL version 3 or higher.
  -}
 
-{-# LANGUAGE FlexibleInstances #-}
-
 module CmdLine.GitAnnex.Options where
 
 import System.Console.GetOpt
@@ -20,6 +18,7 @@ import Types.NumCopies
 import Types.Messages
 import Types.Key
 import Types.Command
+import Types.DeferredParse
 import qualified Annex
 import qualified Remote
 import qualified Limit
@@ -56,26 +55,6 @@ gitAnnexOptions = commonOptions ++
 		>>= pure . (\r -> r { gitGlobalOpts = gitGlobalOpts r ++ [Param "-c", Param v] })
 		>>= Annex.changeGitRepo
 
--- 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.
-data DeferredParse a = DeferredParse (Annex a) | ReadyParse a
-
-class DeferredParseClass a where
-	finishParse :: a -> Annex a
-
-getParsed :: DeferredParse a -> Annex a
-getParsed (DeferredParse a) = a
-getParsed (ReadyParse a) = pure a
-
-instance DeferredParseClass (DeferredParse a) where
-	finishParse (DeferredParse a) = ReadyParse <$> a
-	finishParse (ReadyParse a) = pure (ReadyParse a)
-
-instance DeferredParseClass (Maybe (DeferredParse a)) where
-	finishParse Nothing = pure Nothing
-	finishParse (Just v) = Just <$> finishParse v
-
 parseRemoteOption :: Parser RemoteName -> Parser (DeferredParse Remote)
 parseRemoteOption p = DeferredParse . (fromJust <$$> Remote.byNameWithUUID) . Just <$> p