From 33dbb6c0000a5d82267f984191e7390be86b7dfd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 8 Sep 2009 10:55:49 -0400
Subject: dragList demo working, save for Gecko load delay and highlighting

---
 lib/ur/monad.urs | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/lib/ur/monad.urs b/lib/ur/monad.urs
index f64e2362..27fe255f 100644
--- a/lib/ur/monad.urs
+++ b/lib/ur/monad.urs
@@ -4,6 +4,9 @@ val exec : m ::: (Type -> Type) -> monad m -> ts ::: {Type}
 val ignore : m ::: (Type -> Type) -> monad m -> t ::: Type
              -> m t -> m unit
 
+val mp : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
+         -> (a -> b) -> m a -> m b
+
 val foldR : K --> m ::: (Type -> Type) -> monad m
             -> tf :: (K -> Type)
             -> tr :: ({K} -> Type)
-- 
cgit v1.2.3