Toggle navigation
PAKCS
Module Coosy.Derive
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
derive
deriveFile
Imported modules:
Prelude
AbstractCurry.Types
AbstractCurry.Files
System
Char
Module
Coosy.Derive
Summary of exported operations:
derive
:: IO ()
deriveFile
:: String -> IO String
Exported operations:
derive
:: IO ()
deriveFile
:: String -> IO String