Exported names:
- Operations:
- checkFirstArg
- execAndDeleteCurryProgram
- execCurryProgram
- execOrJIT
- getNewProgramName
- isExecutable
- isHashJITOption
- main
- noHashLine
- replOpts
- saveCurryProgram
- stripSpaces
- usageMsg
Imported modules:

Module RunCurry

This program implements the runcurry command that allows to run a Curry program without explicitly invoking the REPL.

Basically, it has three modes of operation:

execute the main operation of a Curry program whose file name is provided as an argument
execute the main operation of a Curry program whose program text comes from the standard input
execute the main operation of a Curry program whose program text is in a script file (starting with #!/usr/bin/env runcurry). If the script file contains the line #jit, it is compiled and saved as an executable so that it is faster executed when called the next time.

Note that the runcurry command is intended to compile simple Curry programs which use only base libraries but not other Curry packages. Otherwise, one has to adapt the constant replOpts below.

Author: Michael Hanus

Version: March 2024

Summary of exported operations:

replOpts
                  ::  String

main
                  ::  IO ()

usageMsg
                  ::  String

checkFirstArg
                  ::  [String] -> [String] -> IO ()

execOrJIT
                  ::  String -> String -> String -> [String] -> [String] -> IO Int

isHashJITOption
                  ::  String -> Bool

noHashLine
                  ::  String -> Bool

getNewProgramName
                  ::  IO String

isExecutable
                  ::  String -> IO Bool

saveCurryProgram
                  ::  String -> [String] -> String -> IO Int

execCurryProgram
                  ::  String -> [String] -> [String] -> IO Int

execAndDeleteCurryProgram
                  ::  String -> [String] -> [String] -> IO Int

stripSpaces
                  ::  String -> String

Exported operations:

replOpts :: String

Further infos:

solution complete, i.e., able to compute all solutions

main :: IO ()

usageMsg :: String

checkFirstArg :: [String] -> [String] -> IO ()

execOrJIT :: String -> String -> String -> [String] -> [String] -> IO Int

isHashJITOption :: String -> Bool

noHashLine :: String -> Bool

getNewProgramName :: IO String

isExecutable :: String -> IO Bool

saveCurryProgram :: String -> [String] -> String -> IO Int

execCurryProgram :: String -> [String] -> [String] -> IO Int

execAndDeleteCurryProgram :: String -> [String] -> [String] -> IO Int

stripSpaces :: String -> String

Exported names:

Imported modules:

Summary of exported operations:

Exported operations: