generate a value schema as well

autodocodec-aeson/src/Autodocodec/Aeson/Document.hs

@@ -55,9 +55,12 @@ data JSONSchema
       JSONSchema
   | CommentSchema !Text !JSONSchema
   | RefSchema !Text
-  | WithDefSchema !(Map Text JSONSchema) JSONSchema
+  | WithDefSchema !(Map Text JSONSchema) !JSONSchema
   deriving (Show, Eq, Generic)
 
+-- NOTE, this is a recursive schema so we've had to manually write our generators for it.
+-- If you add any constructors here, make sure to go add the constructor to the GenValid instance as well.
+
 validateAccordingTo :: JSON.Value -> JSONSchema -> Bool
 validateAccordingTo val schema = (`evalState` M.empty) $ go val schema
   where
@@ -219,7 +222,7 @@ instance FromJSON JSONSchema where
         case mAny of
           Just anies -> pure $ ChoiceSchema anies
           Nothing -> do
-            mConst <- o JSON..:? "const"
+            let mConst = HM.lookup "const" o
             case mConst of
               Just constant -> pure $ ValueSchema constant
               Nothing -> do

autodocodec-api-usage/test/Autodocodec/Aeson/DocumentSpec.hs

@@ -100,6 +100,7 @@ instance GenValid JSONSchema where
         oneof
           [ ArraySchema <$> resize (n -1) genValid,
             (ObjectSchema <$> resize (n -1) genValid) `suchThat` isValid,
+            ValueSchema <$> genValid,
             do
               (a, b, c) <- genSplit3 (n -1)
               choice1 <- resize a genValid