Documentation

type Trace a = NonEmptySep (OptStage, Hints) a Source #

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

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