unison-parser-typechecker-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Runtime

Documentation

type Error = Pretty ColorText Source #

type Term v = Term v () Source #

data CompileOpts Source #

Constructors

COpts
Fields profile :: Bool

defaultCompileOpts :: CompileOpts Source #

data Runtime v Source #

Constructors

Runtime
Fields terminate :: IO () evaluate :: CodeLookup v IO () -> PrettyPrintEnv -> Term v -> IO (Either Error ([Error], Term v)) compileTo :: CompileOpts -> CodeLookup v IO () -> PrettyPrintEnv -> Reference -> FilePath -> IO (Maybe Error) mainType :: Type v Ann ioTestTypes :: NESet (Type v Ann)

type IsCacheHit = Bool Source #

noCache :: Id -> IO (Maybe (Term v)) Source #

type WatchResults v a = Either Error ([(v, Term v)], [Error], Map v (a, WatchKind, Id, Term v, Term v, IsCacheHit)) Source #

evaluateWatches :: forall v a. Var v => CodeLookup v IO a -> PrettyPrintEnv -> (Id -> IO (Maybe (Term v))) -> Runtime v -> TypecheckedUnisonFile v a -> IO (WatchResults v a) Source #

evaluateTerm' :: (Var v, Monoid a) => CodeLookup v IO a -> (Id -> IO (Maybe (Term v))) -> PrettyPrintEnv -> Runtime v -> Term v a -> IO (Either Error ([Error], Term v)) Source #

evaluateTerm :: (Var v, Monoid a) => CodeLookup v IO a -> PrettyPrintEnv -> Runtime v -> Term v a -> IO (Either Error ([Error], Term v)) Source #