Proof-of-concept module: use digestive functors for a command line interface prompt
- newtype Descriptions = Descriptions {
- unDescriptions :: Map FormId [String]
- type Prompt a = Form IO String String Descriptions a
- prompt :: String -> Prompt String
- promptRead :: Read a => String -> String -> Prompt a
- runPrompt :: Prompt a -> IO a