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'
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 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
112
114
113
115
enc' ∷ Star (Writer J.Json ) (Variant r' ) (Variant r' )
114
116
enc' = Star \v →
You can’t perform that action at this time.
0 commit comments