Data.Generics.Reify.Record

Documentation

reify :: Data a => Map String Dynamic -> Maybe a

Reify a Map of strings to an arbitrary type. If the type is a record, each of its field names will be looked up in the record. If any of the types don't match or if a isn't a record, Nothing will be returned.

reflect :: Data a => a -> Maybe (Map String Dynamic)

If a is a record, this will return a Map where the keys are the field names and the values are wrapped in toDyn. Otherwise Nothing will be returned.