| Copyright | License : BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Chaser
Description
- buildTree :: [FilePath] -> [(FilePath, [ImportInfo])] -> FilePath -> Idris [ModuleTree]
- getImports :: [(FilePath, [ImportInfo])] -> [FilePath] -> Idris [(FilePath, [ImportInfo])]
- getModuleFiles :: [ModuleTree] -> [IFileType]
- data ModuleTree = MTree {
- mod_path :: IFileType
- mod_needsRecheck :: Bool
- mod_time :: UTCTime
- mod_deps :: [ModuleTree]
Documentation
Arguments
| :: [FilePath] | already guaranteed built |
| -> [(FilePath, [ImportInfo])] | import lists (don't reparse) |
| -> FilePath | |
| -> Idris [ModuleTree] |
getImports :: [(FilePath, [ImportInfo])] -> [FilePath] -> Idris [(FilePath, [ImportInfo])] Source #
getModuleFiles :: [ModuleTree] -> [IFileType] Source #
Given a module tree, return the list of files to be loaded. If any module has a descendent which needs reloading, return its source, otherwise return the IBC
data ModuleTree Source #
Constructors
| MTree | |
Fields
| |
Instances