Version française
Home     About     Download     Resources     Contact us    
Browse thread
module aggregation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Franck Delaplace <delapla@l...>
Subject: module aggregation

I want to aggregate two modules in one in order
to improve some standard modules or some module
define by functors . How can I do this in Ocaml ? 

for instance I want to have a function 
which gives a list of cartesian product of l1 l2 

let cartesian_map  f l1 l2 = List.flatten (List.map (fun(a)-> List.map (f a) l2) l1);;

val cartesian_map : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list = <fun>

and I would like to call it  List.cartesian_map 


I have also the same problem for module defined by Functor
I want to add some specific functions once the module is defined.

Thank you 

--- 

Franck Delaplace.	Tel: +33 (1) 6947 7463	email : delapla@lami.univ-evry.fr 

LAboratoire de Mathematiques et d'Informatique (LAMI)
Equipe Parallelisme  (http://perdiguier.univ-evry.fr:8004/parall/)
 
Universite d'Evry Val d'Essonne                                                 
Cours Monseigneur Romero
91025 EVRY CEDEX (FRANCE)