diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-10-17 13:26:11 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-10-17 13:26:11 -0400 |
commit | 25838bc2eb221b82151c648473b3528e3a4e4e9d (patch) | |
tree | 92cc696c1a66e0e4a5bf035bdbe704a9d4edb155 /lib/ur/monad.ur | |
parent | d15954cc4756d7ae630f36d5b72f9fbbd864b681 (diff) |
Simplify type of Monad.appR2
Diffstat (limited to 'lib/ur/monad.ur')
-rw-r--r-- | lib/ur/monad.ur | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/ur/monad.ur b/lib/ur/monad.ur index 4fc1de87..487aef26 100644 --- a/lib/ur/monad.ur +++ b/lib/ur/monad.ur @@ -94,13 +94,11 @@ fun foldMapR [K] [m] (_ : monad m) [tf :: K -> Type] [tf' :: K -> Type] [tr :: { fl fun appR2 [K] [m] (_ : monad m) [tf1 :: K -> Type] [tf2 :: K -> Type] - (f : nm :: Name -> t :: K -> rest :: {K} - -> [[nm] ~ rest] => - tf1 t -> tf2 t -> m unit) + (f : nm :: Name -> t :: K -> tf1 t -> tf2 t -> m unit) [r ::: {K}] (fl : folder r) = @Top.fold [fn r :: {K} => $(map tf1 r) -> $(map tf2 r) -> m unit] (fn [nm :: Name] [t :: K] [rest :: {K}] [[nm] ~ rest] acc r1 r2 => acc (r1 -- nm) (r2 -- nm); - f [nm] [t] [rest] ! r1.nm r2.nm) + f [nm] [t] r1.nm r2.nm) (fn _ _ => return ()) fl |