github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity

this is the base case for products

Browse Source
This commit is contained in:
Ayman Nadeem 2019-12-18 17:25:34 -05:00
parent 34de9472a7
commit 1f2b1c3dd3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-ast/src/Marshal/JSON.hs
View File

@ -67,9 +67,9 @@ instance GFields fields => GMarshalJSON (C1 c fields) where
instance (GFields f, GFields g) => GFields (f :*: g) where
gfields acc (f :*: g) = gfields (gfields acc g) f
-- Implement base case
-- Takes term-level value of the type-level string 'fieldname' by passing a Proxy specialised to 'fieldname' to the knownSymbol function.
-- To actually get a value out of this datum, we'll need one more typeclass. Let's call its method 'gvalue'.
-- Implement base case for products
instance (GValue p, Selector s) => GFields (S1 s p) where
gfields acc x = (Text.pack (selName x), gvalue (unM1 x)) : acc
-- knows what the type of x is, whereas M1 has parameters that can be instantiated to anything