concepts.hpp

Go to the documentation of this file.

// SPDX-FileCopyrightText: 2022-2023 Dennis Gläser <dennis.glaeser@iws.uni-stuttgart.de>
// SPDX-License-Identifier: MIT
#ifndef GRIDFORMAT_COMPRESSION_CONCEPTS_HPP_
#define GRIDFORMAT_COMPRESSION_CONCEPTS_HPP_
 
#include <span>
#include <ranges>
#include <concepts>
#include <type_traits>
 
#include <gridformat/common/serialization.hpp>
#include <gridformat/compression/common.hpp>
 
namespace GridFormat::Concepts {

 
#ifndef DOXYGEN
namespace CompressionDetail {
 
    template<typename T>
    struct IsCompressedBlocks : public std::false_type {};
    template<typename Header>
    struct IsCompressedBlocks<Compression::CompressedBlocks<Header>> : public std::true_type {};
 
    template<typename T>
    concept ValidCompressionResult = IsCompressedBlocks<T>::value;
 
}  // namespace CompressionDetail
#endif  // DOXYGEN

template<typename T>
concept Compressor = requires(const T& t, Serialization& s) {
    { t.compress(s) } -> CompressionDetail::ValidCompressionResult;
};

template<typename T>
concept Decompressor = requires(const T& t,
                                Serialization& s,
                                const Compression::CompressedBlocks<std::size_t>& b) {
    { t.decompress(s, b) };
};

template<typename T>
concept BlockDecompressor
    = requires { typename T::ByteType; }
    and std::invocable<T, std::span<const typename T::ByteType>, std::span<typename T::ByteType>>;

 
}  // namespace GridFormat::Concepts
 
#endif  // GRIDFORMAT_COMPRESSION_CONCEPTS_HPP_