CurryDeps

This module implements the functions to compute the dependency information between Curry modules. This is used to create Makefile dependencies and to update programs composed of multiple modules.

Documentation

data Source

Different types of source files

Constructors

Source FilePath [ModulePragma] [ModuleIdent]

A source file with pragmas and module imports

Interface FilePath

An interface file

Unknown

An unknown file

Instances

Eq Source

Defined in CurryDeps

Methods

(==) :: Source -> Source -> Bool

(/=) :: Source -> Source -> Bool

Show Source

Defined in CurryDeps

Methods

showsPrec :: Int -> Source -> ShowS

show :: Source -> String

showList :: [Source] -> ShowS

flatDeps :: Options -> FilePath -> CYIO [(ModuleIdent, Source)]

Retrieve the dependencies of a source file in topological order and possible errors during flattering

deps :: Options -> SourceEnv -> FilePath -> CYIO SourceEnv

Retrieve the dependencies of a source file as a SourceEnv

flattenDeps :: SourceEnv -> ([(ModuleIdent, Source)], [Message])

sourceDeps :: Options -> SourceEnv -> FilePath -> CYIO SourceEnv

Retrieve the dependencies of a given source file

moduleDeps :: Options -> SourceEnv -> FilePath -> Module a -> CYIO SourceEnv

Retrieve the dependencies of a given module