Splitted modifiers in own library

1 files changed, 8 insertions, 69 deletions

diff --git a/src/lib/process.ml b/src/lib/process.ml
index 01c6d4a..a74c44b 100644
--- a/src/lib/process.ml
+++ b/src/lib/process.ml
@@ -1,16 +1,11 @@
 open StdLabels
-module M(T:Sounds.T) = struct
-
-  type voyel = (T.t * T.t )
 
-  type consonants =
-    { ending : T.t option option
-    ; opening : T.t list
-    ; following : T.t option }
+module M(T:Sounds.T) = struct
 
-  type group = voyel * consonants option
+  type voyel = T.t Modifiers.Sig.voyel
 
-  type modifier = (group * T.t option option)  -> (group * T.t option option)
+  type group = voyel * T.t Modifiers.Sig.consonants option
+  type modifier = T.t Modifiers.Sig.modifier
 
   (** Apply all the modifiers to the syllabic group in order to correct the
       relation between the elements
@@ -24,63 +19,7 @@ module M(T:Sounds.T) = struct
     = fun e m ->
       List.fold_left m
         ~init:e
-        ~f:(fun e f -> f e)
-
-  (** The Nasal modifier transform a voyel followed by N and a consonant
-      into a nasal voyel.
-
-      Does this min that nasal voyel are not a distinct element, but just a
-      merge from two distinct elements ? *)
-  let nasal
-    : modifier
-    = fun init ->
-      let (((v1, v2), c) , ending) = init in
-      let ending = Option.bind ending (fun x -> x) in
-      match ending with
-      | None -> init
-      | Some ending ->
-        match T.is_nasal ending with
-        | false -> init
-        | true ->
-          (* Remove the ending consonant, and transform the voyel into
-             the nasal form  *)
-          ( ( (T.nasal v1, T.nasal v2)
-            , c )
-          , None )
-
-  (** Transform the S into Z if the S is the opening consonant and
-      there is no ending consonant before *)
-  let vocalize_s
-    : modifier
-    = fun init ->
-      let (((v1, v2), c) , ending) = init in
-
-      match c with
-      | None -> init
-      | Some op ->
-        (* The voyel may be none in case of ending word. In such case, we shall
-           not trnasform the S into Z *)
-        let is_voyel = T.is_voyel v1 && T.is_voyel v2 in
-        match is_voyel, op.opening, op.ending with
-        | true, hd::[], None when T.code hd = T.SZ ->
-          let c = Some { op with opening = [T.z ()] } in
-          (((v1, v2), c) , ending)
-        | _ -> init
-
-  (** Mute the last consonant if there is no voyel in the syllabus.
-
-      This modifier is only applied in the first step, and not repeated anymore.
-  *)
-  let mute_consonant
-    : modifier
-    = fun init ->
-      let (((v1, v2), c) , ending) = init in
-      let is_voyel = T.is_voyel v1 && T.is_voyel v2 in
-      match is_voyel, c with
-      | false, Some c ->
-        let c = { c with opening = List.map ~f:T.muted c.opening } in
-        (((v1, v2), Some c) , ending)
-      | _ -> init
+        ~f:(fun e f -> f (module T:Sounds.T with type t = T.t) e)
 
   let change_voyel
     = fun init ->
@@ -94,7 +33,7 @@ module M(T:Sounds.T) = struct
       | [] -> acc
       | hd::tl ->
 
-        let modifier = vocalize_s :: nasal :: m in
+        let modifier = (Modifiers.vocalize_s) :: (Modifiers.nasal) :: m in
         let (voyel, consonants), ending_consonant =
           apply_modifiers
             (hd, ending_consonant)
@@ -137,11 +76,11 @@ module M(T:Sounds.T) = struct
 
   *)
   let rebuild
-    : consonants option -> group list -> T.t list
+    : T.t Modifiers.Sig.consonants option -> group list -> T.t list
     = fun  ending elems ->
       let elems' = match ending with
         | None -> elems
         | Some _ -> ((T.none, T.none), ending)::elems in
-      _rebuild ~m:[mute_consonant] [] None elems'
+      _rebuild ~m:[Modifiers.mute_consonant] [] None elems'
 
 end