Add a TODO data type skip some ToSchema instances

parent 42e3688f
...@@ -334,9 +334,14 @@ instance (Ord a, FromJSON a) => FromJSON (PatchMSet a) where ...@@ -334,9 +334,14 @@ instance (Ord a, FromJSON a) => FromJSON (PatchMSet a) where
instance (Ord a, Arbitrary a) => Arbitrary (PatchMSet a) where instance (Ord a, Arbitrary a) => Arbitrary (PatchMSet a) where
arbitrary = (PatchMSet . PM.fromMap) <$> arbitrary arbitrary = (PatchMSet . PM.fromMap) <$> arbitrary
data TODO = TODO
deriving (Generic)
instance ToSchema TODO where
instance ToSchema a => ToSchema (PatchMSet a) where instance ToSchema a => ToSchema (PatchMSet a) where
-- TODO -- TODO
declareNamedSchema _ = undefined declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy TODO)
type instance Patched (PatchMSet a) = MSet a type instance Patched (PatchMSet a) = MSet a
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment