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 22module Data.Codec.Argonaut.Compat
33 ( module Data.Codec.Argonaut.Compat
44 , module Data.Codec.Argonaut
5- , module Common
5+ , module Common
66 ) where
77
88import Prelude
Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ instance nullarySumCodecCtor ∷ IsSymbol name ⇒ NullarySumCodec (Constructor
4444 J .fromString $ reflectSymbol (Proxy ∷ Proxy name )
4545 nullarySumDecode name j = do
4646 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
4848 Left (CA.Named name (CA.UnexpectedValue j))
4949 else
5050 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'
103103 dec' = ReaderT \j → do
104104 obj ← decode jobject j
105105 tag ← decode (prop " tag" string) obj
106- if tag == reflectSymbol proxy then
106+ if tag == reflectSymbol proxy then
107107 case eacodec of
108108 Left a → pure (inj proxy a)
109109 Right codec → do
You can’t perform that action at this time.
0 commit comments