git.iko.soy/typeable/openapi3
on master help sign in
Add test for sum of unary types
d1f97f1Nickolay Kudasov
test/Data/Swagger/SchemaSpec.hs+25
compare with master
unifiedsplit
@@ -41,6 +41,8 @@ spec = do
41 context "Player (unary record)" $ checkToSchema (Proxy :: Proxy Player) playerSchemaJSON
41 context "Player (unary record)" $ checkToSchema (Proxy :: Proxy Player) playerSchemaJSON
42 context "Players (inlining schema)" $ checkToSchema (Proxy :: Proxy Players) playersSchemaJSON
42 context "Players (inlining schema)" $ checkToSchema (Proxy :: Proxy Players) playersSchemaJSON
43 context "MyRoseTree (datatypeNameModifier)" $ checkToSchema (Proxy :: Proxy MyRoseTree) myRoseTreeSchemaJSON
43 context "MyRoseTree (datatypeNameModifier)" $ checkToSchema (Proxy :: Proxy MyRoseTree) myRoseTreeSchemaJSON
44+ context "Sum types" $ do
45+ context "Status (sum of unary constructors)" $ checkToSchema (Proxy :: Proxy Status) statusSchemaJSON
44 context "Schema name" $ do
46 context "Schema name" $ do
45 context "String" $ checkSchemaName Nothing (Proxy :: Proxy String)
47 context "String" $ checkSchemaName Nothing (Proxy :: Proxy String)
46 context "(Int, Float)" $ checkSchemaName Nothing (Proxy :: Proxy (Int, Float))
48 context "(Int, Float)" $ checkSchemaName Nothing (Proxy :: Proxy (Int, Float))
@@ -295,3 +297,26 @@ playersSchemaJSON = [aesonQQ|
295}
297}
296|]
298|]
297
299
300+-- ========================================================================
301+-- Status (sum type with unary constructors)
302+-- ========================================================================
303+
304+data Status
305+ = StatusOk String
306+ | StatusError String
307+ deriving (Generic, ToSchema)
308+
309+statusSchemaJSON :: Value
310+statusSchemaJSON = [aesonQQ|
311+{
312+ "type": "object",
313+ "properties":
314+ {
315+ "StatusOk": { "type": "string" },
316+ "StatusError": { "type": "string" }
317+ },
318+ "maxProperties": 1,
319+ "minProperties": 1
320+}
321+|]
322+