package refined
Package Members
- package infra
Value Members
- implicit def addRefinedLHS[V1, P1, U1, V2, U2](implicit enable: EnableUnsoundRefinedConversions, vv1: Validate[V1, P1], add: UnitAdd[V1, U1, V2, U2]): UnitAdd[Refined[V1, P1], U1, V2, U2]
- implicit def addRefinedRHS[V1, U1, V2, P2, U2](implicit add: UnitAdd[V1, U1, V2, U2]): UnitAdd[V1, U1, Refined[V2, P2], U2]
- implicit def addRefinedSound[V1, P1, U1, V2, P2, U2](implicit sp: AddSoundnessPolicy[P1, P2], vv1: Validate[V1, P1], add: UnitAdd[V1, U1, V2, U2]): UnitAdd[Refined[V1, P1], U1, Refined[V2, P2], U2]
- implicit def divRefinedLHS[V1, P1, U1, V2, U2, ORT](implicit enable: EnableUnsoundRefinedConversions, vv1: Validate[V1, P1], div: unitops.UnitDiv.Aux[V1, U1, V2, U2, ORT]): unitops.UnitDiv.Aux[Refined[V1, P1], U1, V2, U2, ORT]
- implicit def divRefinedRHS[V1, U1, V2, P2, U2, ORT](implicit div: unitops.UnitDiv.Aux[V1, U1, V2, U2, ORT]): unitops.UnitDiv.Aux[V1, U1, Refined[V2, P2], U2, ORT]
- implicit def divRefinedSound[V1, P1, U1, V2, P2, U2, ORT](implicit sp: DivSoundnessPolicy[P1, P2], vv1: Validate[V1, P1], div: unitops.UnitDiv.Aux[V1, U1, V2, U2, ORT]): unitops.UnitDiv.Aux[Refined[V1, P1], U1, Refined[V2, P2], U2, ORT]
- implicit def mulRefinedLHS[V1, P1, U1, V2, U2, ORT](implicit enable: EnableUnsoundRefinedConversions, vv1: Validate[V1, P1], mul: Aux[V1, U1, V2, U2, ORT]): Aux[Refined[V1, P1], U1, V2, U2, ORT]
- implicit def mulRefinedRHS[V1, U1, V2, P2, U2, ORT](implicit mul: Aux[V1, U1, V2, U2, ORT]): Aux[V1, U1, Refined[V2, P2], U2, ORT]
- implicit def mulRefinedSound[V1, P1, U1, V2, P2, U2, ORT](implicit sp: MulSoundnessPolicy[P1, P2], vv1: Validate[V1, P1], mul: Aux[V1, U1, V2, U2, ORT]): Aux[Refined[V1, P1], U1, Refined[V2, P2], U2, ORT]
- implicit def negRefinedSound[V, P](implicit sp: NegSoundnessPolicy[P], vv: Validate[V, P], neg: UnitNeg[V]): UnitNeg[Refined[V, P]]
- implicit def ordRefRef[V1, P1, U1, V2, P2, U2](implicit ord: UnitOrd[V1, U1, V2, U2]): UnitOrd[Refined[V1, P1], U1, Refined[V2, P2], U2]
- implicit def ordRefinedLHS[V1, P1, U1, V2, U2](implicit ord: UnitOrd[V1, U1, V2, U2]): UnitOrd[Refined[V1, P1], U1, V2, U2]
- implicit def ordRefinedRHS[V1, U1, V2, P2, U2](implicit ord: UnitOrd[V1, U1, V2, U2]): UnitOrd[V1, U1, Refined[V2, P2], U2]
- implicit def powRefinedSound[V, P, U, E, ORT](implicit sp: PowSoundnessPolicy[P, E], vv: Validate[V, P], pow: Aux[V, U, E, ORT]): Aux[Refined[V, P], U, E, ORT]
- implicit def refinedToValue[V1, P1, U1, V2, U2](implicit cnv: UnitConverter[V1, U1, V2, U2]): UnitConverter[Refined[V1, P1], U1, V2, U2]
- implicit def soundRefToRefNoUnit[V1, P1, V2, P2, U](implicit s12: refined.infra.Implies.==>[P1, P2], vv2: Validate[V2, P2], cnv: UnitConverter[V1, U, V2, U]): UnitConverter[Refined[V1, P1], U, Refined[V2, P2], U]
- implicit def soundRefToRefNon[V1, P1, U1, V2, U2](implicit du: =:!=[U1, U2], s1: refined.infra.Implies.==>[P1, NonNegative], vv2: Validate[V2, NonNegative], cnv: UnitConverter[V1, U1, V2, U2]): UnitConverter[Refined[V1, P1], U1, Refined[V2, NonNegative], U2]
- implicit def soundRefToRefPos[V1, P1, U1, V2, U2](implicit du: =:!=[U1, U2], s1: refined.infra.Implies.==>[P1, Positive], vv2: Validate[V2, Positive], cnv: UnitConverter[V1, U1, V2, U2]): UnitConverter[Refined[V1, P1], U1, Refined[V2, Positive], U2]
- implicit def subRefinedLHS[V1, P1, U1, V2, U2](implicit enable: EnableUnsoundRefinedConversions, vv1: Validate[V1, P1], sub: UnitSub[V1, U1, V2, U2]): UnitSub[Refined[V1, P1], U1, V2, U2]
- implicit def subRefinedRHS[V1, U1, V2, P2, U2](implicit sub: UnitSub[V1, U1, V2, U2]): UnitSub[V1, U1, Refined[V2, P2], U2]
- implicit def subRefinedSound[V1, P1, U1, V2, P2, U2](implicit sp: SubSoundnessPolicy[P1, P2], vv1: Validate[V1, P1], sub: UnitSub[V1, U1, V2, U2]): UnitSub[Refined[V1, P1], U1, Refined[V2, P2], U2]
- implicit def unsoundRefToRef[V1, P1, U1, V2, P2, U2](implicit enable: EnableUnsoundRefinedConversions, vv2: Validate[V2, P2], cnv: UnitConverter[V1, U1, V2, U2]): UnitConverter[Refined[V1, P1], U1, Refined[V2, P2], U2]
- implicit def valueToRefined[V1, U1, V2, P2, U2](implicit enable: EnableUnsoundRefinedConversions, vv2: Validate[V2, P2], cnv: UnitConverter[V1, U1, V2, U2]): UnitConverter[V1, U1, Refined[V2, P2], U2]
- object policy
Inherited from AnyRef
Inherited from Any