Documentation

test_inline ∷ TestTree Source #

testVarBeforeAfterEffects ∷ Assertion Source #

testVarIsEventuallyEvaluatedDelay ∷ Assertion Source #

testVarIsEventuallyEvaluatedLambda ∷ Assertion Source #

testVarIsEventuallyEvaluatedCaseBranch ∷ Assertion Source #

testEffectSafePreservedLogs ∷ Assertion Source #

testEffectSafeWithoutPreservedLogs ∷ Assertion Source #

runInlineWithoutLogging ∷ InlineM Name DefaultUni DefaultFun () r → r Source #

runInlineWithLogging ∷ InlineM Name DefaultUni DefaultFun () r → r Source #

runInlineM ∷ Bool → InlineM Name DefaultUni DefaultFun () r → r Source #

type T = Term Name DefaultUni DefaultFun () Source #

var ∷ Name → T Source #

lam ∷ Name → T → T Source #

app ∷ T → T → T Source #

delay ∷ T → T Source #

case_ ∷ T → [T] → T Source #

addInteger ∷ T → T → T Source #

builtin ∷ DefaultFun → T Source #

makeUniqueNames ∷ (Name, Name, Name, Name) Source #

name ∷ String → Int → Name Source #