aboutsummaryrefslogtreecommitdiff
path: root/Types.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-12-29 23:10:18 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-12-29 23:10:18 -0400
commit652f844e2348165062868cb197ee725d42198f03 (patch)
tree2d6a26a3659e54428fdf893bc9919ffb0b6de5de /Types.hs
parent69650c5989432cd83067614421c6bc3ef0cccab7 (diff)
type based git config handling
Now there's a Config type, that's extracted from the git config at startup. Note that laziness means that individual config values are only looked up and parsed on demand, and so we get implicit memoization for all of them. So this is not only prettier and more type safe, it optimises several places that didn't have explicit memoization before. As well as getting rid of the ugly explicit memoization code. Not yet done for annex.<remote>.* configuration settings.
Diffstat (limited to 'Types.hs')
-rw-r--r--Types.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/Types.hs b/Types.hs
index eb77826cb..16f901b26 100644
--- a/Types.hs
+++ b/Types.hs
@@ -10,6 +10,7 @@ module Types (
Backend,
Key,
UUID(..),
+ Config(..),
Remote,
RemoteType,
Option,
@@ -18,6 +19,7 @@ module Types (
import Annex
import Types.Backend
+import Types.Config
import Types.Key
import Types.UUID
import Types.Remote