Struct TaggedF 

pub struct TaggedF;

Marker type whose P<A, B> = B.

A is phantom — the first argument to dimap is ignored. This profunctor “tags” a value, supporting construction but not inspection. Notably, TaggedF is Choice but NOT Strong, which enforces at the type level that write-only optics (Review) cannot be used for reading.

Trait Implementations

impl Choice for TaggedF

fn left<A, B, C>(pab: B) -> Result<B, C>

where A: 'static, B: 'static, C: 'static,

fn right<A, B, C>(pab: B) -> Result<C, B>

where A: 'static, B: 'static, C: 'static,

impl HKT2 for TaggedF

type P<A, B> = B

impl Profunctor for TaggedF

fn dimap<A, B, C, D>( _f: impl Fn(C) -> A + 'static, g: impl Fn(B) -> D + 'static, pab: B, ) -> D

where A: 'static, B: 'static,

fn lmap<A, B, C>( f: impl Fn(C) -> A + 'static, pab: Self::P<A, B>, ) -> Self::P<C, B>

where A: 'static, B: 'static,

fn rmap<A, B, D>( g: impl Fn(B) -> D + 'static, pab: Self::P<A, B>, ) -> Self::P<A, D>

where A: 'static, B: 'static,