• Iustin Pop's avatar
    Add a 'real' type for JobIds · c48711d5
    Iustin Pop authored
    
    
    Currently, the job ID is a simple type alias. This is suboptimal, as
    it means we can't use a custom JSON (or Arbitrary) instance for it.
    
    The patch changes it into a newtype, and then a) simplifies some
    deserialisation code and b) changes some more fields to this new type
    (rather than plain 'Int').
    
    We also move the JobId to types, since it will be needed in opcodes as
    well.
    Signed-off-by: default avatarIustin Pop <iustin@google.com>
    Reviewed-by: default avatarGuido Trotter <ultrotter@google.com>
    c48711d5
Types.hs 11.9 KB