idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Chaser

Description

 
Synopsis

Documentation

buildTree Source #

Arguments

:: [FilePath]

already guaranteed built

-> [(FilePath, [ImportInfo])]

import lists (don't reparse)

-> FilePath 
-> Idris [ModuleTree] 

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

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

data ModuleTree Source #

Constructors

MTree 

Fields

Instances

Instances details
Show ModuleTree Source # 
Instance details

Defined in Idris.Chaser

Methods

showsPrec :: Int -> ModuleTree -> ShowS

show :: ModuleTree -> String

showList :: [ModuleTree] -> ShowS