package tech

trait Mondoid[T] {
  def zero: T
  def append(a: T, b: T): T
}

object Mondoid {
  def apply[A](implicit instance: Mondoid[A]): Mondoid[A] = instance
}

package syntax {

  import scalaz.Foldable

  trait MondoidSyntax {
    implicit class MondoidOps[F[_] : Foldable, A](xs: F[A]) {
      def calcSum(implicit m: Mondoid[A]) = {
        Foldable[F].foldLeft(xs, m.zero)(m.append)
      }
    }
  }
}

package std {

  trait MondoidInstances {
    implicit object `Mondoid for Int` extends Mondoid[Int] {
      def zero = 0
      def append(a: Int, b: Int) = a + b
    }

    implicit object `Mondoid for String` extends Mondoid[String] {
      def zero = ""
      def append(a: String, b: String) = a + b
    }
  }
}

package all {

  import tech.std.MondoidInstances
  import tech.syntax.MondoidSyntax

  object mondoid extends MondoidInstances with MondoidSyntax

}

object TestMondoid {
  def main(args: Array[String]): Unit = {

    import all.mondoid._

    import scalaz.std.list._
    import scalaz.std.vector._

    println(List(1, 2, 3).calcSum)
    println(Vector(1, 2, 3).calcSum)
    println(List("1", "2", "3").calcSum)
    println(Vector("1", "2", "3").calcSum)

    implicit object `Mondoid for Boolean` extends Mondoid[Boolean] {
      def zero = true
      def append(a: Boolean, b: Boolean) = a && b
    }
    println(List(true, true, false).calcSum)
    println(Vector(true, true, false).calcSum)
  }
}