Peano
Loading...
Searching...
No Matches
IoWriter Concept Reference
#include <
concept.h
>
Concept definition
template
<
typename
T>
concept
IoWriter
=
requires
(T t) {
{ t.write(
Any
()) } -> std::same_as<void>;
{ t.write(
void_ptr
(),
u64
()) } -> std::same_as<void>;
{
t
.seek(
u64
()) } -> std::same_as<void>;
{
t
.sync() } -> std::same_as<void>;
{
t
.getPos() } -> std::same_as<u64>;
}
IoWriter
Definition
concept.h:6
acoustic.t
t
Definition
acoustic.py:159
Any
Definition
type.h:19
void_ptr
ptr< void >::value void_ptr
Definition
type.h:31
u64
std::uint64_t u64
Definition
type.h:13
Detailed Description
Definition at line
6
of file
concept.h
.
IoWriter
Generated on Fri Apr 11 2025 10:19:34 for Peano by
1.10.0