Documentation

test_evaluateBuiltins ∷ TestTree Source #

goldenVsEvaluated ∷ Bool → String → Term Name DefaultUni DefaultFun () → TestTree Source #

runEvaluateBuiltins ∷ Bool → Term Name DefaultUni DefaultFun () → Term Name DefaultUni DefaultFun () Source #

addIntegerTerm ∷ Term Name DefaultUni DefaultFun () Source #

ifThenElseTerm ∷ Term Name DefaultUni DefaultFun () Source #

traceTerm ∷ Term Name DefaultUni DefaultFun () Source #

failingBuiltinTerm ∷ Term Name DefaultUni DefaultFun () Source #

nonConstantArgTerm ∷ Term Name DefaultUni DefaultFun () Source #

overApplicationTerm ∷ Term Name DefaultUni DefaultFun () Source #

underApplicationTerm ∷ Term Name DefaultUni DefaultFun () Source #

uncompressBlsG2Term ∷ Term Name DefaultUni DefaultFun () Source #

uncompressAndEqualBlsTerm ∷ Term Name DefaultUni DefaultFun () Source #

decodeHex ∷ String → ByteString Source #