NaturalInstances

class Object
trait Matchable
class Any
object Natural

Implicits

Implicits

final implicit
val NaturalAlgebra: CommutativeRig[Natural] & Order[Natural] & forAdditiveCommutativeMonoid[Natural] & TruncatedDivision[Natural]
final implicit