Documentation

type Runtime = Runtime Error DecompError Source #

pattern Runtime :: forall {e} {e'} {v}. IO () -> (CodeLookup v IO () -> PrettyPrintEnv -> ProfileSpec -> Term v -> IO (Either e (Response e', Term v))) -> (CompileOpts -> CodeLookup v IO () -> PrettyPrintEnv -> Reference -> FilePath -> IO (Maybe e)) -> Type v Ann -> NESet (Type v Ann) -> Runtime e e' v Source #

$sel:terminate:Runtime :: Runtime e e' v -> IO () Source #

$sel:evaluate:Runtime :: Runtime e e' v -> CodeLookup v IO () -> PrettyPrintEnv -> ProfileSpec -> Term v -> IO (Either e (Response e', Term v)) Source #

$sel:compileTo:Runtime :: Runtime e e' v -> CompileOpts -> CodeLookup v IO () -> PrettyPrintEnv -> Reference -> FilePath -> IO (Maybe e) Source #

$sel:mainType:Runtime :: Runtime e e' v -> Type v Ann Source #

$sel:ioTestTypes:Runtime :: Runtime e e' v -> NESet (Type v Ann) Source #

data Error Source #