tuple_extent(3)

NAME

tuple_extent - tuple extent

SYNOPSIS

#include <cfl/tuple/tuple_extent.hpp>

tuple_extent_t <tuple_c <int, float>> == spack <2>;

tuple_extent_t <
    tuple_c
    <
        tuple_c <int, int, float>,
        tuple_c <int, int, double>
    >
> == spack <2, 3>;

// dimensionless tuple corner case
tuple_extent <int>::value == spack <>;

DESCRIPTION

Retreive extent for each dimension of a tuple. The tuple must be rectangular, but not homoegeneous. Empty and dimensionless tuples are regarded to have empty extent. As non-tuples are interpreted as dimensionless tuples, they consequently also have empty extent.

RETURN VALUES

A member type type of cfl::spack type.

STANDARDS

A standard CFL type factory, with the trailing underscore omitted.