diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-08-17 14:28:33 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-08-17 14:28:33 -0400 |
commit | f60ac335e4e827fd242ab22539adb49f26e2c319 (patch) | |
tree | 255e16e03210b9ccb6faf72b4afd29b7262f42d9 /Types/UI.hs | |
parent | b474ab87ae45ed77f42eb41f658a55262bd92217 (diff) | |
download | keysafe-f60ac335e4e827fd242ab22539adb49f26e2c319.tar.gz |
add progress bars to restore
also, restore actually works!
Diffstat (limited to 'Types/UI.hs')
-rw-r--r-- | Types/UI.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Types/UI.hs b/Types/UI.hs index 0a0c789..7508293 100644 --- a/Types/UI.hs +++ b/Types/UI.hs @@ -3,6 +3,8 @@ - Licensed under the GNU AGPL version 3 or higher. -} +{-# LANGUAGE RankNTypes #-} + module Types.UI where import Types @@ -14,7 +16,7 @@ data UI = UI , promptName :: Title -> Desc -> Name -> (Name -> Maybe Problem) -> IO (Maybe Name) , promptPassword :: Bool -> Title -> Desc -> IO (Maybe Password) , promptKeyId :: Title -> Desc -> [(Name, KeyId)] -> IO (Maybe KeyId) - , withProgress :: Title -> Desc -> ((Percent -> IO ()) -> IO ()) -> IO () + , withProgress :: forall a. Title -> Desc -> ((Percent -> IO ()) -> IO a) -> IO a } type Title = String |