• Example Search
• Project Search

• Java
• Python
• JavaScript
• TypeScript
• C++
• Scala
• Blog

• S99-master
  • src
    • main
      • scala
        • jp
          • co
            • dwango
              • s99
                • P12.scala
                • P55.scala
                • P31.scala
                • P06.scala
                • P27b.scala
                • P57.scala
                • P05.scala
                • P68.scala
                • P19.scala
                • P09.scala
                • arithmetic
                  • package.scala
                • P90.scala
                • P56.scala
                • P04.scala
                • P96.scala
                • P10.scala
                • P23.scala
                • P07.scala
                • P49.scala
                • P61a.scala
                • P21.scala
                • P15.scala
                • P20.scala
                • P08.scala
                • P26.scala
                • P03.scala
                • P01.scala
                • P67.scala
                • P18.scala
                • P24.scala
                • P28b.scala
                • P16.scala
                • P17.scala
                • P22.scala
                • P13.scala
                • P27a.scala
                • P14.scala
                • P47.scala
                • P25.scala
                • P33.scala
                • P32.scala
                • P11.scala
                • Util.scala
                • P62b.scala
                • P28a.scala
                • P46.scala
                • P58.scala
                • P62.scala
                • P02.scala
                • binary_trees
                  • Tree.scala
                • P61.scala
    • test
      • scala
        • jp
          • co
            • dwango
              • s99
                • P62bSpec.scala
                • P07Check.scala
                • P12Spec.scala
                • P03Spec.scala
                • P06Check.scala
                • P04Spec.scala
                • P27bCheck.scala
                • P31Spec.scala
                • P67Spec.scala
                • P23Check.scala
                • P16Spec.scala
                • P26Check.scala
                • P28bCheck.scala
                • P57Check.scala
                • P10Spec.scala
                • P18Check.scala
                • P05Check.scala
                • P01Spec.scala
                • P61Spec.scala
                • P02Check.scala
                • P33Spec.scala
                • P68Spec.scala
                • P25Check.scala
                • P14Spec.scala
                • P17Check.scala
                • P22Check.scala
                • P05Spec.scala
                • P96Spec.scala
                • P15Spec.scala
                • P16Check.scala
                • P62Spec.scala
                • P49Spec.scala
                • P11Spec.scala
                • P09Spec.scala
                • P27aCheck.scala
                • P90Spec.scala
                • P24Check.scala
                • P08Check.scala
                • P03Check.scala
                • P07Spec.scala
                • P13Check.scala
                • P32Spec.scala
                • P58Spec.scala
                • P01Check.scala
                • P14Check.scala
                • P06Spec.scala
                • P61aSpec.scala
                • P17Spec.scala
                • P02Spec.scala
                • P28aCheck.scala
                • P21Check.scala
                • P20Check.scala
                • P08Spec.scala
                • P57Spec.scala
                • P19Spec.scala
                • P04Check.scala
                • P13Spec.scala
  • LICENSE
  • project
    • build.properties
    • plugins.sbt
  • .travis.yml
  • README.md
  • .scalafmt.conf
  • build.sbt
  • .gitignore

package jp.co.dwango.s99

import org.scalatest.diagrams.Diagrams
import org.scalatest.funspec.AnyFunSpec

class P13Spec extends AnyFunSpec with Diagrams {
  describe("P13") {
    it("for empty list, encodeDirect(s) is s") {
      assert(P13.encodeDirect(List.empty[Int]) == List.empty[(Int, Int)])
    }
    it("for list has one element, encodeDirect(s) is List((1, s))") {
      assert(P13.encodeDirect(List(2)) == List((1, 2)))
    }
    it("otherwise") {
      assert(P13.encodeDirect(List(1, 1)) == List((2, 1)))
      assert(P13.encodeDirect(List(1, 1, 2)) == List((2, 1), (1, 2)))
      assert(P13.encodeDirect(List(1, 1, 2, 3)) == List((2, 1), (1, 2), (1, 3)))
      assert(
        P13.encodeDirect(List(1, 1, 2, 2, 3)) == List((2, 1), (2, 2), (1, 3))
      )
    }
  }
}