freec (Index)

freec

Index

Application	FreeC.Monad.Application
Backend
1 (Type/Class)	FreeC.Backend
2 (Data Constructor)	FreeC.Backend
BackendConverter	FreeC.Backend
backendConvertModule	FreeC.Backend
backendFileExtension	FreeC.Backend
backendName	FreeC.Backend
backends	FreeC.Backend
backendSpecialAction	FreeC.Backend
compiler	Main
convertInputModuleWith	Main
defaultBackend	FreeC.Backend
defaultFrontend	FreeC.Frontend
Frontend
1 (Type/Class)	FreeC.Frontend
2 (Data Constructor)	FreeC.Frontend
frontendName	FreeC.Frontend
frontendParseFile	FreeC.Frontend
FrontendParser	FreeC.Frontend
frontends	FreeC.Frontend
FrontendSimplifier	FreeC.Frontend
frontendSimplifyModule	FreeC.Frontend
getAndParseArgs	FreeC.Application.Options.Parser
getBinDir	Paths_free_compiler
getDataDir	Paths_free_compiler
getDataFileName	Paths_free_compiler
getDynLibDir	Paths_free_compiler
getLibDir	Paths_free_compiler
getLibexecDir	Paths_free_compiler
getOpts	FreeC.Monad.Application
getSysconfDir	Paths_free_compiler
inOpts	FreeC.Monad.Application
liftConverter	FreeC.Monad.Application
liftConverterIO	FreeC.Monad.Application
liftReporter	FreeC.Monad.Application
liftReporterIO	FreeC.Monad.Application
loadImport	Main
loadModule	Main
loadPrelude	Main
loadRequiredModules	Main
main	Main
makeDefaultOptions	FreeC.Application.Options
modifyOpts	FreeC.Monad.Application
modifyOpts'	FreeC.Monad.Application
optBackend	FreeC.Application.Options
optBaseLibDir	FreeC.Application.Options
optCreateAgdaLib	FreeC.Application.Options
optCreateCoqProject	FreeC.Application.Options
optDumpTransformedModulesDir	FreeC.Application.Options
optFrontend	FreeC.Application.Options
optImportDirs	FreeC.Application.Options
optInputFiles	FreeC.Application.Options
optionDescriptors	FreeC.Application.Options.Descriptors
Options
1 (Type/Class)	FreeC.Application.Options
2 (Data Constructor)	FreeC.Application.Options
optOutputDir	FreeC.Application.Options
optShowHelp	FreeC.Application.Options
optShowVersion	FreeC.Application.Options
optTransformPatternMatching	FreeC.Application.Options
parseArgs	FreeC.Application.Options.Parser
parseInputFileWith	Main
putDebug	FreeC.Application.Debug
putOpts	FreeC.Monad.Application
putUsageInfo	FreeC.Application.Option.Help
putVersionInfo	FreeC.Application.Option.Version
reportApp	FreeC.Monad.Application
runApp	FreeC.Monad.Application
selectBackend	Main
selectFrontend	Main
showBackends	FreeC.Backend
showFrontends	FreeC.Frontend
sortInputModules	Main
usageHeader	FreeC.Application.Option.Help
version	Paths_free_compiler
writeOutputModule	Main