idris-0.9.17: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Chaser

Documentation

buildTree :: [FilePath] -> FilePath -> Idris [ModuleTree] Source

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

data ModuleTree Source

Constructors

MTree 

Fields

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

Instances