15.4.1233  src/lib/std/src/vector-of-eight-byte-floats.pkg

## vector-of-eight-byte-floats.pkg

# Compiled by:
#     src/lib/std/src/standard-core.sublib

# Vectors of float64::real values.
# NOTE: currently, we do not have sufficient tag bits to use a packed
# representation for this type.         XXX BUGGO FIXME

###                     "Many people would sooner die than think;
###                      in fact, they do so."
###
###                                     -- Bertrand Russell



stipulate
    package vec =  vector;              # vector                is from   src/lib/std/src/vector.pkg
herein

    package vector_of_eight_byte_floats
    #       ===========================
    #
    : (weak)  Typelocked_Vector         # Typelocked_Vector     is from   src/lib/std/src/typelocked-vector.api
              where
                  Element == float64::Float
    =
    package {
        #
        Element = float64::Float;
        Vector  = vec::Vector( Element );

        maximum_vector_length =  vec::maximum_vector_length;

        from_list = vec::from_list;
        from_fn   = vec::from_fn;

        length   = vec::length;
        get      = vec::get;
        set      = vec::set;
        cat      = vec::cat;

        (_[])    =  get;
        (_[]:=)  =  set;

        keyed_apply         = vec::keyed_apply;
        apply               = vec::apply;

        keyed_map           = vec::keyed_map;
        map                 = vec::map;

        keyed_fold_forward          = vec::keyed_fold_forward;
        keyed_fold_backward    = vec::keyed_fold_backward;

        fold_forward        = vec::fold_forward;
        fold_backward       = vec::fold_backward;

        keyed_find                  = vec::keyed_find;
        find                = vec::find;

        exists              = vec::exists;
        all                 = vec::all;

        compare_sequences   = vec::compare_sequences;
    };
end;

## COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.