Skip to content

Commit

Permalink
Test Size with List
Browse files Browse the repository at this point in the history
  • Loading branch information
fthomas committed May 14, 2015
1 parent 3ae23ef commit 28d4f90
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 5 deletions.
10 changes: 6 additions & 4 deletions build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,11 @@ organization := "eu.timepit"
homepage := Some(url("https://github.com/fthomas/refined"))
startYear := Some(2015)
licenses += "MIT" -> url("http://opensource.org/licenses/MIT")

val gitRepo = "git@github.com:fthomas/refined.git"
scmInfo := Some(ScmInfo(homepage.value.get,
"scm:git:https://github.com/fthomas/refined.git",
Some("scm:git:" + git.remoteRepo.value)))
Some(s"scm:git:$gitRepo")))

scalaVersion := "2.11.6"
scalacOptions ++= Seq(
Expand Down Expand Up @@ -72,7 +74,7 @@ pomExtra :=

// site settings

site.settings
site.includeScaladoc()
//site.settings
//site.includeScaladoc()
//ghpages.settings
git.remoteRepo := "git@github.com:fthomas/refined.git"
//git.remoteRepo := gitRepo
2 changes: 1 addition & 1 deletion project/plugin-site.sbt
Original file line number Diff line number Diff line change
@@ -1 +1 @@
addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1")
//addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1")
4 changes: 4 additions & 0 deletions src/test/scala/eu/timepit/refined/CollectionSpec.scala
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,8 @@ class CollectionSpec extends Properties("collection") {
property("Exists[Equal[_]]") = forAll { (l: List[Int]) =>
Predicate[Exists[Equal[_1]], List[Int]].isValid(l) == l.contains(1)
}

property("Size[Greater[_]]") = forAll { (l: List[Int]) =>
Predicate[Size[Greater[_5]], List[Int]].isValid(l) == (l.size > 5)
}
}

0 comments on commit 28d4f90

Please sign in to comment.