Skip to main content

object_rainbow/
without_header.rs

1use crate::{map_extra::MapExtra, *};
2
3#[derive(
4    Debug, ToOutput, InlineOutput, Tagged, ListHashes, Topological, Clone, Copy, Parse, ParseInline,
5)]
6pub struct WithoutHeader;
7
8impl<H: 'static + Clone, E: 'static + Clone> MapExtra<(H, E)> for WithoutHeader {
9    type Mapped = E;
10
11    fn map_extra(&self, (_, extra): (H, E)) -> Self::Mapped {
12        extra
13    }
14}