Mercurial > urweb

annotate lib/ur/list.urs @ 1588:65d6488c82d5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix confusing error message when record unification fails because enclosed types are incompatible
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 09:56:52 -0400
parents 553a5cc3a4b5
children f4cb4eebf7ae
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@1279 25 val mapi : a ::: Type -> b ::: Type -> (int -> a -> b) -> t a -> t b
adamc@1279 26
adamc@796 27 val mapX : a ::: Type -> ctx ::: {Unit} -> (a -> xml ctx [] []) -> t a -> xml ctx [] []
adamc@800 28
adam@1539 29 val mapXi : a ::: Type -> ctx ::: {Unit} -> (int -> a -> xml ctx [] []) -> t a -> xml ctx [] []
adam@1539 30
adamc@800 31 val mapM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
adamc@830 32 -> (a -> m b) -> t a -> m (t b)
adamc@830 33
adamc@1107 34 val mapPartialM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type -> (a -> m (option b)) -> t a -> m (t b)
adamc@1107 35
adamc@830 36 val mapXM : m ::: (Type -> Type) -> monad m -> a ::: Type -> ctx ::: {Unit}
adamc@830 37 -> (a -> m (xml ctx [] [])) -> t a -> m (xml ctx [] [])
adamc@821 38
adamc@821 39 val filter : a ::: Type -> (a -> bool) -> t a -> t a
adamc@822 40
adamc@822 41 val exists : a ::: Type -> (a -> bool) -> t a -> bool
adamc@822 42
adamc@840 43 val foldlM : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
adamc@840 44 -> (a -> b -> m b) -> b -> t a -> m b
adamc@840 45
adam@1547 46 val foldlMi : m ::: (Type -> Type) -> monad m -> a ::: Type -> b ::: Type
adam@1547 47 -> (int -> a -> b -> m b) -> b -> t a -> m b
adam@1547 48
adamc@822 49 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type
adamc@822 50 -> (a -> b -> c * b) -> b -> t a -> t c * b
adamc@839 51
adam@1519 52 val find : a ::: Type -> (a -> bool) -> t a -> option a
adam@1519 53
adamc@839 54 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b
adamc@843 55
adamc@843 56 val all : a ::: Type -> (a -> bool) -> t a -> bool
adamc@844 57
adamc@844 58 val app : m ::: (Type -> Type) -> monad m -> a ::: Type
adamc@844 59 -> (a -> m unit) -> t a -> m unit
adamc@845 60
adamc@908 61 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@908 62 -> [tables ~ exps] =>
adam@1394 63 sql_query [] [] tables exps
adamc@908 64 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t)
adamc@908 65 -> transaction (list t)
adamc@845 66
adamc@1107 67 val mapQueryM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@1107 68 -> [tables ~ exps] =>
adam@1394 69 sql_query [] [] tables exps
adamc@1107 70 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction t)
adamc@1107 71 -> transaction (list t)
adamc@1107 72
adamc@1107 73 val mapQueryPartialM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@1107 74 -> [tables ~ exps] =>
adam@1394 75 sql_query [] [] tables exps
adamc@1107 76 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t))
adamc@1107 77 -> transaction (list t)
adamc@1107 78
adam@1321 79 val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a
adam@1321 80
adam@1322 81 val nth : a ::: Type -> list a -> int -> option a
adam@1345 82 val replaceNth : a ::: Type -> list a -> int -> a -> list a
adam@1322 83
adamc@845 84 (** Association lists *)
adamc@845 85
adamc@845 86 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b
adamc@845 87
adamc@845 88 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b)
greenrd@1481 89
greenrd@1481 90 (** Converting records to lists *)
greenrd@1481 91
greenrd@1481 92 val recToList : a ::: Type -> r ::: {Unit} -> folder r -> $(mapU a r) -> t a