pub trait QuotedWithContext<'a, T, Ctx>: FreeVariableWithContext<Ctx, O = T> {
// Provided methods
fn splice_untyped_ctx(self, ctx: &Ctx) -> Expr
where Self: Sized { ... }
fn splice_typed_ctx(self, ctx: &Ctx) -> Expr
where Self: Sized { ... }
fn splice_fn0_ctx<O>(self, ctx: &Ctx) -> Expr
where Self: Sized,
T: Fn() -> O { ... }
fn splice_fn1_ctx<I, O>(self, ctx: &Ctx) -> Expr
where Self: Sized,
T: Fn(I) -> O { ... }
fn splice_fn1_borrow_ctx<I, O>(self, ctx: &Ctx) -> Expr
where Self: Sized,
T: Fn(&I) -> O { ... }
fn splice_fn2_borrow_mut_ctx<I1, I2, O>(self, ctx: &Ctx) -> Expr
where Self: Sized,
T: Fn(&mut I1, I2) -> O { ... }
fn splice_untyped(self) -> Expr
where Self: Sized,
Ctx: Default { ... }
fn splice_typed(self) -> Expr
where Self: Sized,
Ctx: Default { ... }
fn splice_fn0<O>(self) -> Expr
where Self: Sized,
Ctx: Default,
T: Fn() -> O { ... }
fn splice_fn1<I, O>(self) -> Expr
where Self: Sized,
Ctx: Default,
T: Fn(I) -> O { ... }
fn splice_fn1_borrow<I, O>(self) -> Expr
where Self: Sized,
Ctx: Default,
T: Fn(&I) -> O { ... }
fn splice_fn2_borrow_mut<I1, I2, O>(self) -> Expr
where Self: Sized,
Ctx: Default,
T: Fn(&mut I1, I2) -> O { ... }
}