Module Coosy.Derive
Imports
Operations
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Exported names:
Operations:
derive
deriveFile
Imported modules:
Prelude
Control.Monad
Data.Char
Data.List
System.Environment
AbstractCurry.Types
AbstractCurry.Files
AbstractCurry.Select
System.CurryPath
System.Process
Module
Coosy.Derive
Summary of exported operations:
derive
:: IO ()
deriveFile
:: String -> IO String
Exported operations:
derive
:: IO ()
deriveFile
:: String -> IO String