diff options
author | 2008-09-13 11:13:46 -0400 | |
---|---|---|
committer | 2008-09-13 11:13:46 -0400 | |
commit | 14c2a9e4b84d7344b40c7398c8896338939bfcc1 (patch) | |
tree | d4a6d210fcc14e26dd25bc5e1ac23fc640eee299 /lib/top.urs | |
parent | fd2079464d7b65430af09f2734fa55039006a3e3 (diff) |
foldTRX2
Diffstat (limited to 'lib/top.urs')
-rw-r--r-- | lib/top.urs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/top.urs b/lib/top.urs index c2d2fc8f..0e211373 100644 --- a/lib/top.urs +++ b/lib/top.urs @@ -14,3 +14,8 @@ val foldTR2 : tf1 :: (Type -> Type) -> tf2 :: (Type -> Type) -> tr :: ({Type} -> -> (nm :: Name -> t :: Type -> rest :: {Type} -> [nm] ~ rest -> tf1 t -> tf2 t -> tr rest -> tr ([nm = t] ++ rest)) -> tr [] -> r :: {Type} -> $(mapTT tf1 r) -> $(mapTT tf2 r) -> tr r + +val foldTRX2 : tf1 :: (Type -> Type) -> tf2 :: (Type -> Type) -> ctx :: {Unit} + -> (nm :: Name -> t :: Type -> rest :: {Type} -> [nm] ~ rest + -> tf1 t -> tf2 t -> xml ctx [] []) + -> r :: {Type} -> $(mapTT tf1 r) -> $(mapTT tf2 r) -> xml ctx [] [] |