unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.Runtime

Documentation

data Response e Source #

Constructors

DecompErrs [e] 
Profile (Pretty ColorText) 
EmptyResponse 

Instances

Instances details
Monoid (Response e) Source # 
Instance details

Defined in Unison.Codebase.Runtime

Methods

mempty :: Response e #

mappend :: Response e -> Response e -> Response e #

mconcat :: [Response e] -> Response e #

Semigroup (Response e) Source # 
Instance details

Defined in Unison.Codebase.Runtime

Methods

(<>) :: Response e -> Response e -> Response e #

sconcat :: NonEmpty (Response e) -> Response e #

stimes :: Integral b => b -> Response e -> Response e #

type Term v = Term v () Source #

data CompileOpts Source #

Constructors

COpts 

Fields

defaultCompileOpts :: CompileOpts Source #

data Runtime e e' v Source #

Constructors

Runtime 

Fields

type IsCacheHit = Bool Source #

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

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

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

evaluateTerm' :: (Var v, Monoid a) => CodeLookup v IO a -> (Id -> IO (Maybe (Term v))) -> PrettyPrintEnv -> ProfileSpec -> Runtime e e' v -> Term v a -> IO (Either e (Response e', Term v)) Source #

evaluateTerm :: (Var v, Monoid a) => CodeLookup v IO a -> PrettyPrintEnv -> ProfileSpec -> Runtime e e' v -> Term v a -> IO (Either e (Response e', Term v)) Source #