Language.PureScript

The main compiler module

Documentation

compile :: Options Compile -> [Module] -> [String] -> Either String (String, String, Environment)

Compile a collection of modules

The compilation pipeline proceeds as follows:

• Sort the modules based on module dependencies, checking for cyclic dependencies.
• Perform a set of desugaring passes.
• Type check, and elaborate values to include type annotations and type class dictionaries.
• Regroup values to take into account new value dependencies introduced by elaboration.
• Eliminate dead code.
• Generate Javascript, and perform optimization passes.
• Pretty-print the generated Javascript

compile' :: Environment -> Options Compile -> [Module] -> [String] -> Either String (String, String, Environment)

data RebuildPolicy

Determines when to rebuild a module

Constructors

RebuildNever

Never rebuild this module

RebuildAlways

Always rebuild this module

Instances

Eq RebuildPolicy

Ord RebuildPolicy

Show RebuildPolicy

class MonadMake m where

A type class which collects the IO actions we need to be able to run in "make" mode

Methods

getTimestamp :: FilePath -> m (Maybe UTCTime)

Get a file timestamp

readTextFile :: FilePath -> m String

Read a file as a string

writeTextFile :: FilePath -> String -> m ()

Write a text file

liftError :: Either String a -> m a

Report an error

progress :: String -> m ()

Respond to a progress update

make :: (Functor m, Applicative m, Monad m, MonadMake m) => FilePath -> Options Make -> [(Either RebuildPolicy FilePath, Module)] -> [String] -> m Environment

Compiles in "make" mode, compiling each module separately to a js files and an externs file

If timestamps have not changed, the externs file can be used to provide the module's types without having to typecheck the module again.

prelude :: String