range_traits.h File Reference

Generic range-related conceptual utilities and traits. More...

#include <iterator>
#include <ranges>
#include <functional>
#include <type_traits>

Go to the source code of this file.

Classes
struct	jh::concepts::range_storage_traits< R, UseRefWrapper >
	Trait defining how a range (or equivalent) is held inside a view or wrapper. More...

Namespaces
namespace	jh::concepts
	Behavioral concept namespace of the JH Toolkit.

Concepts
concept	jh::concepts::vis_function_for
	Concept describing the visual relation between a range and a callable.

Detailed Description

Generic range-related conceptual utilities and traits.

Copyright

Copyright 2025 JeongHan-Bae <mastropseudo@gmail.com>
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.

Full license: GitHub

Author

JeongHan-Bae <mastropseudo@gmail.com>

This header serves as the general conceptual aggregation layer for range-related constructs that are not tied to any specific subdomain such as views, containers, or sequences.

Concepts and traits defined here represent foundational or cross-cutting abstractions used throughout the JH range system, especially for:

• adaptor and visitor validation,
• unified value category forwarding,
• internal range storage policy deduction.

Included Components

• vis_function_for<F, R> — validates a range-callable pair for visual traversal semantics.
• range_storage_traits<R, UseRefWrapper> — defines how a range is held inside wrapper-based views.

Purpose

jh::concepts::range_traits defines cross-sectional utilities required by other modules such as jh::ranges_ext and jh::views, consolidating range-level mechanics that do not belong to a dedicated conceptual category.

Design Policy

• Acts as the conceptual catch-all for range-adjacent utilities.
• Maintains semantic separation from specific layers like sequence or iterator.
• Defines traits and concepts reusable across range adaptors, transformation views, and range storage logic.

Version

1.3.x

Date

2025