File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 2
2
module Data.Codec.Argonaut.Compat
3
3
( module Data.Codec.Argonaut.Compat
4
4
, module Data.Codec.Argonaut
5
- , module Common
5
+ , module Common
6
6
) where
7
7
8
8
import Prelude
Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ instance nullarySumCodecCtor ∷ IsSymbol name ⇒ NullarySumCodec (Constructor
44
44
J .fromString $ reflectSymbol (Proxy ∷ Proxy name )
45
45
nullarySumDecode name j = do
46
46
tag ← note (CA.Named name (CA.TypeMismatch " String" )) (J .toString j)
47
- if tag /= reflectSymbol (Proxy ∷ Proxy name ) then
47
+ if tag /= reflectSymbol (Proxy ∷ Proxy name ) then
48
48
Left (CA.Named name (CA.UnexpectedValue j))
49
49
else
50
50
Right (Constructor NoArguments )
Original file line number Diff line number Diff line change @@ -103,7 +103,7 @@ variantCase proxy eacodec (GCodec dec enc) = GCodec dec' enc'
103
103
dec' = ReaderT \j → do
104
104
obj ← decode jobject j
105
105
tag ← decode (prop " tag" string) obj
106
- if tag == reflectSymbol proxy then
106
+ if tag == reflectSymbol proxy then
107
107
case eacodec of
108
108
Left a → pure (inj proxy a)
109
109
Right codec → do
You can’t perform that action at this time.
0 commit comments