Closed sarafalamaki closed 5 years ago
Parameterise the what dimension in the event.
Each of the constructors of the sum type DWhat defined in the module Data.GS1.DWhat should contain their own data types.
DWhat
Data.GS1.DWhat
For example, ObjectDWhat should be a data type, and the relevant part of the definition of DWhat should look like
ObjectDWhat
data DWhat = Obj ObjectDWhat | ..
This is so that we don't call accessor functions on the wrong DWhat. Also, it adds another level of type safety.
Original Author: fal05c
(Moved with github-migration-0.1.0.0 (package github-migration-0.1.0.0 revision df9f38b))
Parameterise the what dimension in the event.
Each of the constructors of the sum type
DWhat
defined in the moduleData.GS1.DWhat
should contain their own data types.For example,
ObjectDWhat
should be a data type, and the relevant part of the definition ofDWhat
should look likeThis is so that we don't call accessor functions on the wrong
DWhat
. Also, it adds another level of type safety.Original Author: fal05c
(Moved with github-migration-0.1.0.0 (package github-migration-0.1.0.0 revision df9f38b))