Struct SyntaxExtension 

pub struct SyntaxExtension(pub Rc<Box<dyn Fn(ParseContext, Ast) -> ParseContext>>);

Tuple Fields

0: Rc<Box<dyn Fn(ParseContext, Ast) -> ParseContext>>

Trait Implementations

impl Clone for SyntaxExtension

fn clone(&self) -> SyntaxExtension

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyntaxExtension

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

Formats the value using the given formatter.

impl PartialEq for SyntaxExtension

fn eq(&self, other: &SyntaxExtension) -> bool

pointer equality! (for testing)

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Reifiable for SyntaxExtension

fn ty_name() -> Name

A name for that type, so that recursive types are okay. Ignore the type parameters of Self; invoke like Self::<Irr,Irr>::ty_name(). e.g. WithInteger

fn reify(&self) -> Value

The Unseemly value that corresponds to a value.

fn reflect(v: &Value) -> Self

Get a value from an Unseemly value

fn ty() -> Ast

The Unseemly type that corresponds to to the Reifiable type. This leaves abstract the type parameters of Self; invoke like Self::<Irr,Irr>::ty(). e.g. ∀ A. Pair<A int> TODO: rename to generic_ty

fn ty_invocation() -> Ast

How to refer to this type, given an environment in which ty_name() is defined to be ty(). Parameters will be concrete. e.g. WithInteger<Float> (Types using this type will use this, rather than ty) Don’t override this.

fn concrete_arguments() -> Option<Vec<Ast>>