Improve CharTypesSpec

fthomas · May 1, 2018 · 3378375 · 3378375
1 parent 7538f08
commit 3378375
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/modules/core/shared/src/test/scala/eu/timepit/refined/types/CharTypesSpec.scala b/modules/core/shared/src/test/scala/eu/timepit/refined/types/CharTypesSpec.scala
@@ -10,7 +10,15 @@ class CharTypesSpec extends Properties("CharTypes") {
     LowerCaseChar.from('a').isRight
   }
 
+  property("LowerCaseChar.from('A')") = secure {
+    LowerCaseChar.from('A') ?= Left("Predicate failed: isLower('A').")
+  }
+
   property("UpperCaseChar.from('A')") = secure {
     UpperCaseChar.from('A').isRight
   }
+
+  property("UpperCaseChar.from('a')") = secure {
+    UpperCaseChar.from('a') ?= Left("Predicate failed: isUpper('a').")
+  }
 }