daml - 从 DA.Time 存储和检索微秒
问题描述
我正在使用 FIX Timestamp 20180605-03:10:33.0240756
,我需要解析它DA.Time
以作为贸易信息的一部分持续存在。我还需要将微秒作为响应消息 (ACK/NACK) 的一部分返回。
理想情况下,我希望有一种简单的方法。
目前,我使用 DA.Time 时间构造函数最多只能存储几秒钟。查看https://docs.daml.com/daml/stdlib/base.html#data-prelude-time-24894,似乎检索微秒的方法是:
- 创建另一个无微秒的时间
subTime
既要得到RelTime
- 呼入
microseconds
_RelTime
如果有更好的方法,请告知这是否正确。谢谢你。
解决方案
在通常情况下,我建议在分类帐外进行字符串解析并在 asDate
和Time
类型中传递日期和时间,但听起来您需要在 DAML 中在分类帐上执行此操作。
您的第一个问题涉及将字符串解析为DA.Time
. 目前没有内置的通用日期/时间解析功能,因此您必须自己构建。对于像您这样的固定格式,模式匹配非常简单:
daml 1.2
module ParseTime where
import DA.Assert
import DA.Optional
import DA.Text
import DA.Time
import DA.Date
-- | `parseUTC` takes a string in the format "yyyyMMdd-HHmmss.SSS"
-- and converts it to `Time`, assuming the time is in UTC
-- Time is truncated to whole microseconds.
parseDateTimeUTC utc = datetime yy mon dd h m s `addRelTime` micros
where
-- Split out the micro seconds to stay under
-- pattern match complexity limit
[dt, ms] = splitOn "." utc
-- Pattern match on `explode` to check
-- the format and assign names to characters
[ y1, y2, y3, y4, mon1, mon2, d1, d2, "-",
h1, h2, ":", m1, m2, ":", s1, s2
] = explode dt
-- The function will fail on `fromSome` if any of the
-- integer strings don't parse
unsafeParse = fromSome . parseInt . implode
-- Map the parse function over grouped characters and
-- pattern match the result to give names to the Ints
[yy, imon, dd, h, m, s, imic] = map unsafeParse
[[y1, y2, y3, y4], [mon1, mon2], [d1, d2],
[h1, h2], [m1, m2], [s1, s2], explode $ T.take 6 ms]
-- Process month and microseconds into `Month` and
-- `Reltime` types
mon = toEnum $ imon - 1
mic = 10 ^ (max 0 (6 - T.length ms)) * imic
micros = convertMicrosecondsToRelTime mic
t = scenario do
let t = time (date 2018 Jun 05) 03 10 33 `addRelTime` convertMicrosecondsToRelTime 24075
parseDateTimeUTC "20180605-03:10:33.0240756" === t
要在DA.Time
微秒和微秒之间转换,我们需要选择时区。假设 UTC,我们可以定义
epochUTC = datetime 1970 Jan 1 0 0 0
microToTimeUTC n = epoch `addRelTime` convertMicrosecondsToRelTime n
timeToMicroUTC t = convertRelTimeToMicroseconds $ t `subTime` epoch
t2 = scenario do
microToTimeUTC 1557733583000000 === datetime 2019 May 13 07 46 23
timeToMicroUTC (datetime 2019 May 13 07 46 23) === 1557733583000000
在日期之间转换DA.Time
和Int
表示。
如果您想要现有 的微秒组件DA.Time
,您只需要微秒表示的最后六位数字:
micros t = timeToMicroUTC t % 1000000
t3 = scenario do
micros (parseDateTimeUTC "20180605-03:10:33.0240756") === 24075
注意这里截断到整微秒,这也在parseDateTimeUTC
.
推荐阅读
- python - 在特定字符正则表达式之间查找文本
- python - 带有 Pandas_datareader 的 RemoteDataError
- azure-data-factory - azure df 中的复制活动价格
- r - 从 r 中的逻辑回归创建栅格图层
- dataframe - 我可以制作一个使用循环制作像这样的数据框的函数吗?(后续问题)
- uno-platform - 我可以在 UWP 应用中使用 Uno 跨平台库吗?
- javascript - 定义重复对象计数的 Js 数组
- swift - 遍历 WordsArray 中的每个单词以从中获取每个字符
- google-cloud-platform - 谷歌云文本到语音的质量更好
- c++ - 为什么我的虚拟赋值运算符没有按预期执行?