diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-11-04 09:39:07 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-11-04 09:39:07 -0500 |
commit | 096fbda34b67cccd2026c44006bd9bc98d28c98c (patch) | |
tree | fccb9d193cab99a9823f39aa8e56250ec3811f61 /lib/ur/list.urs | |
parent | db6451caad44785887bb9c9a1781bd861a3a46ce (diff) |
List.mapMi
Diffstat (limited to 'lib/ur/list.urs')
-rw-r--r-- | lib/ur/list.urs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ur/list.urs b/lib/ur/list.urs index f4593dda..c5c279b7 100644 --- a/lib/ur/list.urs +++ b/lib/ur/list.urs @@ -31,6 +31,9 @@ val mapXi : a ::: Type -> ctx ::: {Unit} -> (int -> a -> xml ctx [] []) -> t a - val mapM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m b) -> t a -> m (t b) +val mapMi : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type + -> (int -> a -> m b) -> t a -> m (t b) + val mapPartialM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m (option b)) -> t a -> m (t b) val mapXM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit} |