File tree Expand file tree Collapse file tree 2 files changed +9
-0
lines changed Expand file tree Collapse file tree 2 files changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -4,6 +4,7 @@ import Data.Argonaut.Encode.Encoders
4
4
5
5
import Data.Argonaut.Core (Json , fromObject )
6
6
import Data.Array.NonEmpty (NonEmptyArray )
7
+ import Data.String.NonEmpty (NonEmptyString )
7
8
import Data.Either (Either )
8
9
import Data.Identity (Identity )
9
10
import Data.List (List )
@@ -58,6 +59,9 @@ instance encodeJsonJson :: EncodeJson Json where
58
59
instance encodeJsonCodePoint :: EncodeJson CodePoint where
59
60
encodeJson = encodeCodePoint
60
61
62
+ instance encodeNonEmptyString :: EncodeJson NonEmptyString where
63
+ encodeJson = encodeNonEmptyString
64
+
61
65
instance encodeJsonNonEmpty_Array :: (EncodeJson a ) => EncodeJson (NonEmpty Array a ) where
62
66
encodeJson = encodeNonEmpty_Array encodeJson
63
67
Original file line number Diff line number Diff line change @@ -12,6 +12,8 @@ import Data.Int (toNumber)
12
12
import Data.List (List (..), (:), toUnfoldable )
13
13
import Data.List.NonEmpty as NEL
14
14
import Data.List.Types (NonEmptyList )
15
+ import Data.String.NonEmpty (NonEmptyString )
16
+ import Data.String.NonEmpty as NonEmptyString
15
17
import Data.Map as M
16
18
import Data.Maybe (Maybe (..))
17
19
import Data.NonEmpty (NonEmpty (..))
@@ -60,6 +62,9 @@ encodeString = fromString
60
62
encodeCodePoint :: CodePoint -> Json
61
63
encodeCodePoint = encodeString <<< CP .singleton
62
64
65
+ encodeNonEmptyString :: NonEmptyString -> Json
66
+ encodeNonEmptyString = fromString <<< NonEmptyString .toString
67
+
63
68
encodeNonEmpty_Array :: forall a . (a -> Json ) -> NonEmpty Array a -> Json
64
69
encodeNonEmpty_Array encoder (NonEmpty h t) = encodeArray encoder (Arr .cons h t)
65
70
You can’t perform that action at this time.
0 commit comments