CurryInfo: showflatcurry-3.0.0 / FlatCurry.ShowIntMod.showCurryModule

definition: Info
 
showCurryModule :: Prog -> String
showCurryModule (Prog mod imports types funcs ops) = unlines $
  ["module " ++ mod ++ "(" ++ showTypeExports types ++
   showFuncExports funcs ++ ") where\n"] ++
  concatMap showInterfaceImport imports ++ [""] ++
  map showInterfaceOpDecl ops ++
  (if null ops then [] else [""]) ++
  map (showCurryDataDecl (showQNameInModule mod)) types
  ++ [""] ++
  map (showCurryFuncDecl (showQNameInModule mod)
                         (showQNameInModule mod)) funcs
demand: Info
 argument 1
deterministic: Info
 deterministic operation
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({Prog}) |-> _}
name: Info
 showCurryModule
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 FlatCurry.Types.Prog -> String
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term