Mercurial > urweb

annotate lib/ur/list.urs @ 1634:f4cb4eebf7ae

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some new List functions, based on code by Ron de Bruijn
author Adam Chlipala <adam@chlipala.net>
date Sun, 11 Dec 2011 15:02:55 -0500
parents 553a5cc3a4b5
children a613cae954ca
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
adam@1634 49 val filterM : m ::: (Type -> Type) -> monad m -> a ::: Type
adam@1634 50 -> (a -> m bool) -> t a -> m (t a)
adam@1634 51
adamc@822 52 val foldlMap : a ::: Type -> b ::: Type -> c ::: Type
adamc@822 53 -> (a -> b -> c * b) -> b -> t a -> t c * b
adamc@839 54
adam@1519 55 val find : a ::: Type -> (a -> bool) -> t a -> option a
adam@1519 56
adamc@839 57 val search : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> option b
adamc@843 58
adamc@843 59 val all : a ::: Type -> (a -> bool) -> t a -> bool
adamc@844 60
adamc@844 61 val app : m ::: (Type -> Type) -> monad m -> a ::: Type
adamc@844 62 -> (a -> m unit) -> t a -> m unit
adamc@845 63
adamc@908 64 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@908 65 -> [tables ~ exps] =>
adam@1394 66 sql_query [] [] tables exps
adamc@908 67 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t)
adamc@908 68 -> transaction (list t)
adamc@845 69
adamc@1107 70 val mapQueryM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@1107 71 -> [tables ~ exps] =>
adam@1394 72 sql_query [] [] tables exps
adamc@1107 73 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction t)
adamc@1107 74 -> transaction (list t)
adamc@1107 75
adamc@1107 76 val mapQueryPartialM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
adamc@1107 77 -> [tables ~ exps] =>
adam@1394 78 sql_query [] [] tables exps
adamc@1107 79 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t))
adamc@1107 80 -> transaction (list t)
adamc@1107 81
adam@1321 82 val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a
adam@1321 83
adam@1322 84 val nth : a ::: Type -> list a -> int -> option a
adam@1345 85 val replaceNth : a ::: Type -> list a -> int -> a -> list a
adam@1322 86
adamc@845 87 (** Association lists *)
adamc@845 88
adamc@845 89 val assoc : a ::: Type -> b ::: Type -> eq a -> a -> t (a * b) -> option b
adamc@845 90
adamc@845 91 val assocAdd : a ::: Type -> b ::: Type -> eq a -> a -> b -> t (a * b) -> t (a * b)
greenrd@1481 92
greenrd@1481 93 (** Converting records to lists *)
greenrd@1481 94
greenrd@1481 95 val recToList : a ::: Type -> r ::: {Unit} -> folder r -> $(mapU a r) -> t a
adam@1634 96
adam@1634 97 (* Divide a list into two sections at a particular 0-based position, returning the second, first, or both parts, respectively. *)
adam@1634 98 val drop : t ::: Type -> int -> list t -> list t
adam@1634 99 val take : t ::: Type -> int -> list t -> list t
adam@1634 100 val splitAt : t ::: Type -> int -> list t -> list t * list t