MaintainerCS 131, Programming Languages (Melissa O'Neill, Chris Stone, Ben Wiedermann)
Safe HaskellNone

Main

Description

You do not need to edit this file, nor do you need to even read it, if you don't want. But you might find it interesting anyway.

Synopsis

Documentation

preludeFile :: String #

The name of the Moses prelude file

loadPrelude :: IO (TyEnv, Bindings) #

Read the prelude file and create type and binding information

runfile :: String -> IO Value #

Run a Moses file with a given file name

run :: String -> IO Value #

Run Moses from stdin

runNamed :: String -> String -> IO Value #

Run a named Moses input stream

mosesREPL :: IO () #

A read-eval-print loop for Moses

readEvalPrint :: String -> (String -> IO a) -> IO () #

A generic read-eval-print loop

main :: IO () #