curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 1999 - 2004 Wolfgang Lux
2005 Martin Engelke
2007 Sebastian Fischer
2011 - 2015 Björn Peemöller
2016 Jan Tikovsky
2016 - 2017 Finn Teegen
2018 Kai-Oliver Prott
LicenseBSD-3-clause
Maintainerfte@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Modules

Description

This module controls the compilation of modules.

Documentation

compileModule :: Options -> ModuleIdent -> FilePath -> CYIO () Source #

loadAndCheckModule :: Options -> ModuleIdent -> FilePath -> CYIO (CompEnv (Module PredType)) Source #

loadModule :: Options -> ModuleIdent -> FilePath -> CYIO (CompEnv (Module ())) Source #

checkModule :: Options -> CompEnv (Module ()) -> CYIO (CompEnv (Module PredType)) Source #

parseModule :: Options -> ModuleIdent -> FilePath -> CYIO ([(Span, Token)], Module ()) Source #

checkModuleHeader :: Monad m => Options -> ModuleIdent -> FilePath -> Module () -> CYT m (Module ()) Source #