coulomb.ops.standard.optimizations.float.scala Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of coulomb-core_3 Show documentation
coulomb-core
There is a newer version: 0.9.0-RC1
/*
 * Copyright 2022 Erik Erlandson
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package coulomb.ops.standard.optimizations

import scala.util.NotGiven
import scala.Conversion

import coulomb.{`*`, `/`, `^`}
import coulomb.Quantity
import coulomb.syntax.withUnit
import coulomb.ops.*
import coulomb.ops.standard.named.*
import coulomb.conversion.coefficients.*

object float:
    given ctx_quantity_neg_Float[U]: Neg[Float, U] =
        (q: Quantity[Float, U]) => (-(q.value)).withUnit[U]

    transparent inline given ctx_add_Float_1U[U]: Add[Float, U, Float, U] =
        new AddNC((ql: Quantity[Float, U], qr: Quantity[Float, U]) =>
            (ql.value + qr.value).withUnit[U]
        )

    transparent inline given ctx_add_Float_2U[UL, UR](using
        Conversion[Quantity[Float, UR], Quantity[Float, UL]]
    ): Add[Float, UL, Float, UR] =
        val c = coefficientFloat[UR, UL]
        new AddNC((ql: Quantity[Float, UL], qr: Quantity[Float, UR]) =>
            (ql.value + (c * qr.value)).withUnit[UL]
        )

    transparent inline given ctx_sub_Float_1U[U]: Sub[Float, U, Float, U] =
        new SubNC((ql: Quantity[Float, U], qr: Quantity[Float, U]) =>
            (ql.value - qr.value).withUnit[U]
        )

    transparent inline given ctx_sub_Float_2U[UL, UR](using
        Conversion[Quantity[Float, UR], Quantity[Float, UL]]
    ): Sub[Float, UL, Float, UR] =
        val c = coefficientFloat[UR, UL]
        new SubNC((ql: Quantity[Float, UL], qr: Quantity[Float, UR]) =>
            (ql.value - (c * qr.value)).withUnit[UL]
        )

    transparent inline given ctx_mul_Float_2U[UL, UR](using
        su: SimplifiedUnit[UL * UR]
    ): Mul[Float, UL, Float, UR] =
        new MulNC((ql: Quantity[Float, UL], qr: Quantity[Float, UR]) =>
            (ql.value * qr.value).withUnit[su.UO]
        )

    transparent inline given ctx_div_Float_2U[UL, UR](using
        su: SimplifiedUnit[UL / UR]
    ): Div[Float, UL, Float, UR] =
        new DivNC((ql: Quantity[Float, UL], qr: Quantity[Float, UR]) =>
            (ql.value / qr.value).withUnit[su.UO]
        )