unison-cli-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Editor.HandleInput.RuntimeUtils

Synopsis

evalUnisonTerm :: EvalMode -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Term Symbol Ann)
evalUnisonTermE :: EvalMode -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann))
evalPureUnison :: Bool -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann))
displayDecompileErrors :: [Error] -> Cli ()
selectRuntime :: EvalMode -> Cli (Runtime Symbol)
data EvalMode
- = Sandboxed
- | Permissive
- | Native

Documentation

evalUnisonTerm :: EvalMode -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Term Symbol Ann) Source #

Evaluate a single closed definition.

evalUnisonTermE :: EvalMode -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann)) Source #

Evaluate a single closed definition.

evalPureUnison :: Bool -> PrettyPrintEnv -> Bool -> Term Symbol Ann -> Cli (Either Error (Term Symbol Ann)) Source #

displayDecompileErrors :: [Error] -> Cli () Source #

selectRuntime :: EvalMode -> Cli (Runtime Symbol) Source #

data EvalMode Source #

Constructors

Sandboxed
Permissive
Native