File tree Expand file tree Collapse file tree 1 file changed +8
-6
lines changed Expand file tree Collapse file tree 1 file changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -103,12 +103,14 @@ 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 case eacodec of
107- Left a → pure (inj proxy a)
108- Right codec → do
109- value ← decode (prop " value" json) obj
110- inj proxy <$> decode codec value
111- else coerceR <$> runReaderT dec j
106+ if tag == reflectSymbol proxy then
107+ case eacodec of
108+ Left a → pure (inj proxy a)
109+ Right codec → do
110+ value ← decode (prop " value" json) obj
111+ inj proxy <$> decode codec value
112+ else
113+ coerceR <$> runReaderT dec j
112114
113115 enc' ∷ Star (Writer J.Json ) (Variant r' ) (Variant r' )
114116 enc' = Star \v →
You can’t perform that action at this time.
0 commit comments