14.2.31  Paired_Lists

The standard library Paired_Lists api defines access to analogues of the list functions zip, fold_left etc which operate in parallel on pairs of lists instead of on single lists.

The Paired_Lists api is implemented by the paired_lists package.

The Paired_Lists api source code is in src/lib/std/src/paired-lists.api.

The above information is manually maintained and may contain errors.

api {
    exception UNEQUAL_LENGTHS;
    zip : (List(X ) , List(Y )) -> List(((X , Y)) );
    zip_eq : (List(X ) , List(Y )) -> List(((X , Y)) );
    unzip : List(((X , Y)) ) -> (List(X ) , List(Y ));
    map : ((X , Y) -> Z) -> (List(X ) , List(Y )) -> List(Z );
    map_eq : ((X , Y) -> Z) -> (List(X ) , List(Y )) -> List(Z );
    apply : ((X , Y) -> Void) -> (List(X ) , List(Y )) -> Void;
    apply_eq : ((X , Y) -> Void) -> (List(X ) , List(Y )) -> Void;
    fold_forward : ((X , Y , Z) -> Z) -> Z -> (List(X ) , List(Y )) -> Z;
    fold_backward : ((X , Y , Z) -> Z) -> Z -> (List(X ) , List(Y )) -> Z;
    foldl_eq : ((X , Y , Z) -> Z) -> Z -> (List(X ) , List(Y )) -> Z;
    foldr_eq : ((X , Y , Z) -> Z) -> Z -> (List(X ) , List(Y )) -> Z;
    all : ((X , Y) -> Bool) -> (List(X ) , List(Y )) -> Bool;
    all_eq : ((X , Y) -> Bool) -> (List(X ) , List(Y )) -> Bool;
    exists : ((X , Y) -> Bool) -> (List(X ) , List(Y )) -> Bool;};