implicit final
class
PostfixPhysicalRulesForUnits[Raw, UnitBase, U] extends AnyVal with PhysicalRulesForUnits[Raw, UnitBase, U]
Instance Constructors
-
new
PostfixPhysicalRulesForUnits(__v: @@[Tagged[Raw, UnitBase], U])
Type Members
-
type
FF[T] = Tagged[Raw, UnitBase] with Tag[Tagged[Raw, UnitBase], T]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
**(p2: @@[Tagged[Raw, UnitBase], U])(implicit m: superquants.RawMultiplier[Raw]): Pow[Raw, @@[Tagged[Raw, UnitBase], U], PowPlus, shapeless.Nat._2]
-
def
**[Raw0 <: Raw, U2, Znak <: PowZnak, N <: Nat, DiffOut <: HList](p2: Pow[Raw0, U2, Znak, N])(implicit mixer: Mixer.Aux[Raw, ::[Pow[Raw, @@[Tagged[Raw, UnitBase], U], PowPlus, shapeless.Nat._1], HNil], ::[Pow[Raw, U2, Znak, N], HNil], HNil, DiffOut], cleaner: Cleaner[Raw, DiffOut], r: superquants.RawMultiplier[Raw], d: SuperDummyImplicit): Out
-
def
**[UnitBase2, U2](p2: @@[Tagged[Raw, UnitBase2], U2])(implicit m: superquants.RawMultiplier[Raw], d: SuperDummyImplicit): Complex[Raw, ::[Pow[Raw, @@[Tagged[Raw, UnitBase], U], PowPlus, shapeless.Nat._1], ::[Pow[Raw, @@[Tagged[Raw, UnitBase2], U2], PowPlus, shapeless.Nat._1], HNil]]]
-
def
++(p2: @@[Tagged[Raw, UnitBase], U])(implicit m: superquants.RawSummer[Raw]): @@[Tagged[Raw, UnitBase], U]
-
def
--(p2: @@[Tagged[Raw, UnitBase], U])(implicit m: superquants.RawMinuser[Raw]): @@[Tagged[Raw, UnitBase], U]
-
final
def
==(arg0: Any): Boolean
-
def
===[U2](other: @@[Tagged[Raw, UnitBase], U2])(implicit converter: UnitConverter[Raw], c1: UnitCompanion[FF[U]], c2: UnitCompanion[FF[U2]]): Boolean
-
def
===(other: @@[Tagged[Raw, UnitBase], U]): Boolean
-
val
__v: @@[Tagged[Raw, UnitBase], U]
-
final
def
asInstanceOf[T0]: T0
-
def
divide[Raw2 <: Raw, U2, N <: Nat, DiffOut <: HList](p2: Pow[Raw2, U2, PowMinus, N])(implicit mixer: Mixer.Aux[Raw, ::[Pow[Raw, @@[Tagged[Raw, UnitBase], U], PowPlus, shapeless.Nat._1], HNil], ::[Pow[Raw, U2, PowPlus, N], HNil], HNil, DiffOut], cleaner: Cleaner[Raw, DiffOut], r: superquants.RawDivider[Raw], d: SuperDummyImplicit, d2: SuperDummyImplicit): Out
-
def
divide[Raw2 <: Raw, U2, N <: Nat, DiffOut <: HList](p2: Pow[Raw2, U2, PowPlus, N])(implicit mixer: Mixer.Aux[Raw, ::[Pow[Raw, @@[Tagged[Raw, UnitBase], U], PowPlus, shapeless.Nat._1], HNil], ::[Pow[Raw, U2, PowMinus, N], HNil], HNil, DiffOut], cleaner: Cleaner[Raw, DiffOut], r: superquants.RawDivider[Raw], d: SuperDummyImplicit): Out
-
-
def
divide[U2](p2: @@[Raw, U2])(implicit r: superquants.RawDivider[Raw], d: superquants.FakeTrait[@@[Raw, U2]]): @@[Raw, U]
-
def
divide[UnitBase2, U2, DiffOut <: HList](p2: @@[Tagged[Raw, UnitBase2], U2])(implicit mixer: Mixer.Aux[Raw, ::[Pow[Raw, Tagged[Raw, UnitBase], PowPlus, shapeless.Nat._1], HNil], ::[Pow[Raw, @@[Tagged[Raw, UnitBase2], U2], PowMinus, shapeless.Nat._1], HNil], HNil, DiffOut], cleaner: Cleaner[Raw, DiffOut], r: superquants.RawDivider[Raw]): Out
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
Inherited from AnyVal
Inherited from Any