adamc@794: datatype t = datatype Basis.list
adamc@794: 
adamc@794: val show (a ::: Type) (_ : show a) =
adamc@794:     let
adamc@794:         fun show' (ls : list a) =
adamc@794:             case ls of
adamc@794:                 [] => "[]"
adamc@794:               | x :: ls => show x ^ " :: " ^ show' ls
adamc@794:     in
adamc@794:         mkShow show'
adamc@794:     end
adamc@794: 
adamc@794: val rev (a ::: Type) =
adamc@794:     let
adamc@794:         fun rev' acc (ls : list a) =
adamc@794:             case ls of
adamc@794:                 [] => acc
adamc@794:               | x :: ls => rev' (x :: acc) ls
adamc@794:     in
adamc@794:         rev' []
adamc@794:     end
adamc@794: 
adamc@821: val revAppend (a ::: Type) =
adamc@821:     let
adamc@821:         fun ra (ls : list a) acc =
adamc@821:             case ls of
adamc@821:                 [] => acc
adamc@821:               | x :: ls => ra ls (x :: acc)
adamc@821:     in
adamc@821:         ra
adamc@821:     end
adamc@821: 
adamc@821: fun append (a ::: Type) (ls1 : t a) (ls2 : t a) = revAppend (rev ls1) ls2                
adamc@821: 
adamc@794: fun mp (a ::: Type) (b ::: Type) f =
adamc@794:     let
adamc@794:         fun mp' acc ls =
adamc@794:             case ls of
adamc@794:                 [] => rev acc
adamc@794:               | x :: ls => mp' (f x :: acc) ls
adamc@794:     in
adamc@794:         mp' []
adamc@794:     end
adamc@796: 
adamc@821: fun mapPartial (a ::: Type) (b ::: Type) f =
adamc@821:     let
adamc@821:         fun mp' acc ls =
adamc@821:             case ls of
adamc@821:                 [] => rev acc
adamc@821:               | x :: ls => mp' (case f x of
adamc@821:                                     None => acc
adamc@821:                                   | Some y => y :: acc) ls
adamc@821:     in
adamc@821:         mp' []
adamc@821:     end
adamc@821: 
adamc@796: fun mapX (a ::: Type) (ctx ::: {Unit}) f =
adamc@796:     let
adamc@796:         fun mapX' ls =
adamc@796:             case ls of
adamc@796:                 [] => <xml/>
adamc@796:               | x :: ls => <xml>{f x}{mapX' ls}</xml>
adamc@796:     in
adamc@796:         mapX'
adamc@796:     end
adamc@800: 
adamc@800: fun mapM (m ::: (Type -> Type)) (_ : monad m) (a ::: Type) (b ::: Type) f =
adamc@800:     let
adamc@800:         fun mapM' acc ls =
adamc@800:             case ls of
adamc@818:                 [] => return (rev acc)
adamc@818:               | x :: ls => x' <- f x; mapM' (x' :: acc) ls
adamc@800:     in
adamc@818:         mapM' []
adamc@800:     end
adamc@821: 
adamc@821: fun filter (a ::: Type) f =
adamc@821:     let
adamc@821:         fun fil acc ls =
adamc@821:             case ls of
adamc@821:                 [] => rev acc
adamc@821:               | x :: ls => fil (if f x then x :: acc else acc) ls
adamc@821:     in
adamc@821:         fil []
adamc@821:     end
adamc@822: 
adamc@822: fun exists (a ::: Type) f =
adamc@822:     let
adamc@822:         fun ex ls =
adamc@822:             case ls of
adamc@822:                 [] => False
adamc@822:               | x :: ls =>
adamc@822:                 if f x then
adamc@822:                     True
adamc@822:                 else
adamc@822:                     ex ls
adamc@822:     in
adamc@822:         ex
adamc@822:     end
adamc@822: 
adamc@822: fun foldlMap (a ::: Type) (b ::: Type) (c ::: Type) f =
adamc@822:     let
adamc@822:         fun fold ls' st ls =
adamc@822:             case ls of
adamc@822:                 [] => (rev ls', st)
adamc@822:               | x :: ls =>
adamc@822:                 case f x st of
adamc@822:                     (y, st) => fold (y :: ls') st ls
adamc@822:     in
adamc@822:         fold []
adamc@822:     end