parsley.token.numeric.SignedCombined.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of parsley_native0.4_2.12 Show documentation

parsley

The newest version!

/*
 * Copyright 2020 Parsley Contributors 
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
package parsley.token.numeric

import parsley.Parsley, Parsley.atomic
import parsley.token.descriptions.numeric.NumericDesc
import parsley.token.errors.ErrorConfig

import parsley.internal.deepembedding.Sign.CombinedType
import parsley.internal.deepembedding.singletons

private [token] final class SignedCombined(desc: NumericDesc, unsigned: CombinedParsers, err: ErrorConfig) extends CombinedParsers(err) {
    private val sign = new Parsley(new singletons.Sign[CombinedType.resultType](CombinedType, desc.positiveSign))

    override def decimal: Parsley[Either[BigInt,BigDecimal]] = atomic(sign <*> unsigned.decimal)
    override def hexadecimal: Parsley[Either[BigInt,BigDecimal]] = atomic(sign <*> unsigned.hexadecimal)
    override def octal: Parsley[Either[BigInt,BigDecimal]] = atomic(sign <*> unsigned.octal)
    override def binary: Parsley[Either[BigInt,BigDecimal]] = atomic(sign <*> unsigned.binary)
    override def number: Parsley[Either[BigInt,BigDecimal]] = atomic(sign <*> unsigned.number)

    override protected[numeric] def bounded[T](number: Parsley[Either[BigInt,BigDecimal]], bits: Bits, radix: Int)
                                              (implicit ev: CanHold[bits.self,T]): Parsley[Either[T,BigDecimal]] = {
        err.filterIntegerOutOfBounds(bits.lowerSigned, bits.upperSigned, radix).injectLeft.collect(number) {
            case Left(x) if bits.lowerSigned <= x && x <= bits.upperSigned => Left(ev.fromBigInt(x))
            case Right(y) => Right(y)
        }
    }
}