| definition: |
generateOperations :: CLOptions -> CurryProg
generateOperations (CLOptions sl al _ _ _) =
CurryProg (modName) [baseModName] Nothing [] [] [] fs []
where
fs = [cfunc (modName, "writeDataFile") 1 Public qt1 [r1],
cfunc (modName, "showData") 1 Public qt2 [r2],
cfunc (modName, "readData") 1 Public qt3 [r3],
cfunc (modName, "readDataFile") 1 Public qt4 [r4],
stCmtFunc
("The parameters of the show/write operations:\n" ++
"minimum length of extract strings and alphabet length.")
paramsName 0 Public
(baseType (baseModName, "RWParameters")) [r5]]
context = CContext [((baseModName, "ReadWrite"), [genericTypeVariable])] -- ReadWrite a =>
qt1 = CQualType context (stringType ~> genericTypeVariable ~> ioType unitType) -- String -> a -> IO ()
qt2 = CQualType context (genericTypeVariable ~> stringType) -- a -> String
qt3 = CQualType context (stringType ~> maybeType genericTypeVariable) -- String -> Maybe a
qt4 = CQualType context (stringType ~> ioType (maybeType genericTypeVariable)) -- String -> IO (Maybe a)
r1 = CRule [] $ simpleRhs (applyF (baseModName, "writeDataFileP")
[CSymbol paramsName])
r2 = CRule [] $ simpleRhs (applyF (baseModName, "showDataP")
[CSymbol paramsName])
r3 = CRule [] $ simpleRhs (constF (baseModName, baseModName ++ ".readData"))
r4 = CRule [] $ simpleRhs (constF (baseModName, baseModName ++ ".readDataFile"))
r5 = CRule [] $ simpleRhs (applyF (baseModName, "RWParameters ")
[cInt sl, cInt al])
modName = rwParametrizedModuleName rwNaming
baseModName = rwBaseModuleName rwNaming
paramsName = (modName, "rwParams")
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- Based on the command line options, this function generates a module --- containing specific parametrized versions of the write and show functions. |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({CLOptions}) |-> {CurryProg}}
|
| name: |
generateOperations |
| precedence: |
no precedence defined |
| result-values: |
{CurryProg}
|
| signature: |
RW.Monad.CLOptions -> AbstractCurry.Types.CurryProg |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |