Mercurial > urweb

comparison lib/ur/monad.urs @ 1768:a613cae954ca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some standard library additions from Edward Z. Yang
author Adam Chlipala <adam@chlipala.net>
date Sat, 19 May 2012 11:32:12 -0400
parents 0bf73c3e4563
children cbd294994c69
comparison
equal deleted inserted replaced
1766:92cfc69419bd 1768:a613cae954ca
4 val ignore : m ::: (Type -> Type) -> monad m -> t ::: Type 4 val ignore : m ::: (Type -> Type) -> monad m -> t ::: Type
5 -> m t -> m unit 5 -> m t -> m unit
6 6
7 val mp : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type 7 val mp : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
8 -> (a -> b) -> m a -> m b 8 -> (a -> b) -> m a -> m b
9
10 val liftM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
11 -> (a -> b) -> m a -> m b
12 (* Haskell-style synonym for [mp] *)
13
14 val liftM2 : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> c ::: Type
15 -> (a -> b -> c) -> m a -> m b -> m c
9 16
10 val foldR : K --> m ::: (Type -> Type) -> monad m 17 val foldR : K --> m ::: (Type -> Type) -> monad m
11 -> tf :: (K -> Type) 18 -> tf :: (K -> Type)
12 -> tr :: ({K} -> Type) 19 -> tr :: ({K} -> Type)
13 -> (nm :: Name -> t :: K -> rest :: {K} 20 -> (nm :: Name -> t :: K -> rest :: {K}