| definition: |
runModuleAction :: (String -> IO a) -> String -> IO a runModuleAction = runModuleActionWith False |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
------------------------------------------------------------------------------ --- Executes an I/O action, which is parameterized over a module name, --- for a given program name. If the program name is prefixed by a directory, --- switch to this directory before executing the action, report --- this switch on stdout, and switch back after the action. --- A possible suffix like `.curry` or `.lcurry` is dropped from the --- module name passed to the action. --- An error is raised if the module name is not valid. |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {runModuleActionWith}}
|
| name: |
runModuleAction |
| precedence: |
no precedence defined |
| result-values: |
{runModuleActionWith}
|
| signature: |
(String -> Prelude.IO a) -> String -> Prelude.IO a |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |