CurryInfo: verify-3.1.0 / VerifyPackageConfig.getPackageLoadPath

definition: Info 
 
getPackageLoadPath :: IO [String]
getPackageLoadPath = do
  pp <- getPackagePath
  return [pp ++ "/src", pp ++ "/.cpm/packages/peano-1.1.0/src", pp ++ "/.cpm/packages/rewriting-3.0.0/src", pp ++ "/.cpm/packages/searchtree-extra-1.0.0/src", pp ++ "/.cpm/packages/easycheck-3.2.0/src", pp ++ "/.cpm/packages/curry-ast-3.1.0/src", pp ++ "/.cpm/packages/exact-print-2.0.0/src", pp ++ "/.cpm/packages/curry-source-1.2.0/src", pp ++ "/.cpm/packages/contracts-3.1.0/src", pp ++ "/.cpm/packages/ansi-terminal-3.0.0/src", pp ++ "/.cpm/packages/currycheck-4.0.0/src", pp ++ "/.cpm/packages/det-parse-3.0.0/src", pp ++ "/.cpm/packages/json-3.0.0/src", pp ++ "/.cpm/packages/socket-3.0.0/src", pp ++ "/.cpm/packages/csv-3.0.0/src", pp ++ "/.cpm/packages/cpm-query-0.1.0/src", pp ++ "/.cpm/packages/cass-4.1.0/src", pp ++ "/.cpm/packages/scc-3.0.0/src", pp ++ "/.cpm/packages/xml-3.0.0/src", pp ++ "/.cpm/packages/transformers-3.0.0/src", pp ++ "/.cpm/packages/extra-3.0.0/src", pp ++ "/.cpm/packages/string-trie-0.0.2/src", pp ++ "/.cpm/packages/rw-data-1.1.0/src", pp ++ "/.cpm/packages/redblacktree-3.0.0/src", pp ++ "/.cpm/packages/profiling-3.0.0/src", pp ++ "/.cpm/packages/flatcurry-4.0.0/src", pp ++ "/.cpm/packages/containers-3.0.0/src", pp ++ "/.cpm/packages/cass-analysis-4.0.0/src", pp ++ "/.cpm/packages/read-legacy-3.0.0/src", pp ++ "/.cpm/packages/random-3.0.0/src", pp ++ "/.cpm/packages/queue-3.0.0/src", pp ++ "/.cpm/packages/wl-pprint-3.0.0/src", pp ++ "/.cpm/packages/frontend-exec-3.3.0/src", pp ++ "/.cpm/packages/propertyfile-3.0.0/src", pp ++ "/.cpm/packages/process-3.0.0/src", pp ++ "/.cpm/packages/io-extra-3.0.0/src", pp ++ "/.cpm/packages/execpath-3.0.0/src", pp ++ "/.cpm/packages/time-3.0.0/src", pp ++ "/.cpm/packages/filepath-3.0.0/src", pp ++ "/.cpm/packages/directory-3.0.0/src", pp ++ "/.cpm/packages/currypath-3.0.0/src", pp ++ "/.cpm/packages/abstract-curry-4.0.0/src"]
demand: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
documentation: Info 
 
Returns the load path for the package (if it is the main package).
failfree: Info 
 ()
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {() |-> _}
name: Info 
 getPackageLoadPath
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 Prelude.IO [String]
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 reducible on all ground data terms