Struct id 

pub struct id<P: Combi>(pub P);

Applies a Combi with no changes

matches!(id(id(id(nothing::<(), (), i32>()))).comp(3), (3, CombiResult::Suc(())));

Tuple Fields

0: P

Trait Implementations

impl<P> Clone for id<P>

where P: Clone + Combi,

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Combi> Combi for id<P>

type Suc = <P as Combi>::Suc

type Err = <P as Combi>::Err

type Con = <P as Combi>::Con

type Inp = <P as Combi>::Inp

type Out = <P as Combi>::Out

fn comp( &self, input: Self::Inp, ) -> (Self::Out, CombiResult<Self::Suc, Self::Con, Self::Err>)

Runs the computation represented by Combi to produce a result (of the computation), and the output to be further computed on.

fn repr(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Produces a representation of the combinator for debugging & generating error messages.

impl<P> Debug for id<P>

where P: Debug + Combi,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.