type-spec 0.3.0.1 → 0.4.0.0
raw patch · 4 files changed
+7/−8 lines, 4 files
Files
- README.md +3/−3
- src/Test/TypeSpec/ShouldBe.hs +1/−1
- stack.yaml +1/−1
- type-spec.cabal +2/−3
README.md view
@@ -45,9 +45,9 @@ Valid: Higher kinded assertions ShouldBe accepts types of kind * -> *- • Types are equal- • Types are equal- • Types are equal+ (✓ Equal)+ (✓ Equal)+ (✓ Equal) If you like Lisp, this might be for you:
src/Test/TypeSpec/ShouldBe.hs view
@@ -101,4 +101,4 @@ -- | Pretty print a test prefix by a bullet-point. prettyCheck :: String -> Doc-prettyCheck doc = parens (text "✓" <+> text doc)+prettyCheck doc = parens (text "OK" <+> text doc)
stack.yaml view
@@ -1,4 +1,4 @@-resolver: lts-7.0+resolver: lts-13.3 packages: - '.' extra-deps: []
type-spec.cabal view
@@ -1,5 +1,5 @@ name: type-spec-version: 0.3.0.1+version: 0.4.0.0 synopsis: Type Level Specification by Example description: Please see README.md homepage: https://github.com/sheyll/type-spec#readme@@ -7,7 +7,7 @@ license-file: LICENSE author: Sven Heyll maintainer: sven.heyll@gmail.com-copyright: 2016 Sven Heyll+copyright: 2016-2019 Sven Heyll category: Testing build-type: Simple extra-source-files: examples/Main.hs@@ -66,7 +66,6 @@ ghc-options: -Wall hs-source-dirs: examples main-is: Main.hs- default-language: Haskell2010 build-depends: base >= 4.9 && < 5 , type-spec default-language: Haskell2010