Struct ConstructData

pub struct ConstructData<J> { /* private fields */ }

Implementations

impl<J: Jet> ConstructData<J>

pub fn new(arrow: Arrow) -> Self

Constructs a new ConstructData from an (unfinalized) type arrow

pub fn arrow(&self) -> &Arrow

Accessor for the node’s arrow

Trait Implementations

impl<J: Clone> Clone for ConstructData<J>

fn clone(&self) -> ConstructData<J>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<J> CoreConstructible for ConstructData<J>

fn iden(inference_context: &Context) -> Self

fn unit(inference_context: &Context) -> 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, right: Cmr) -> Result<Self, Error>

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

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

fn fail(inference_context: &Context, entropy: FailEntropy) -> Self

fn const_word(inference_context: &Context, word: Value) -> Self

fn inference_context(&self) -> &Context

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

fn scribe(inference_context: &Context, value: &Value) -> Self

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

fn bit_false(inference_context: &Context) -> Self

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

fn bit_true(inference_context: &Context) -> 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<J: Debug> Debug for ConstructData<J>

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

Formats the value using the given formatter.

impl<J: Jet> DisconnectConstructible<Option<Arc<Node<Construct<J>>>>> for ConstructData<J>

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

impl<J: Jet> JetConstructible<J> for ConstructData<J>

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

impl<J> WitnessConstructible<NoWitness> for ConstructData<J>

fn witness(inference_context: &Context, witness: NoWitness) -> Self