getOpt package:what4

getOpt :: Opt tp a => OptionSetting tp -> IO a
what4 What4.Config
Get the current value of an option. Throw an exception if the option is not currently set.
getOption :: OptionSetting (tp :: BaseType) -> IO (Maybe (ConcreteVal tp))
what4 What4.Config
getOptionSetting :: ConfigOption tp -> Config -> IO (OptionSetting tp)
what4 What4.Config
Given a ConfigOption name, produce an OptionSetting object for accessing and setting the value of that option. An exception is thrown if the named option cannot be found the Config object, or if a type mismatch occurs.
getOptionSettingFromText :: Text -> Config -> IO (Some OptionSetting)
what4 What4.Config
Given a text name, produce an OptionSetting object for accessing and setting the value of that option. An exception is thrown if the named option cannot be found.