diff options
Diffstat (limited to 'lib/ur/top.urs')
| -rw-r--r-- | lib/ur/top.urs | 4 |
1 files changed, 4 insertions, 0 deletions
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} |