github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity

clean up learning comments

Browse Source
This commit is contained in:
Ayman Nadeem 2020-01-07 13:51:18 -05:00
parent 759079f5da
commit b266573ba4
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -38,10 +38,6 @@ data Bar a = Bar
-- it has a constant, foo :: Text, so it will require K1 R
-- Serialize unmarshaled ASTs into JSON representation by auto-deriving Aeson instances generically
-- Given some shape t with polymorphic type a such that a has a ToJSON instance, we can produce a JSON value
-- in the default definition, we add further constraints:
-- - Generic1 t - the type constructor will be a sum, product, leaf etc. and will require a Generic1 instance
-- - GMarshalJSON (Rep1 t) -- the type constructor should be a Rep1, which is an associated type (ie., an open type family affiliated with a class, and thus it's like a function for types, in this case the Haskell language datatypes used in the AST)
class MarshalJSON t where
marshal :: (ToJSON a) => t a -> Value
default marshal :: ( Generic1 t, GMarshalJSON (Rep1 t), ToJSON a) => t a -> Value