fork(2) download
copy 
  1. trait CanQuantify[Q, T] {
  2.   def apply(value: T): Q
  3. }
  4.  
  5. trait Quantity[T] {
  6.   type Self <: Quantity[T]
  7.  
  8.   def value: T
  9.  
  10.   def +(that: Quantity[T])(implicit q: CanQuantify[Self, T], num: Numeric[T]) = {
  11.   	import num._
  12.   	q(value + that.value)
  13.   }
  14.  
  15.   def /[R <: Quantity[T]](that: R)(implicit num: Numeric[T]) = {
  16.   	import num._
  17.     Per[T, Self, R](value * that.value)
  18.   }
  19. }
  20.  
  21. case class Per[T, Q <: Quantity[T], R <: Quantity[T]](value: T) extends Quantity[T] {
  22.   override type Self = Per[T, Q, R]
  23. }
  24.  
  25. case class ProductCount(value: Int) extends Quantity[Int] {
  26.   override type Self = ProductCount
  27. }
  28.  
  29. case class BoxCount(value: Int) extends Quantity[Int] {
  30.   override type Self = BoxCount
  31. }
  32.  
  33. package object canQuantifies {
  34.   implicit val productCountCanQuantify = new CanQuantify[ProductCount, Int] {
  35.     override def apply(value: Int) = ProductCount(value)
  36.   }
  37.  
  38.   implicit val boxCountCanQuantify = new CanQuantify[BoxCount, Int] {
  39.     override def apply(value: Int) = BoxCount(value)
  40.   }
  41. }
  42. import canQuantifies._
  43.  
  44. object Main extends App {
  45.   val products = ProductCount(10)
  46.   val boxes = BoxCount(5)
  47.   var n = products / boxes
  48. }
Success #stdin #stdout 0.23s 381632KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/qj6V5E
language:
Scala (scala 2.12.8)
created:
11 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!