idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

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

Show ModuleTree