Interfaces

The compiler maintains a global environment holding all (directly or indirectly) imported interface declarations for a module.

This module contains a function to load *all* interface declarations declared by the (directly or indirectly) imported modules, regardless whether they are included by the import specification or not.

The declarations are later brought into the scope of the module via the function importModules, see module Imports.

Interface files are updated by the Curry builder when necessary, see module CurryBuilder.

Documentation

loadInterfaces

Arguments

:: [FilePath]

FilePaths to search in for interfaces

-> Module a

Module header with import declarations

-> CYIO InterfaceEnv

Load the interfaces needed by a given module. This function returns an InterfaceEnv containing the Interfaces which were successfully loaded.