Mercurial > urweb

annotate lib/ur/list.urs @ 1092:6f4b05fc4361

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catch attempts to mention multiple versions of the same rooted module
author Adam Chlipala <adamc@hcoop.net>
date Fri, 25 Dec 2009 10:48:02 -0500
parents eaba663fd6aa
children 52571ca9b777
rev   line source
adamc@794 1 datatype t = datatype Basis.list
adamc@794 2
adamc@846 3 val show : a ::: Type -> show a -> show (t a)
adamc@846 4 val eq : a ::: Type -> eq a -> eq (t a)
adamc@794 5
adamc@845 6 val foldl : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b
adamc@850 7 val foldlAbort : a ::: Type -> b ::: Type -> (a -> b -> option b) -> b -> t a -> option b
adamc@850 8 val foldlMapAbort : a ::: Type -> b ::: Type -> c ::: Type
adamc@850 9 -> (a -> b -> option (c * b)) -> b -> t a -> option (t c * b)
adamc@845 10
adamc@1057 11 val foldr : a ::: Type -> b ::: Type -> (a -> b -> b) -> b -> t a -> b
adamc@1057 12
adamc@916 13 val length : a ::: Type -> t a -> int
adamc@916 14
adamc@794 15 val rev : a ::: Type -> t a -> t a
adamc@794 16
adamc@821 17 val revAppend : a ::: Type -> t a -> t a -> t a
adamc@821 18
adamc@821 19 val append : a ::: Type -> t a -> t a -> t a
adamc@821 20
adamc@794 21 val mp : a ::: Type -> b ::: Type -> (a -> b) -> t a -> t b
adamc@794 22
adamc@821 23 val mapPartial : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> t b
adamc@821 24
adamc@796 25 val mapX : a ::: Type -> ctx ::: {Unit} -> (a -> xml ctx [] []) -> t a -> xml ctx [] []
adamc@800 26
adamc@800 27 val mapM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
adamc@830 28 -> (a -> m b) -> t a -> m (t b)
adamc@830 29
adamc@830 30 val mapXM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit}
adamc@830 31 -> (a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] [])
adamc@821 32
adamc@821 33 val filter : a ::: Type -> (a -> bool) -> t a -> t a
adamc@822 34
adamc@822 35 val exists : a ::: Type -> (a -> bool) -> t a -> bool
adamc@822 36
adamc@840 37 val foldlM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
adamc@840 38 -> (a -> b -> m b) -> b -> t a -> m b
adamc@840 39
adamc@822 40 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type
adamc@822 41 -> (a -> b -> c * b) -> b -> t a -> t c * b
adamc@839 42
adamc@839 43 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b
adamc@843 44
adamc@843 45 val all : a ::: Type -> (a -> bool) -> t a -> bool
adamc@844 46
adamc@844 47 val app : m ::: (Type -> Type) -> monad m -> a ::: Type
adamc@844 48 -> (a -> m unit) -> t a -> m unit
adamc@845 49
adamc@908 50 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@908 51 -> [tables ~ exps] =>
adamc@908 52 sql_query tables exps
adamc@908 53 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t)
adamc@908 54 -> transaction (list t)
adamc@845 55
adamc@845 56 (** Association lists *)
adamc@845 57
adamc@845 58 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b
adamc@845 59
adamc@845 60 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b)