add Json.isEmpty for checks in publishing
commitd338e37a02e0b76bb7c4da06af9ca26dfde4b3f8
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 4 Jun 2019, 11:38 (7 years ago)
parentb3c97d2
compiler/src/Json/String.hs+6
@@ -2,6 +2,7 @@
22{-# LANGUAGE BangPatterns, EmptyDataDecls #-}
33module Json.String
44 ( String
5+ , isEmpty
56 --
67 , fromPtr
78 , fromName
@@ -45,6 +46,11 @@ type String =
4546data JSON_STRING
4647
4748
49+isEmpty :: String -> Bool
50+isEmpty =
51+ Utf8.isEmpty
52+
53+
4854
4955-- FROM
5056