@@ -28,7 +28,7 @@ import Data.Text as T
2828
2929parseAndValidateJson
3030 :: forall schema
31− . (J.FromJSON (JsonRepr schema), TopLevel schema, Known (Sing schema))
31+ . (J.FromJSON (JsonRepr schema), TopLevel schema, SingI schema)
3232 => J.Value
3333 -> ParseResult (JsonRepr schema)
3434parseAndValidateJson v =
@@ -36,7 +36,7 @@ parseAndValidateJson v =
3636 Left s -> DecodingError $ T.pack s
3737 Right jsonRepr ->
3838 let
39− validate = validateJsonRepr (known :: Sing schema) [] jsonRepr
39+ validate = validateJsonRepr (sing :: Sing schema) [] jsonRepr
4040 res = runIdentity . runValidationTEither $ validate
4141 in case res of
4242 Left em -> ValidationError em