arrow-analysis-laws/arrow.analysis.laws.kotlin/MathLaws

MathLaws

object MathLaws

Functions

inline fun absLaw(x: Double): Double

inline fun absLaw(x: Float): Float

inline fun absLaw(x: Int): Int

inline fun absLaw(x: Long): Long

absoluteValueLaw

inline fun Double.absoluteValueLaw(): Double

inline fun Float.absoluteValueLaw(): Float

inline fun Int.absoluteValueLaw(): Int

inline fun Long.absoluteValueLaw(): Long

inline fun maxLaw(a: Double, b: Double): Double

inline fun maxLaw(a: Float, b: Float): Float

inline fun maxLaw(a: Int, b: Int): Int

inline fun maxLaw(a: Long, b: Long): Long

inline fun minLaw(a: Double, b: Double): Double

inline fun minLaw(a: Float, b: Float): Float

inline fun minLaw(a: Int, b: Int): Int

inline fun minLaw(a: Long, b: Long): Long

inline fun Double.signLaw(): Double

inline fun Float.signLaw(): Float

inline fun Int.signLaw(): Int

inline fun Long.signLaw(): Int

signTopLevelLaw

inline fun signTopLevelLaw(x: Double): Double

inline fun signTopLevelLaw(x: Float): Float