Mercurial > urweb
comparison lib/ur/list.urs @ 1057:eaba663fd6aa
Represent FFI function names as strings, to deal with cross-file recursion
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 05 Dec 2009 14:01:34 -0500 |
parents | b873feb3eb52 |
children | 52571ca9b777 |
comparison
equal
deleted
inserted
replaced
1056:c42bfbd75ca9 | 1057:eaba663fd6aa |
---|---|
5 | 5 |
6 val foldl : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b | 6 val foldl : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b |
7 val foldlAbort : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> option b | 7 val foldlAbort : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> option b |
8 val foldlMapAbort : a ::: Type -> b ::: Type -> c ::: Type | 8 val foldlMapAbort : a ::: Type -> b ::: Type -> c ::: Type |
9 -> (a -> b -> option (c * b)) -> b -> t a -> option (t c * b) | 9 -> (a -> b -> option (c * b)) -> b -> t a -> option (t c * b) |
10 | |
11 val foldr : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b | |
10 | 12 |
11 val length : a ::: Type -> t a -> int | 13 val length : a ::: Type -> t a -> int |
12 | 14 |
13 val rev : a ::: Type -> t a -> t a | 15 val rev : a ::: Type -> t a -> t a |
14 | 16 |