git.iko.soy/typeable/schematic
on master help sign in
Add jsonschema test case
commit0df72db6acfeb8fe1db121c69bdec06fed6210fc authorDenis Redozubov <denis.redozubov@gmail.com> dateWed 30 Aug 2017, 19:45 (9 years ago) parent7fb6aa9
4 files changed+51−5
compare with master
unifiedsplit
README.md+2 schematic.cabal+2−1 test/JsonSchemaSpec.hs+43 test/LensSpec.hs+4−4
README.md+2
@@ -127,6 +127,8 @@ There are two ways of working with named fields in the objects:
127127* Using the `fget` and `fset` functions: `fget fooProxy (fput newFooVal objectData) == newFooVal`
128128* Using the lens library: `set (flens (Proxy @"foo")) newFooVal objectData ^. flens (Proxy @"foo") == newFooVal`
129129
130+## Export to json-schema (draft 4)
131+
130132
131133## TODO
132134
schematic.cabal+2−1
@@ -96,6 +96,7 @@ test-suite spec
9696 , GADTs
9797 , KindSignatures
9898 , InstanceSigs
99+ , LambdaCase
99100 , MultiParamTypeClasses
100101 , OverloadedLists
101102 , OverloadedStrings
@@ -125,7 +126,7 @@ test-suite spec
125126 , schematic
126127 , smallcheck
127128 , smallcheck-series
128− , singletons >= 2.3.1
129+ , singletons
129130 , tagged
130131 , text
131132 , unordered-containers
test/JsonSchemaSpec.hsnew file+43
@@ -0,0 +1,43 @@
1+module JsonSchemaSpec (spec, main) where
2+
3+import Data.Aeson as J
4+import Data.Proxy
5+import Data.Schematic
6+import Data.Vinyl
7+import JSONSchema.Draft4 as D4
8+import Test.Hspec
9+
10+
11+type ArraySchema = 'SchemaArray '[ 'AEq 1] ('SchemaNumber '[ 'NGt 10])
12+
13+type ArrayField = '("foo", ArraySchema)
14+
15+type FieldsSchema =
16+ '[ ArrayField, '("bar", 'SchemaOptional ('SchemaText '[ 'TEnum '["foo", "bar"]]))]
17+
18+type SchemaExample = 'SchemaObject FieldsSchema
19+
20+arrayData :: JsonRepr ArraySchema
21+arrayData = ReprArray [ReprNumber 13]
22+
23+arrayField :: FieldRepr ArrayField
24+arrayField = FieldRepr arrayData
25+
26+objectData :: Rec FieldRepr FieldsSchema
27+objectData = FieldRepr arrayData
28+ :& FieldRepr (ReprOptional (Just (ReprText "foo")))
29+ :& RNil
30+
31+exampleData :: JsonRepr SchemaExample
32+exampleData = ReprObject objectData
33+
34+spec :: Spec
35+spec = do
36+ it "validates simple schema" $ do
37+ let schema = D4.SchemaWithURI (toJsonSchema (Proxy @SchemaExample)) Nothing
38+ fetchHTTPAndValidate schema (toJSON exampleData) >>= \case
39+ Left _ -> fail "failed to validate test example"
40+ Right _ -> pure ()
41+
42+main :: IO ()
43+main = hspec spec
test/LensSpec.hs+4−4
@@ -305,16 +305,16 @@ spec = do
305305 newFooVal = FieldRepr $ ReprArray [ReprNumber 15]
306306 fooProxy = Proxy @"foo"
307307 it "gets the field from an object" $ do
308− fget fooProxy objectData == arrayField
308+ fget fooProxy objectData `shouldBe` arrayField
309309 it "sets the object field" $ do
310− fget fooProxy (fput newFooVal objectData) == newFooVal
310+ fget fooProxy (fput newFooVal objectData) `shouldBe` newFooVal
311311
312312 describe "(using lens library) " $ do
313313 it "get the field from an object" $ do
314− objectData ^. flens (Proxy @"foo") == arrayField
314+ objectData ^. flens (Proxy @"foo") `shouldBe` arrayField
315315 it "sets the object field" $ do
316316 set (flens (Proxy @"foo")) newFooVal objectData ^. flens (Proxy @"foo")
317− == newFooVal
317+ `shouldBe` newFooVal
318318
319319main :: IO ()
320320main = hspec spec