helm/software/lambda-delta/cps/cps.ml

   1 (* Copyright (C) 2000, HELM Team.
   2  *
   3  * This file is part of HELM, an Hypertextual, Electronic
   4  * Library of Mathematics, developed at the Computer Science
   5  * Department, University of Bologna, Italy.
   6  *
   7  * HELM is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation; either version 2
  10  * of the License, or (at your option) any later version.
  11  *
  12  * HELM is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with HELM; if not, write to the Free Software
  19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  20  * MA  02111-1307, USA.
  21  *
  22  * For details, see the HELM World-Wide-Web page,
  23  * http://cs.unibo.it/helm/.
  24  *)
  25
  26 let id _ = ()
  27
  28 let rec list_sub_strict f l1 l2 = match l1, l2 with
  29    | _, []              -> f l1
  30    | _ :: tl1, _ :: tl2 -> list_sub_strict f tl1 tl2
  31    | _                  -> assert false
  32
  33 let rec list_fold_left f map a = function
  34    | []       -> f a
  35    | hd :: tl ->
  36       let f a = list_fold_left f map a tl in
  37       map f a hd
  38
  39 let rec list_rev_map_append f map ~tail = function
  40       | []       -> f tail
  41       | hd :: tl ->
  42          let f hd = list_rev_map_append f map ~tail:(hd :: tail) tl in
  43          map f hd
  44
  45 let list_rev_append f =
  46    list_rev_map_append f (fun f t -> f t)
  47
  48 let list_rev_map =
  49    list_rev_map_append ~tail:[]
  50
  51 let list_rev =
  52    list_rev_append ~tail:[]
  53
  54 let list_map f =
  55    list_rev_map (list_rev f)
  56