2017-12-17 13:20:03 +08:00
|
|
|
package eval
|
|
|
|
|
|
|
|
import (
|
2021-06-04 10:51:38 +08:00
|
|
|
"fmt"
|
2021-04-04 07:58:53 +08:00
|
|
|
"math"
|
|
|
|
"math/big"
|
2017-12-17 13:20:03 +08:00
|
|
|
"math/rand"
|
2021-06-14 05:54:47 +08:00
|
|
|
"strconv"
|
2022-08-07 18:32:52 +08:00
|
|
|
"time"
|
2018-02-15 17:09:12 +08:00
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
"src.elv.sh/pkg/eval/errs"
|
2021-01-27 09:28:38 +08:00
|
|
|
"src.elv.sh/pkg/eval/vals"
|
2017-12-17 13:20:03 +08:00
|
|
|
)
|
|
|
|
|
|
|
|
// Numerical operations.
|
|
|
|
|
2020-08-17 01:46:29 +08:00
|
|
|
func init() {
|
2022-03-20 23:50:25 +08:00
|
|
|
addBuiltinFns(map[string]any{
|
2020-08-17 01:46:29 +08:00
|
|
|
// Constructor
|
2022-04-09 18:45:15 +08:00
|
|
|
"num": num,
|
|
|
|
"exact-num": exactNum,
|
|
|
|
"inexact-num": inexactNum,
|
2020-08-17 01:46:29 +08:00
|
|
|
|
|
|
|
// Comparison
|
|
|
|
"<": lt,
|
|
|
|
"<=": le,
|
|
|
|
"==": eqNum,
|
|
|
|
"!=": ne,
|
|
|
|
">": gt,
|
|
|
|
">=": ge,
|
|
|
|
|
2020-10-06 02:35:52 +08:00
|
|
|
// Arithmetic
|
2021-04-04 07:58:53 +08:00
|
|
|
"+": add,
|
|
|
|
"-": sub,
|
|
|
|
"*": mul,
|
|
|
|
// Also handles cd /
|
2020-08-17 01:46:29 +08:00
|
|
|
"/": slash,
|
2021-04-04 07:58:53 +08:00
|
|
|
"%": rem,
|
2020-08-17 01:46:29 +08:00
|
|
|
|
|
|
|
// Random
|
2022-08-07 18:32:52 +08:00
|
|
|
"rand": rand.Float64,
|
|
|
|
"randint": randint,
|
|
|
|
"-randseed": randseed,
|
2021-12-26 20:18:28 +08:00
|
|
|
|
|
|
|
"range": rangeFn,
|
2020-08-17 01:46:29 +08:00
|
|
|
})
|
2022-08-07 18:32:52 +08:00
|
|
|
|
|
|
|
// For rand and randint.
|
|
|
|
rand.Seed(time.Now().UTC().UnixNano())
|
2020-08-17 01:46:29 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func num(n vals.Num) vals.Num {
|
|
|
|
// Conversion is actually handled in vals/conversion.go.
|
|
|
|
return n
|
|
|
|
}
|
|
|
|
|
2021-04-07 14:05:08 +08:00
|
|
|
func exactNum(n vals.Num) (vals.Num, error) {
|
|
|
|
if f, ok := n.(float64); ok {
|
|
|
|
r := new(big.Rat).SetFloat64(f)
|
|
|
|
if r == nil {
|
|
|
|
return nil, errs.BadValue{What: "argument here",
|
|
|
|
Valid: "finite float", Actual: vals.ToString(f)}
|
|
|
|
}
|
|
|
|
return r, nil
|
|
|
|
}
|
|
|
|
return n, nil
|
|
|
|
}
|
|
|
|
|
2022-04-09 18:45:15 +08:00
|
|
|
func inexactNum(f float64) float64 {
|
|
|
|
return f
|
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func lt(nums ...vals.Num) bool {
|
2021-04-05 08:50:22 +08:00
|
|
|
return chainCompare(nums,
|
|
|
|
func(a, b int) bool { return a < b },
|
|
|
|
func(a, b *big.Int) bool { return a.Cmp(b) < 0 },
|
|
|
|
func(a, b *big.Rat) bool { return a.Cmp(b) < 0 },
|
|
|
|
func(a, b float64) bool { return a < b })
|
|
|
|
|
2018-03-03 12:30:03 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func le(nums ...vals.Num) bool {
|
2021-04-05 08:50:22 +08:00
|
|
|
return chainCompare(nums,
|
|
|
|
func(a, b int) bool { return a <= b },
|
|
|
|
func(a, b *big.Int) bool { return a.Cmp(b) <= 0 },
|
|
|
|
func(a, b *big.Rat) bool { return a.Cmp(b) <= 0 },
|
|
|
|
func(a, b float64) bool { return a <= b })
|
2018-03-03 12:30:03 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func eqNum(nums ...vals.Num) bool {
|
2021-04-05 08:50:22 +08:00
|
|
|
return chainCompare(nums,
|
|
|
|
func(a, b int) bool { return a == b },
|
|
|
|
func(a, b *big.Int) bool { return a.Cmp(b) == 0 },
|
|
|
|
func(a, b *big.Rat) bool { return a.Cmp(b) == 0 },
|
|
|
|
func(a, b float64) bool { return a == b })
|
2018-03-03 12:30:03 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func ne(nums ...vals.Num) bool {
|
2021-04-05 08:50:22 +08:00
|
|
|
return chainCompare(nums,
|
|
|
|
func(a, b int) bool { return a != b },
|
|
|
|
func(a, b *big.Int) bool { return a.Cmp(b) != 0 },
|
|
|
|
func(a, b *big.Rat) bool { return a.Cmp(b) != 0 },
|
|
|
|
func(a, b float64) bool { return a != b })
|
2018-03-03 12:30:03 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func gt(nums ...vals.Num) bool {
|
2021-04-05 08:50:22 +08:00
|
|
|
return chainCompare(nums,
|
|
|
|
func(a, b int) bool { return a > b },
|
|
|
|
func(a, b *big.Int) bool { return a.Cmp(b) > 0 },
|
|
|
|
func(a, b *big.Rat) bool { return a.Cmp(b) > 0 },
|
|
|
|
func(a, b float64) bool { return a > b })
|
2018-03-03 12:30:03 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func ge(nums ...vals.Num) bool {
|
2021-04-05 08:50:22 +08:00
|
|
|
return chainCompare(nums,
|
|
|
|
func(a, b int) bool { return a >= b },
|
|
|
|
func(a, b *big.Int) bool { return a.Cmp(b) >= 0 },
|
|
|
|
func(a, b *big.Rat) bool { return a.Cmp(b) >= 0 },
|
|
|
|
func(a, b float64) bool { return a >= b })
|
|
|
|
}
|
|
|
|
|
|
|
|
func chainCompare(nums []vals.Num,
|
|
|
|
p1 func(a, b int) bool, p2 func(a, b *big.Int) bool,
|
|
|
|
p3 func(a, b *big.Rat) bool, p4 func(a, b float64) bool) bool {
|
|
|
|
|
|
|
|
for i := 0; i < len(nums)-1; i++ {
|
|
|
|
var r bool
|
2021-06-01 04:02:12 +08:00
|
|
|
a, b := vals.UnifyNums2(nums[i], nums[i+1], 0)
|
|
|
|
switch a := a.(type) {
|
|
|
|
case int:
|
|
|
|
r = p1(a, b.(int))
|
|
|
|
case *big.Int:
|
|
|
|
r = p2(a, b.(*big.Int))
|
|
|
|
case *big.Rat:
|
|
|
|
r = p3(a, b.(*big.Rat))
|
|
|
|
case float64:
|
|
|
|
r = p4(a, b.(float64))
|
2021-04-04 07:58:53 +08:00
|
|
|
}
|
2021-04-05 08:50:22 +08:00
|
|
|
if !r {
|
2018-03-03 12:30:03 +08:00
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func add(rawNums ...vals.Num) vals.Num {
|
|
|
|
nums := vals.UnifyNums(rawNums, vals.BigInt)
|
|
|
|
switch nums := nums.(type) {
|
|
|
|
case []*big.Int:
|
|
|
|
acc := big.NewInt(0)
|
|
|
|
for _, num := range nums {
|
|
|
|
acc.Add(acc, num)
|
|
|
|
}
|
2021-04-05 08:50:22 +08:00
|
|
|
return vals.NormalizeBigInt(acc)
|
2021-04-04 07:58:53 +08:00
|
|
|
case []*big.Rat:
|
|
|
|
acc := big.NewRat(0, 1)
|
|
|
|
for _, num := range nums {
|
|
|
|
acc.Add(acc, num)
|
|
|
|
}
|
2021-04-05 08:50:22 +08:00
|
|
|
return vals.NormalizeBigRat(acc)
|
2021-04-04 07:58:53 +08:00
|
|
|
case []float64:
|
|
|
|
acc := float64(0)
|
|
|
|
for _, num := range nums {
|
|
|
|
acc += num
|
|
|
|
}
|
|
|
|
return acc
|
|
|
|
default:
|
|
|
|
panic("unreachable")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func sub(rawNums ...vals.Num) (vals.Num, error) {
|
|
|
|
if len(rawNums) == 0 {
|
2021-06-04 10:51:38 +08:00
|
|
|
return nil, errs.ArityMismatch{What: "arguments", ValidLow: 1, ValidHigh: -1, Actual: 0}
|
2021-04-04 07:58:53 +08:00
|
|
|
}
|
2020-08-17 01:46:29 +08:00
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
nums := vals.UnifyNums(rawNums, vals.BigInt)
|
|
|
|
switch nums := nums.(type) {
|
|
|
|
case []*big.Int:
|
|
|
|
acc := &big.Int{}
|
|
|
|
if len(nums) == 1 {
|
|
|
|
acc.Neg(nums[0])
|
|
|
|
return acc, nil
|
|
|
|
}
|
|
|
|
acc.Set(nums[0])
|
|
|
|
for _, num := range nums[1:] {
|
|
|
|
acc.Sub(acc, num)
|
|
|
|
}
|
|
|
|
return acc, nil
|
|
|
|
case []*big.Rat:
|
|
|
|
acc := &big.Rat{}
|
|
|
|
if len(nums) == 1 {
|
|
|
|
acc.Neg(nums[0])
|
|
|
|
return acc, nil
|
|
|
|
}
|
|
|
|
acc.Set(nums[0])
|
|
|
|
for _, num := range nums[1:] {
|
|
|
|
acc.Sub(acc, num)
|
|
|
|
}
|
|
|
|
return acc, nil
|
|
|
|
case []float64:
|
|
|
|
if len(nums) == 1 {
|
|
|
|
return -nums[0], nil
|
|
|
|
}
|
|
|
|
acc := nums[0]
|
|
|
|
for _, num := range nums[1:] {
|
|
|
|
acc -= num
|
|
|
|
}
|
|
|
|
return acc, nil
|
|
|
|
default:
|
|
|
|
panic("unreachable")
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func mul(rawNums ...vals.Num) vals.Num {
|
|
|
|
hasExact0 := false
|
|
|
|
hasInf := false
|
|
|
|
for _, num := range rawNums {
|
2021-04-04 20:37:38 +08:00
|
|
|
if num == 0 {
|
2021-04-04 07:58:53 +08:00
|
|
|
hasExact0 = true
|
|
|
|
}
|
|
|
|
if f, ok := num.(float64); ok && math.IsInf(f, 0) {
|
|
|
|
hasInf = true
|
|
|
|
break
|
|
|
|
}
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
2021-04-04 07:58:53 +08:00
|
|
|
if hasExact0 && !hasInf {
|
2021-04-04 20:37:38 +08:00
|
|
|
return 0
|
2018-02-04 14:30:36 +08:00
|
|
|
}
|
2017-12-17 13:20:03 +08:00
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
nums := vals.UnifyNums(rawNums, vals.BigInt)
|
|
|
|
switch nums := nums.(type) {
|
|
|
|
case []*big.Int:
|
|
|
|
acc := big.NewInt(1)
|
|
|
|
for _, num := range nums {
|
|
|
|
acc.Mul(acc, num)
|
|
|
|
}
|
2021-04-05 08:50:22 +08:00
|
|
|
return vals.NormalizeBigInt(acc)
|
2021-04-04 07:58:53 +08:00
|
|
|
case []*big.Rat:
|
|
|
|
acc := big.NewRat(1, 1)
|
|
|
|
for _, num := range nums {
|
|
|
|
acc.Mul(acc, num)
|
|
|
|
}
|
2021-04-05 08:50:22 +08:00
|
|
|
return vals.NormalizeBigRat(acc)
|
2021-04-04 07:58:53 +08:00
|
|
|
case []float64:
|
|
|
|
acc := float64(1)
|
|
|
|
for _, num := range nums {
|
|
|
|
acc *= num
|
|
|
|
}
|
|
|
|
return acc
|
|
|
|
default:
|
|
|
|
panic("unreachable")
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func slash(fm *Frame, args ...vals.Num) error {
|
2017-12-17 13:20:03 +08:00
|
|
|
if len(args) == 0 {
|
|
|
|
// cd /
|
2021-01-05 07:54:13 +08:00
|
|
|
return fm.Evaler.Chdir("/")
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
|
|
|
// Division
|
2021-04-04 07:58:53 +08:00
|
|
|
result, err := div(args...)
|
2021-06-18 07:11:51 +08:00
|
|
|
if err != nil {
|
|
|
|
return err
|
2021-04-04 07:58:53 +08:00
|
|
|
}
|
2021-06-18 07:11:51 +08:00
|
|
|
return fm.ValueOutput().Put(vals.FromGo(result))
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
// ErrDivideByZero is thrown when attempting to divide by zero.
|
|
|
|
var ErrDivideByZero = errs.BadValue{
|
|
|
|
What: "divisor", Valid: "number other than exact 0", Actual: "exact 0"}
|
|
|
|
|
|
|
|
func div(rawNums ...vals.Num) (vals.Num, error) {
|
|
|
|
for _, num := range rawNums[1:] {
|
2021-04-04 20:37:38 +08:00
|
|
|
if num == 0 {
|
2021-04-04 07:58:53 +08:00
|
|
|
return nil, ErrDivideByZero
|
|
|
|
}
|
|
|
|
}
|
2021-04-04 20:37:38 +08:00
|
|
|
if rawNums[0] == 0 {
|
|
|
|
return 0, nil
|
2021-04-04 07:58:53 +08:00
|
|
|
}
|
|
|
|
nums := vals.UnifyNums(rawNums, vals.BigRat)
|
|
|
|
switch nums := nums.(type) {
|
|
|
|
case []*big.Rat:
|
|
|
|
acc := &big.Rat{}
|
|
|
|
acc.Set(nums[0])
|
|
|
|
if len(nums) == 1 {
|
|
|
|
acc.Inv(acc)
|
|
|
|
return acc, nil
|
|
|
|
}
|
|
|
|
for _, num := range nums[1:] {
|
|
|
|
acc.Quo(acc, num)
|
|
|
|
}
|
|
|
|
return acc, nil
|
|
|
|
case []float64:
|
|
|
|
acc := nums[0]
|
|
|
|
if len(nums) == 1 {
|
|
|
|
return 1 / acc, nil
|
|
|
|
}
|
|
|
|
for _, num := range nums[1:] {
|
|
|
|
acc /= num
|
|
|
|
}
|
|
|
|
return acc, nil
|
|
|
|
default:
|
|
|
|
panic("unreachable")
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-04-04 07:58:53 +08:00
|
|
|
func rem(a, b int) (int, error) {
|
|
|
|
// TODO: Support other number types
|
2019-10-27 16:14:10 +08:00
|
|
|
if b == 0 {
|
2021-04-04 07:58:53 +08:00
|
|
|
return 0, ErrDivideByZero
|
2019-10-27 16:14:10 +08:00
|
|
|
}
|
|
|
|
return a % b, nil
|
|
|
|
}
|
|
|
|
|
2021-11-20 23:07:26 +08:00
|
|
|
func randint(args ...int) (int, error) {
|
|
|
|
var low, high int
|
|
|
|
switch len(args) {
|
|
|
|
case 1:
|
|
|
|
low, high = 0, args[0]
|
|
|
|
case 2:
|
|
|
|
low, high = args[0], args[1]
|
|
|
|
default:
|
|
|
|
return -1, errs.ArityMismatch{What: "arguments",
|
|
|
|
ValidLow: 1, ValidHigh: 2, Actual: len(args)}
|
|
|
|
}
|
2021-06-14 05:54:47 +08:00
|
|
|
if high <= low {
|
|
|
|
return 0, errs.BadValue{What: "high value",
|
|
|
|
Valid: fmt.Sprint("larger than ", low), Actual: strconv.Itoa(high)}
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
2018-02-04 14:47:08 +08:00
|
|
|
return low + rand.Intn(high-low), nil
|
2017-12-17 13:20:03 +08:00
|
|
|
}
|
2021-12-26 20:18:28 +08:00
|
|
|
|
2022-08-07 18:32:52 +08:00
|
|
|
func randseed(x int) { rand.Seed(int64(x)) }
|
|
|
|
|
2021-12-26 20:18:28 +08:00
|
|
|
type rangeOpts struct{ Step vals.Num }
|
|
|
|
|
|
|
|
// TODO: The default value can only be used implicitly; passing "range
|
|
|
|
// &step=nil" results in an error.
|
|
|
|
func (o *rangeOpts) SetDefaultOptions() { o.Step = nil }
|
|
|
|
|
|
|
|
func rangeFn(fm *Frame, opts rangeOpts, args ...vals.Num) error {
|
|
|
|
var rawNums []vals.Num
|
|
|
|
switch len(args) {
|
|
|
|
case 1:
|
|
|
|
rawNums = []vals.Num{0, args[0]}
|
|
|
|
case 2:
|
|
|
|
rawNums = []vals.Num{args[0], args[1]}
|
|
|
|
default:
|
|
|
|
return errs.ArityMismatch{What: "arguments", ValidLow: 1, ValidHigh: 2, Actual: len(args)}
|
|
|
|
}
|
|
|
|
if opts.Step != nil {
|
|
|
|
rawNums = append(rawNums, opts.Step)
|
|
|
|
}
|
|
|
|
nums := vals.UnifyNums(rawNums, vals.Int)
|
|
|
|
|
|
|
|
out := fm.ValueOutput()
|
|
|
|
|
|
|
|
switch nums := nums.(type) {
|
|
|
|
case []int:
|
2022-08-08 19:28:47 +08:00
|
|
|
return rangeBuiltinNum(nums, out)
|
2021-12-26 20:18:28 +08:00
|
|
|
case []*big.Int:
|
2022-08-08 19:28:47 +08:00
|
|
|
return rangeBigNum(nums, out, bigIntDesc)
|
2021-12-26 20:18:28 +08:00
|
|
|
case []*big.Rat:
|
2022-08-08 19:28:47 +08:00
|
|
|
return rangeBigNum(nums, out, bigRatDesc)
|
2021-12-26 20:18:28 +08:00
|
|
|
case []float64:
|
2022-08-08 19:28:47 +08:00
|
|
|
return rangeBuiltinNum(nums, out)
|
2021-12-26 20:18:28 +08:00
|
|
|
default:
|
|
|
|
panic("unreachable")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-08-08 19:28:47 +08:00
|
|
|
type builtinNum interface{ int | float64 }
|
|
|
|
|
|
|
|
func rangeBuiltinNum[T builtinNum](nums []T, out ValueOutput) error {
|
2021-12-26 20:18:28 +08:00
|
|
|
start, end := nums[0], nums[1]
|
2022-08-08 19:28:47 +08:00
|
|
|
var step T
|
2021-12-26 20:18:28 +08:00
|
|
|
if start <= end {
|
|
|
|
if len(nums) == 3 {
|
|
|
|
step = nums[2]
|
|
|
|
if step <= 0 {
|
|
|
|
return errs.BadValue{
|
|
|
|
What: "step", Valid: "positive", Actual: vals.ToString(step)}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
step = 1
|
|
|
|
}
|
|
|
|
for cur := start; cur < end; cur += step {
|
|
|
|
err := out.Put(vals.FromGo(cur))
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if cur+step <= cur {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if len(nums) == 3 {
|
|
|
|
step = nums[2]
|
|
|
|
if step >= 0 {
|
|
|
|
return errs.BadValue{
|
|
|
|
What: "step", Valid: "negative", Actual: vals.ToString(step)}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
step = -1
|
|
|
|
}
|
|
|
|
for cur := start; cur > end; cur += step {
|
|
|
|
err := out.Put(vals.FromGo(cur))
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
if cur+step >= cur {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2022-08-08 19:28:47 +08:00
|
|
|
type bigNum[T any] interface {
|
|
|
|
Cmp(T) int
|
|
|
|
Sign() int
|
|
|
|
Add(T, T) T
|
2021-12-26 20:18:28 +08:00
|
|
|
}
|
|
|
|
|
2022-08-08 19:28:47 +08:00
|
|
|
type bigNumDesc[T any] struct {
|
|
|
|
one T
|
|
|
|
negOne T
|
|
|
|
newZero func() T
|
|
|
|
}
|
2021-12-26 20:18:28 +08:00
|
|
|
|
2022-08-08 19:28:47 +08:00
|
|
|
var bigIntDesc = bigNumDesc[*big.Int]{
|
|
|
|
one: big.NewInt(1),
|
|
|
|
negOne: big.NewInt(-1),
|
|
|
|
newZero: func() *big.Int { return &big.Int{} },
|
2021-12-26 20:18:28 +08:00
|
|
|
}
|
|
|
|
|
2022-08-08 19:28:47 +08:00
|
|
|
var bigRatDesc = bigNumDesc[*big.Rat]{
|
|
|
|
one: big.NewRat(1, 1),
|
|
|
|
negOne: big.NewRat(-1, 1),
|
|
|
|
newZero: func() *big.Rat { return &big.Rat{} },
|
|
|
|
}
|
2021-12-26 20:18:28 +08:00
|
|
|
|
2022-08-08 19:28:47 +08:00
|
|
|
func rangeBigNum[T bigNum[T]](nums []T, out ValueOutput, d bigNumDesc[T]) error {
|
2021-12-26 20:18:28 +08:00
|
|
|
start, end := nums[0], nums[1]
|
2022-08-08 19:28:47 +08:00
|
|
|
var step T
|
2021-12-26 20:18:28 +08:00
|
|
|
if start.Cmp(end) <= 0 {
|
|
|
|
if len(nums) == 3 {
|
|
|
|
step = nums[2]
|
|
|
|
if step.Sign() <= 0 {
|
|
|
|
return errs.BadValue{
|
|
|
|
What: "step", Valid: "positive", Actual: vals.ToString(step)}
|
|
|
|
}
|
|
|
|
} else {
|
2022-08-08 19:28:47 +08:00
|
|
|
step = d.one
|
2021-12-26 20:18:28 +08:00
|
|
|
}
|
2022-08-08 19:28:47 +08:00
|
|
|
var cur, next T
|
2021-12-26 20:18:28 +08:00
|
|
|
for cur = start; cur.Cmp(end) < 0; cur = next {
|
|
|
|
err := out.Put(vals.FromGo(cur))
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2022-08-08 19:28:47 +08:00
|
|
|
next = d.newZero()
|
2021-12-26 20:18:28 +08:00
|
|
|
next.Add(cur, step)
|
|
|
|
cur = next
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if len(nums) == 3 {
|
|
|
|
step = nums[2]
|
|
|
|
if step.Sign() >= 0 {
|
|
|
|
return errs.BadValue{
|
|
|
|
What: "step", Valid: "negative", Actual: vals.ToString(step)}
|
|
|
|
}
|
|
|
|
} else {
|
2022-08-08 19:28:47 +08:00
|
|
|
step = d.negOne
|
2021-12-26 20:18:28 +08:00
|
|
|
}
|
2022-08-08 19:28:47 +08:00
|
|
|
var cur, next T
|
2021-12-26 20:18:28 +08:00
|
|
|
for cur = start; cur.Cmp(end) > 0; cur = next {
|
|
|
|
err := out.Put(vals.FromGo(cur))
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2022-08-08 19:28:47 +08:00
|
|
|
next = d.newZero()
|
2021-12-26 20:18:28 +08:00
|
|
|
next.Add(cur, step)
|
|
|
|
cur = next
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|