idris-0.10.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Chaser

Documentation

buildTree :: [FilePath] -> [(FilePath, [ImportInfo])] -> FilePath -> Idris [ModuleTree] Source

getImports :: [(FilePath, [ImportInfo])] -> [FilePath] -> Idris [(FilePath, [ImportInfo])] Source

getModuleFiles :: [ModuleTree] -> [IFileType] Source

data ModuleTree Source

Constructors

MTree 

Fields

mod_path :: IFileType
 
mod_needsRecheck :: Bool
 
mod_time :: UTCTime
 
mod_deps :: [ModuleTree]
 

Instances