diff options
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 |