spec

Chunk2.scala

package fs2

trait Chunk2[@specialized(Boolean, Int, Long, Float) +A] {
  def map[B](f: A => B): Chunk2[B]
}

object Chunk2 {

  object Booleans {

    val empty: Chunk2[Boolean] = new Chunk2[Boolean] {
      override def map[B](f: Boolean => B): Chunk2[B] = ???
    }

    def unapply[A](chunk: Chunk2[A]): Option[Chunk2[Boolean]] = {
      if(chunk.getClass.isAssignableFrom(empty.getClass)) {
        Some(chunk.asInstanceOf[Chunk2[Boolean]])
      } else None
    }
  }

  def test[A](chunk: Chunk2[A]): Chunk2[A] = {
    chunk match {
      case Chunk2.Booleans(bChunk) => bChunk.map(_ && true).asInstanceOf[Chunk2[A]]
      case _ => chunk  
    }
  }

  object Ints {
    val empty: Chunk2[Int] = new Chunk2[Int] {
      override def map[B](f: Int => B): Chunk2[B] = ???
    }

    def unapply[A](chunk: Chunk2[A]): Option[Chunk2[Int]] = {
      if(chunk.getClass.isAssignableFrom(empty.getClass)) {
        Some(chunk.asInstanceOf[Chunk2[Int]])
      } else None
    }
  }
}