Idris.ProcessIdr

Definitions

missingIncremental : Ref Ctxt Defs => String -> Core Bool

Visibility: export

addImport : Ref Ctxt Defs => Ref UST UState => Ref Syn SyntaxInfo => Import -> Core ()

  Adds new import to the namespace without changing the current top-level namespace

Visibility: export

readPrelude : Ref Ctxt Defs => Ref UST UState => Ref Syn SyntaxInfo => Bool -> Core ()

Visibility: export

readAsMain : Ref Ctxt Defs => Ref UST UState => Ref Syn SyntaxInfo => String -> Core ()

Visibility: export

readHeader : Ref Ctxt Defs => Ref ROpts REPLOpts => String -> ModuleIdent -> Core Module

Visibility: export

addPublicHash : Ref Ctxt Defs => (Bool, (Namespace, Int)) -> Core ()

Visibility: export

isTTCOutdated : Ref Ctxt Defs => String -> List String -> Core Bool

  Determine if the TTC is outdated based on any of the given
  source or dependency source file names.

Visibility: export

unchangedHash : Maybe String -> String -> String -> Core Bool

  If the source files hash hasn't changed

Visibility: export

getCG : Ref ROpts REPLOpts => CG -> Core (Maybe Codegen)

Visibility: export

findCG : Ref ROpts REPLOpts => Ref Ctxt Defs => Core (Maybe Codegen)

Visibility: export

process : Ref Ctxt Defs => Ref MD Metadata => Ref UST UState => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Doc IdrisAnn -> Doc IdrisAnn -> FileName -> ModuleIdent -> Core (List Error)

Visibility: export