Add null to Maybe a schemas

+ Generate a schema for `a`
+ Generate a schema with the `null` type
+ Combine both schemas with a `oneOf` to emulate `Maybe a`
+ Follows behaviour of other `Maybe` instances, e.g., `ToJSON`

Author: rasheedja

src/Data/OpenApi/Internal/Schema.hs

@@ -79,6 +79,8 @@ import qualified Data.ByteString as BS
 import qualified Data.ByteString.Lazy.Char8 as BSL
 import GHC.TypeLits (TypeError, ErrorMessage(..))
 
+import qualified Debug.Trace as Trace
+
 unnamed :: Schema -> NamedSchema
 unnamed schema = NamedSchema Nothing schema
 
@@ -623,7 +625,14 @@ instance ToSchema Float       where declareNamedSchema = plain . paramSchemaToSc
 instance (Typeable (Fixed a), HasResolution a) => ToSchema (Fixed a) where declareNamedSchema = plain . paramSchemaToSchema
 
 instance ToSchema a => ToSchema (Maybe a) where
-  declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy a)
+  declareNamedSchema _ = do
+    NamedSchema mName aSchema <- declareNamedSchema (Proxy :: Proxy a)
+    
+    let aSchemaWithNull = mempty
+          { _schemaOneOf = Just [Inline aSchema, Inline mempty { _schemaType = Just OpenApiNull }]
+          }
+
+    return $ NamedSchema mName aSchemaWithNull
 
 instance (ToSchema a, ToSchema b) => ToSchema (Either a b) where
   -- To match Aeson instance