Return to list2.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / util

Annotation of researchv10no/cmd/sml/src/util/list2.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* list2.sml *)
        !             3: (* functionals over pairs of lists *)
        !             4: 
        !             5: structure List2 = struct
        !             6: 
        !             7: fun app2 f ([],_) = ()
        !             8:   | app2 f (_,[]) = ()
        !             9:   | app2 f (a::l,b::m) = (f(a,b); app2 f (l,m))
        !            10: 
        !            11: fun map2 f ([],_) = []
        !            12:   | map2 f (_,[]) = []
        !            13:   | map2 f (a::l,b::m) = f(a,b)::(map2 f (l,m))
        !            14: 
        !            15: fun all2 pred ([],[]) = true
        !            16:   | all2 pred (a::l,b::m) = pred(a,b) andalso all2 pred (m,l)
        !            17:   | all2 pred _ = false;
        !            18: 
        !            19: end

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.