curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language

Copyright(c) 1999 - 2004 Wolfgang Lux
2005 Martin Engelke
2007 Sebastian Fischer
2011 - 2015 Björn Peemöller
2016 Jan Tikovsky
LicenseBSD-3-clause
Maintainerbjp@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) Source #

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

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

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

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