From c98872439db4ffacd818c82b4d6e0498c342f225 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 24 Sep 2016 10:42:48 -0400
Subject: Add mapUX_rev

---
 lib/ur/top.urs | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/lib/ur/top.urs b/lib/ur/top.urs
index 8273db0c..ec098955 100644
--- a/lib/ur/top.urs
+++ b/lib/ur/top.urs
@@ -126,6 +126,10 @@ val mapUX : tf :: Type -> ctx :: {Unit}
             -> (nm :: Name -> rest :: {Unit} -> [[nm] ~ rest] =>
                 tf -> xml ctx [] [])
             -> r ::: {Unit} -> folder r -> $(mapU tf r) -> xml ctx [] []
+val mapUX_rev : tf :: Type -> ctx :: {Unit}
+                -> (nm :: Name -> rest :: {Unit} -> [[nm] ~ rest] =>
+                    tf -> xml ctx [] [])
+                -> r ::: {Unit} -> folder r -> $(mapU tf r) -> xml ctx [] []
 
 (* Generate some XML by mapping over a heterogenously-typed record *)
 val mapX : K --> tf :: (K -> Type) -> ctx :: {Unit}
-- 
cgit v1.2.3