Adds GHCup.Prompt modules and its types to project

ghcup.cabal

@@ -69,12 +69,14 @@ library
     GHCup.Prelude.Process
     GHCup.Prelude.String.QQ
     GHCup.Prelude.Version.QQ
+    GHCup.Prompts
     GHCup.Requirements
     GHCup.Stack
     GHCup.Types
     GHCup.Types.JSON
     GHCup.Types.JSON.Utils
     GHCup.Types.Optics
+    GHCup.Types.Prompts
     GHCup.Utils
     GHCup.Utils.Dirs
     GHCup.Version

lib/GHCup/Prompts.hs

@@ -0,0 +1,20 @@
+{-# LANGUAGE OverloadedStrings #-}
+module GHCup.Prompts
+  (module GHCup.Types.Prompts,
+   getUserPromptResponse)
+where
+
+import GHCup.Types.Prompts
+import qualified Data.Text.IO as TIO
+import Control.Monad.IO.Class (MonadIO, liftIO)
+
+putPrompt :: MonadIO m => PromptQuestion -> m ()
+putPrompt prompt = liftIO $ TIO.putStrLn prompt
+
+getUserPromptResponse :: (MonadIO m) => PromptQuestion -> m PromptResponse
+getUserPromptResponse prompt = do
+  putPrompt prompt
+  resp <- liftIO TIO.getLine
+  if resp `elem` ["YES", "yes", "y", "Y"]
+    then pure PromptYes
+    else pure PromptNo

lib/GHCup/Types/Prompts.hs

@@ -0,0 +1,8 @@
+module GHCup.Types.Prompts where
+
+import Data.Text (Text)
+
+type PromptQuestion = Text
+
+data PromptResponse = PromptYes | PromptNo
+  deriving (Show, Eq)