Module RW.Monad

Exported datatypes:

Runtime data for the code generation:

Constructors:

• Runtime :: String -> [FunctionLayout] -> CurryProg -> [String] -> [String] -> Runtime

  Fields:

  • moduleName :: String
  • functionLayouts :: [FunctionLayout]
  • program :: CurryProg
  • errors :: [String]
  • illTypedDefintions :: [String]

Command line options:

Constructors:

• CLOptions :: Int -> Int -> String -> Bool -> Bool -> CLOptions

  Fields:

  • optStringLength :: Int
  • optAlphabetLength :: Int
  • optOutDir :: String
  • optGenOpsFile :: Bool
  • optHelp :: Bool

Constructor:

• RWM :: (Runtime -> (a,Runtime)) -> RWM a

  Fields:

  • runRWM :: (Runtime -> (a,Runtime))

A function layout describes how a function is generated.

Constructors:

• FunctionLayout :: String -> CTypeExpr -> FunctionGenerator -> FunctionLayout

  Fields:

  • funcName :: String
  • funcType :: CTypeExpr
  • funcGenerator :: FunctionGenerator

A function generator is a function that takes a type declaration and returns the appropriate function rule(s).

Type synonym: FunctionGenerator = CTypeDecl -> RWM [CRule]

Constructors:

• Naming :: String -> String -> String -> Naming

  Fields:

  • rwBaseModuleName :: String
  • rwClassName :: String
  • rwParametrizedModuleName :: String

Exported operations: