Mercurial > urweb
comparison lib/ur/list.urs @ 1539:dde3bd82cb3d
List.mapXi
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 15 Aug 2011 10:22:09 -0400 |
parents | ada582d07ae1 |
children | 553a5cc3a4b5 |
comparison
equal
deleted
inserted
replaced
1538:ade93cd5bc59 | 1539:dde3bd82cb3d |
---|---|
23 val mapPartial : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> t b | 23 val mapPartial : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> t b |
24 | 24 |
25 val mapi : a ::: Type -> b ::: Type -> (int -> a -> b) -> t a -> t b | 25 val mapi : a ::: Type -> b ::: Type -> (int -> a -> b) -> t a -> t b |
26 | 26 |
27 val mapX : a ::: Type -> ctx ::: {Unit} -> (a -> xml ctx [] []) -> t a -> xml ctx [] [] | 27 val mapX : a ::: Type -> ctx ::: {Unit} -> (a -> xml ctx [] []) -> t a -> xml ctx [] [] |
28 | |
29 val mapXi : a ::: Type -> ctx ::: {Unit} -> (int -> a -> xml ctx [] []) -> t a -> xml ctx [] [] | |
28 | 30 |
29 val mapM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type | 31 val mapM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type |
30 -> (a -> m b) -> t a -> m (t b) | 32 -> (a -> m b) -> t a -> m (t b) |
31 | 33 |
32 val mapPartialM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m (option b)) -> t a -> m (t b) | 34 val mapPartialM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m (option b)) -> t a -> m (t b) |