Mercurial > urweb
view lib/ur/listPair.urs @ 1726:4df4521fbd3b
Removed excess zero byte from empty pages.
Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js
author | Vladimir Shabanov <vshabanoff@gmail.com> |
---|---|
date | Wed, 25 Apr 2012 03:07:07 +0400 |
parents | 1c2f335297b7 |
children | 5c30eea7aa78 |
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