DDC.Driver.Command.Read

Documentation

cmdReadModule

Arguments

:: (Ord n, Show n, Pretty n, Pretty (err (AnTEC SourcePos n)), NFData n)

=> Config

Driver config.

-> Fragment n err

Language fragment.

-> FilePath

Path to the module.

-> IO (Maybe (Module (AnTEC SourcePos n) n))

Load and typecheck a module.

cmdReadModule'

Arguments

:: (Ord n, Show n, Pretty n, Pretty (err (AnTEC SourcePos n)), NFData n)

=> Bool

If true, print errors out

-> Config

Driver config

-> Fragment n err

Language fragment.

-> FilePath

Path to the module.

-> IO (Maybe (Module (AnTEC SourcePos n) n))