Trait MapFields 

pub trait MapFields<Mapper> {
    type Mapped;
}

Required Associated Types

type Mapped

Implementors

impl<Mapper> MapFields<Mapper> for θ

type Mapped = θ

impl<Mapper> MapFields<Mapper> for ε

type Mapped = ε

impl<Mapper, Current, Rest> MapFields<Mapper> for σ<Current, Rest>

where Mapper: MapType, Rest: MapFields<Mapper>,

type Mapped = σ<<Mapper as MapType>::Map<Current>, <Rest as MapFields<Mapper>>::Mapped>

impl<Mapper, Current, Rest> MapFields<Mapper> for π<Current, Rest>

where Mapper: MapType, Rest: MapFields<Mapper>,

type Mapped = π<<Mapper as MapType>::Map<Current>, <Rest as MapFields<Mapper>>::Mapped>