From b71c7b9ec4580326772a212fbe011322ae1ac063 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 11 Oct 2019 17:18:02 -0400
Subject: JSON instance for times, based on RFC 3339 (because Google APIs use
 it)

---
 lib/ur/json.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/ur/json.urs')

diff --git a/lib/ur/json.urs b/lib/ur/json.urs
index 56f5a897..7b83d03d 100644
--- a/lib/ur/json.urs
+++ b/lib/ur/json.urs
@@ -13,6 +13,7 @@ val json_string : json string
 val json_int : json int
 val json_float : json float
 val json_bool : json bool
+val json_time : json time
 val json_option : a ::: Type -> json a -> json (option a)
 val json_list : a ::: Type -> json a -> json (list a)
 
-- 
cgit v1.2.3