Changeset 2649 for extracted/monad.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/monad.ml

    r2601 r2649  
    301301let m_list_map_sigma m f l =
    302302  List.foldr (fun el macc ->
    303     m_bind0 m (f el) (fun eta673 ->
    304       let r = eta673 in
    305       m_bind0 m macc (fun eta672 ->
    306         let acc = eta672 in m_return0 m (List.Cons (r, acc)))))
     303    m_bind0 m (f el) (fun eta681 ->
     304      let r = eta681 in
     305      m_bind0 m macc (fun eta680 ->
     306        let acc = eta680 in m_return0 m (List.Cons (r, acc)))))
    307307    (m_return0 m List.Nil) l
    308308
Note: See TracChangeset for help on using the changeset viewer.