Struct prop::qubit::Qubit

pub struct Qubit<N, A>(_, _);

Represents a recursive qubit proposition.

Implementations

impl<A: Prop> Qubit<Z, A>

pub fn to(self) -> A

Get proposition.

pub fn from(a: A) -> Self

From proposition.

impl<A: Prop> Qubit<S<Z>, A>

pub fn to_q(self) -> Q<A, A>

Convert to self-quality.

pub fn from_q((_, (x, _)): Q<A, A>) -> Self

Convert from self-quality.

impl<A: Prop> Qubit<S<Z>, Not<A>>

pub fn to_aq(self) -> Aq<A, A>

Convert to self-quality.

pub fn from_aq((_, (x, _)): Aq<A, A>) -> Self

Convert from self-quality.

Trait Implementations

impl<N: Clone, A: Clone> Clone for Qubit<N, A>

fn clone(&self) -> Qubit<N, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Copy, A: Copy> Copy for Qubit<N, A>

impl<A, B> POrd<Qubit<S<Z>, B>> for Qu<A>where A: POrd<B>,