dedekind::category::IsPrefixKernel Concept Reference

A kernel on the non-empty prefixes of a text: an arrow out of them, a coKleisli arrow of the history comonad, whose answer at a position may read all that came before it and nothing after. More...

Concept definition

template<typename K, typename T>
concept dedekind::category::IsPrefixKernel =  IsArrow<K> && std::same_as<Dom<K>, std::span<const T>>

Detailed Description

A kernel on the non-empty prefixes of a text: an arrow out of them, a coKleisli arrow of the history comonad, whose answer at a position may read all that came before it and nothing after.

Template Parameters

K	the kernel.
T	the letters.