CurryInfo: cpm-query-0.1.0 / CPM.Query.Options.getDefaultOptions

definition: Info
 
getDefaultOptions :: IO Options
getDefaultOptions = do
  rcprops <- readRC
  return $
    defaultOptions
      { optCRequests = readReqs (rcValue rcprops "classrequests")
      , optTRequests = readReqs (rcValue rcprops "typerequests")
      , optORequests = readReqs (rcValue rcprops "operationrequests")
      , optShowAll   = if rcValue rcprops "showall"== "yes" then True else False
      , optRemote    = if rcValue rcprops "remote" == "yes" then True else False
      , optRemoteURL = let rcurl = rcValue rcprops "curryinfourl"
                       in if null rcurl then curryInfoURL else rcurl
      }
 where
  readReqs s = if null s then [] else splitOn "," s
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
The default options with values from the RC file taken into account.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {() |-> _}
name: Info
 getDefaultOptions
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Prelude.IO Options
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term