idris-1.1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Chaser

Description

 

Synopsis

Documentation

buildTree Source #

Arguments

:: [FilePath]

already guaranteed built

-> [(FilePath, [ImportInfo])]

import lists (don't reparse)

-> FilePath 
-> Idris [ModuleTree] 

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