Struct BindsTyping 

pub struct BindsTyping<C: Category + 'static, D, DContext: Category, E, EContext: Category>(/* private fields */);

Bind the arrow::Typing of an arrow in C.

This is the admission boundary for an arrow signature. Unlike the projection-only Signature trait, a BindsTyping<C, D, DContext, E, EContext> certifies both endpoints together with the exact contexts under which they were admitted as objects of C, so an arrow can never acquire a domain independently of its codomain (or vice versa). Keeping those contexts explicit also lets higher arrow constructions retain contextual information instead of re-running ι on the endpoint carriers.

Its associated value is the single ArrowSignature<C, D, E> from which domain and codomain may subsequently be projected.

Trait Implementations

impl<C: Clone + Category + 'static, D: Clone, DContext: Clone + Category, E: Clone, EContext: Clone + Category> Clone for BindsTyping<C, D, DContext, E, EContext>

fn clone(&self) -> BindsTyping<C, D, DContext, E, EContext>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Copy + Category + 'static, D: Copy, DContext: Copy + Category, E: Copy, EContext: Copy + Category> Copy for BindsTyping<C, D, DContext, E, EContext>

impl<C: Debug + Category + 'static, D: Debug, DContext: Debug + Category, E: Debug, EContext: Debug + Category> Debug for BindsTyping<C, D, DContext, E, EContext>

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

Formats the value using the given formatter.