Mercurial > urweb

view lib/ur/listPair.urs @ 2279:32a407902d3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rewrite LRU cache. Now uses one big hash table and is less buggy.
author Ziv Scully <ziv@mit.edu>
date Wed, 11 Nov 2015 20:01:48 -0500
parents 8297968cf7ef
children
line wrap: on
line source
val foldlAbort : a ::: Type -> b ::: Type -> c ::: Type
                 -> (a -> b -> c -> option c) -> c -> list a -> list b -> option c

val mapX : a ::: Type -> b ::: Type -> ctx ::: {Unit}
           -> (a -> b -> xml ctx [] []) -> list a -> list b -> xml ctx [] []

val all : a ::: Type -> b ::: Type -> (a -> b -> bool) -> list a -> list b -> bool

val mp : a ::: Type -> b ::: Type -> c ::: Type
         -> (a -> b -> c) -> list a -> list b -> list c