Enum bitsy_lang::Expr

pub enum Expr {
    Reference(Span, OnceCell<Type>, Path),
    Net(Span, OnceCell<Type>, NetId),
    Word(Span, OnceCell<Type>, Option<Width>, u64),
    Enum(Span, OnceCell<Type>, Type, String),
    Ctor(Span, OnceCell<Type>, String, Vec<Arc<Expr>>),
    Struct(Span, OnceCell<Type>, Vec<(String, Arc<Expr>)>),
    Let(Span, OnceCell<Type>, String, Option<Type>, Arc<Expr>, Arc<Expr>),
    UnOp(Span, OnceCell<Type>, UnOp, Arc<Expr>),
    BinOp(Span, OnceCell<Type>, BinOp, Arc<Expr>, Arc<Expr>),
    If(Span, OnceCell<Type>, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    Match(Span, OnceCell<Type>, Arc<Expr>, Vec<MatchArm>),
    Mux(Span, OnceCell<Type>, Arc<Expr>, Arc<Expr>, Arc<Expr>),
    Cat(Span, OnceCell<Type>, Vec<Arc<Expr>>),
    Sext(Span, OnceCell<Type>, Arc<Expr>),
    Zext(Span, OnceCell<Type>, Arc<Expr>),
    TryCast(Span, OnceCell<Type>, Arc<Expr>),
    ToWord(Span, OnceCell<Type>, Arc<Expr>),
    Vec(Span, OnceCell<Type>, Vec<Arc<Expr>>),
    IdxField(Span, OnceCell<Type>, Arc<Expr>, String),
    Idx(Span, OnceCell<Type>, Arc<Expr>, u64),
    IdxRange(Span, OnceCell<Type>, Arc<Expr>, u64, u64),
    Call(Span, OnceCell<Type>, Arc<FnDef>, Vec<Arc<Expr>>),
    Hole(Span, OnceCell<Type>, Option<String>),
}

An expression.

Variants

Reference(Span, OnceCell<Type>, Path)

A referenec to a port, reg, or node.

Net(Span, OnceCell<Type>, NetId)

A referenec to a net. Used only in crate::sim::Sim.

Word(Span, OnceCell<Type>, Option<Width>, u64)

A literal Word.

Enum(Span, OnceCell<Type>, Type, String)

A literal enum value.

Ctor(Span, OnceCell<Type>, String, Vec<Arc<Expr>>)

Constructor (for Valid<T>)

Struct(Span, OnceCell<Type>, Vec<(String, Arc<Expr>)>)

Constructor for structs. Eg, { x = 0, y = 0}.

Let(Span, OnceCell<Type>, String, Option<Type>, Arc<Expr>, Arc<Expr>)

Let binding. Eg, let x = a + b in x + x.

UnOp(Span, OnceCell<Type>, UnOp, Arc<Expr>)

A unary operation. Eg, !0b101w3.

BinOp(Span, OnceCell<Type>, BinOp, Arc<Expr>, Arc<Expr>)

A binary operation. Eg, 1w8 + 1w8.

If(Span, OnceCell<Type>, Arc<Expr>, Arc<Expr>, Arc<Expr>)

An if expression.

Match(Span, OnceCell<Type>, Arc<Expr>, Vec<MatchArm>)

A match expression.

Mux(Span, OnceCell<Type>, Arc<Expr>, Arc<Expr>, Arc<Expr>)

A multiplexer. Eg, mux(cond, a, b).

Cat(Span, OnceCell<Type>, Vec<Arc<Expr>>)

A concatenate expression. Eg, cat(foo, 0w1).

Sext(Span, OnceCell<Type>, Arc<Expr>)

A sign extension expression.

Zext(Span, OnceCell<Type>, Arc<Expr>)

A zero extension expression.

TryCast(Span, OnceCell<Type>, Arc<Expr>)

Try to cast a Word to an enum type.

ToWord(Span, OnceCell<Type>, Arc<Expr>)

A word expression. Used to cast user-defined enum types to their bit values.

Vec(Span, OnceCell<Type>, Vec<Arc<Expr>>)

A vector constructor expression. Eg, [0w2, 1w2, 2w2].

IdxField(Span, OnceCell<Type>, Arc<Expr>, String)

Idx(Span, OnceCell<Type>, Arc<Expr>, u64)

A static index. Eg, foo[0].

IdxRange(Span, OnceCell<Type>, Arc<Expr>, u64, u64)

A static index range. Eg, foo[8..4].

Call(Span, OnceCell<Type>, Arc<FnDef>, Vec<Arc<Expr>>)

A function call. Eg, foo(x, y).

Hole(Span, OnceCell<Type>, Option<String>)

A hole. Eg, ?foo.

Implementations

impl Expr

pub fn eval(&self, bitsy: &Sim) -> Value

impl Expr

pub fn rebase(&self, current_path: Path) -> Arc<Expr>

impl Expr

pub fn typecheck( self: &Arc<Self>, type_expected: Type, ctx: Context<Path, Type> ) -> Result<(), TypeError>

pub fn typeinfer(&self, ctx: Context<Path, Type>) -> Option<Type>

impl Expr

pub fn assert_has_types(&self)

pub fn with_subexprs(&self, callback: &mut dyn FnMut(&Expr))

Walk the expression tree in-order, calling callback for each subexpression.

pub fn paths(&self) -> Vec<Path>

pub fn is_constant(&self) -> bool

pub fn free_vars(&self) -> BTreeSet<Path>

pub fn depends_on(&self, path: Path) -> bool

pub fn type_of(&self) -> Type

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl HasSpan for Expr

fn span(&self) -> Span