Struct Arrow 

pub struct Arrow<'brand> {
    pub source: Type<'brand>,
    pub target: Type<'brand>,
    pub inference_context: Context<'brand>,
}

A container for an expression’s source and target types, whether or not these types are complete.

Fields

source: Type<'brand>

The source type

target: Type<'brand>

The target type

inference_context: Context<'brand>

Type inference context for both types.

Implementations

impl<'brand> Arrow<'brand>

pub fn finalize(&self) -> Result<FinalArrow, Error>

Finalize the source and target types in the arrow

pub fn shallow_clone(&self) -> Self

Same as Self::clone but named to make it clearer that this is cheap

Trait Implementations

impl Clone for Arrow<'_>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'brand> CoreConstructible<'brand> for Arrow<'brand>

fn iden(inference_context: &Context<'brand>) -> Self

fn unit(inference_context: &Context<'brand>) -> Self

fn injl(child: &Self) -> Self

fn injr(child: &Self) -> Self

fn take(child: &Self) -> Self

fn drop_(child: &Self) -> Self

fn comp(left: &Self, right: &Self) -> Result<Self, Error>

fn case(left: &Self, right: &Self) -> Result<Self, Error>

fn assertl(left: &Self, _: Cmr) -> Result<Self, Error>

fn assertr(_: Cmr, right: &Self) -> Result<Self, Error>

fn pair(left: &Self, right: &Self) -> Result<Self, Error>

fn fail(inference_context: &Context<'brand>, _: FailEntropy) -> Self

fn const_word(inference_context: &Context<'brand>, word: Word) -> Self

fn inference_context(&self) -> &Context<'brand>

Accessor for the type inference context used to create the object.

fn scribe(ctx: &Context<'brand>, value: &Value) -> Self

Create an expression that produces the given value.

fn bit_false(inference_context: &Context<'brand>) -> Self

Create a DAG that takes any input and returns bit 0 as constant output.

fn bit_true(inference_context: &Context<'brand>) -> Self

Create a DAG that takes any input and returns bit 1 as constant output.

fn cond(left: &Self, right: &Self) -> Result<Self, Error>

Create a DAG that takes a bit and an input, such that the left child is evaluated on the input if the bit is 1 (if branch) and the right child is evaluated on the input otherwise (else branch).

fn assert(child: &Self, hash: Cmr) -> Result<Self, Error>

Create a DAG that asserts that its child returns true, and fails otherwise. The hash identifies the assertion and is returned upon failure.

fn not(child: &Self) -> Result<Self, Error>

Create a DAG that computes Boolean NOT of the child.

fn and(left: &Self, right: &Self) -> Result<Self, Error>

Create a DAG that computes Boolean AND of the left and right child.

fn or(left: &Self, right: &Self) -> Result<Self, Error>

Create a DAG that computes Boolean OR of the left and right.

impl<'brand> Debug for Arrow<'brand>

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

Formats the value using the given formatter.

impl<'brand> DisconnectConstructible<'brand, Arrow<'brand>> for Arrow<'brand>

fn disconnect(left: &Self, right: &Self) -> Result<Self, Error>

impl<'brand> DisconnectConstructible<'brand, NoDisconnect> for Arrow<'brand>

fn disconnect(left: &Self, _: &NoDisconnect) -> Result<Self, Error>

impl<'brand> DisconnectConstructible<'brand, Option<&Arrow<'brand>>> for Arrow<'brand>

fn disconnect(left: &Self, right: &Option<&Self>) -> Result<Self, Error>

impl Display for Arrow<'_>

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

Formats the value using the given formatter.

impl<'brand, J: Jet> JetConstructible<'brand, J> for Arrow<'brand>

fn jet(inference_context: &Context<'brand>, jet: J) -> Self

impl<'brand, W> WitnessConstructible<'brand, W> for Arrow<'brand>

fn witness(inference_context: &Context<'brand>, _: W) -> Self