CurryInfo: currydoc-4.0.0 / CurryDoc.Main.main

definition:
main :: IO ()
main = do
  args <- getArgs
  putStrLn banner
  processArgs defaultCurryDocOptions args
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--------------------------------------------------------------------------
-- Check arguments and call main function:
indeterministic:
might be indeterministic
infix:
no fixity defined
iotype:
{() |-> _}
name:
main
precedence:
no precedence defined
result-values:
_
signature:
Prelude.IO ()
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
possibly non-reducible on same data term