Safe Haskell | None |
---|
Documentation
buildTree :: [FilePath] -> FilePath -> Idris [ModuleTree]Source
getModuleFiles :: [ModuleTree] -> [IFileType]Source
data ModuleTree Source
MTree | |
|
Show ModuleTree |
Safe Haskell | None |
---|
buildTree :: [FilePath] -> FilePath -> Idris [ModuleTree]Source
getModuleFiles :: [ModuleTree] -> [IFileType]Source
data ModuleTree Source
MTree | |
|
Show ModuleTree |