target / theta-idl

Define communication protocols between applications using algebraic data types.
Other
45 stars 9 forks source link

Add LocalDatetime type #58

Closed TikhonJelvis closed 2 years ago

TikhonJelvis commented 2 years ago

This type maps to a date/time combination with no timezone. It's based on the Avro local-timestamp-micros logical type, but doesn't compile to that (yet) because it isn't supported by the Haskell avro package[^pr].

LocalDatetime compiles to:

[^pr]: I submitted a PR to fix this. If that gets merged and released soon, I'll add support for local-timestamp-micros before cutting the official 1.1.0 version of Theta.