Documentation

type TraceElem a = (OptStage, (Hints, (a, a))) Source #

type Trace a = [TraceElem a] Source #

mkFfiOptimizerTrace ∷ OptimizerTrace Name DefaultUni DefaultFun a → Trace UTerm Source #

toEvalResult ∷ Maybe (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) → ExBudget → EvalResult Source #