superquants.doubleprecision.binary.package.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of superquants_sjs0.6_2.12 Show documentation

Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%

The newest version!

package superquants.doubleprecision


import superquants.traits.BinaryTrait
import supertagged._

package object binary extends BinaryTrait with DoubleBinaryTypesTrait {


  implicit class DoubleBinaryForRawOpsInt(val __v:Int) extends AnyVal with BinaryForRawOpsTrait[Int] {
    protected def safecasted[T]: T = __v.toDouble.asInstanceOf[T]
  }

  implicit class DoubleBinaryForRawOpsLong(val __v:Long) extends AnyVal with BinaryForRawOpsTrait[Long] {
    protected def safecasted[T]: T = __v.toDouble.asInstanceOf[T]
  }

  implicit class DoubleBinaryForRawOpsDouble(val __v:Double) extends AnyVal with BinaryForRawOpsTrait[Double] {
    protected def safecasted[T]: T = __v.asInstanceOf[T]
  }


}

trait DoubleBinaryTypesTrait {
  object BinaryUnit extends TaggedType[Double]

  type BinaryUnit[T] = (Double with Tag[Double,BinaryUnit.Tag]) @@ T


  object Bits extends OverTagged(BinaryUnit)
  type Bits = Bits.Type

  object Bytes extends OverTagged(BinaryUnit)
  type Bytes = Bytes.Type

  object KiloBytes extends OverTagged(BinaryUnit)
  type KiloBytes = KiloBytes.Type


  object MegaBytes extends OverTagged(BinaryUnit)
  type MegaBytes = MegaBytes.Type

  object GigaBytes extends OverTagged(BinaryUnit)
  type GigaBytes = GigaBytes.Type

  object TeraBytes extends OverTagged(BinaryUnit)
  type TeraBytes = TeraBytes.Type

  object PetaBytes extends OverTagged(BinaryUnit)
  type PetaBytes = PetaBytes.Type

  object ExaBytes extends OverTagged(BinaryUnit)
  type ExaBytes = ExaBytes.Type

  object ZettaBytes extends OverTagged(BinaryUnit)
  type ZettaBytes = ZettaBytes.Type

  object YottaBytes extends OverTagged(BinaryUnit)
  type YottaBytes = YottaBytes.Type


  /**
    * PIBIDI
    **/

  object KibiBytes extends OverTagged(BinaryUnit)
  type KibiBytes = KibiBytes.Type


  object MebiBytes extends OverTagged(BinaryUnit)
  type MebiBytes = MebiBytes.Type

  object GibiBytes extends OverTagged(BinaryUnit)
  type GibiBytes = GibiBytes.Type

  object TebiBytes extends OverTagged(BinaryUnit)
  type TebiBytes = TebiBytes.Type

  object PebiBytes extends OverTagged(BinaryUnit)
  type PebiBytes = PebiBytes.Type

  object ExbiBytes extends OverTagged(BinaryUnit)
  type ExbiBytes = ExbiBytes.Type

  object ZebiBytes extends OverTagged(BinaryUnit)
  type ZebiBytes = ZebiBytes.Type

  object YobiBytes extends OverTagged(BinaryUnit)
  type YobiBytes = YobiBytes.Type
}