CurryInfo: currypath-3.0.0 / System.CurryPath.lookupModuleSource

 
lookupModuleSource :: [String] -> String -> IO (Maybe (String,String))
lookupModuleSource loadpath mods =
  if isValidModuleName mod
    then lookupSourceInPath loadpath
    else return Nothing
 where
  mod      = stripCurrySuffix mods
  fnlcurry = modNameToPath mod ++ ".lcurry"
  fncurry  = modNameToPath mod ++ ".curry"

  lookupSourceInPath [] = return Nothing
  lookupSourceInPath (dir:dirs) = do
    lcurryExists <- doesFileExist (dir </> fnlcurry)
    if lcurryExists
      then return (Just (dir, dir </> fnlcurry))
      else do
        curryExists <- doesFileExist (dir </> fncurry)
        if curryExists then return (Just (dir, dir </> fncurry))
                       else lookupSourceInPath dirs

 no demanded arguments

 deterministic operation

 
Returns a directory name and the actual source file name for
a given module name (where a possible `curry` suffix is stripped off)
by looking up the module source in the load path provided as the
first argument.
If the module is hierarchical, the directory is the top directory
of the hierarchy.
Returns Nothing if there is no corresponding source file.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_) |-> _}

 lookupModuleSource

 no precedence defined

 _

 [String] -> String -> Prelude.IO (Prelude.Maybe (String, String))

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term