coulomb.ops.algebra.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.algebra

import algebra.ring.TruncatedDivision

import coulomb.*
import coulomb.syntax.*
import coulomb.ops.*

object float:
    given ctx_Float_is_FractionalPower: FractionalPower[Float] =
        (v: Float, e: Double) => math.pow(v.toDouble, e).toFloat

    extension (vl: Float)
        transparent inline def *[VR, UR](qr: Quantity[VR, UR])(using
            mul: Mul[Float, 1, VR, UR]
        ): Quantity[mul.VO, mul.UO] =
            mul.eval(vl.withUnit[1], qr)

        transparent inline def /[VR, UR](qr: Quantity[VR, UR])(using
            div: Div[Float, 1, VR, UR]
        ): Quantity[div.VO, div.UO] =
            div.eval(vl.withUnit[1], qr)