Mercurial > urweb
comparison lib/ur/listPair.urs @ 1885:8297968cf7ef
Rename ListPair.map2 to ListPair.mp
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 04 Nov 2013 08:38:20 -0500 |
parents | 5c30eea7aa78 |
children |
comparison
equal
deleted
inserted
replaced
1884:5c30eea7aa78 | 1885:8297968cf7ef |
---|---|
4 val mapX : a ::: Type -> b ::: Type -> ctx ::: {Unit} | 4 val mapX : a ::: Type -> b ::: Type -> ctx ::: {Unit} |
5 -> (a -> b -> xml ctx [] []) -> list a -> list b -> xml ctx [] [] | 5 -> (a -> b -> xml ctx [] []) -> list a -> list b -> xml ctx [] [] |
6 | 6 |
7 val all : a ::: Type -> b ::: Type -> (a -> b -> bool) -> list a -> list b -> bool | 7 val all : a ::: Type -> b ::: Type -> (a -> b -> bool) -> list a -> list b -> bool |
8 | 8 |
9 val map2 : a ::: Type -> b ::: Type -> c ::: Type | 9 val mp : a ::: Type -> b ::: Type -> c ::: Type |
10 -> (a -> b -> c) -> list a -> list b -> list c | 10 -> (a -> b -> c) -> list a -> list b -> list c |