Struct TypeHandle 

pub struct TypeHandle(/* private fields */);

A handle to the uniqued Type objects stored in the Context.

Implementations

impl TypeHandle

pub fn deref<'a>(&self, ctx: &'a Context) -> Ref<'a, dyn Type + 'static>

Get a reference to the underlying Type object.

pub fn deref_mut<'a>(&self, ctx: &'a Context) -> RefMut<'a, dyn Type + 'static>

Get a mutable reference to the underlying Type object. This is useful when building recursive types, and the caller must ensure that the mutation does not change the hash-relevant contents of the type.

Trait Implementations

impl Clone for TypeHandle

fn clone(&self) -> TypeHandle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CloneIntoContext for TypeHandle

fn clone_into_context( &self, src_ctx: &Context, dst_ctx: &mut Context, ) -> TypeHandle

Clone self from src_ctx into dst_ctx.

impl Copy for TypeHandle

impl Debug for TypeHandle

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

Formats the value using the given formatter.

impl Eq for TypeHandle

impl From<TypeAttr> for TypeHandle

fn from(value: TypeAttr) -> TypeHandle

Converts to this type from the input type.

impl From<TypeHandle> for TypeAttr

fn from(value: TypeHandle) -> TypeAttr

Converts to this type from the input type.

impl<I> From<TypeInterfaceHandle<I>> for TypeHandle

where I: TypeInterfaceMarker + 'static + ?Sized,

fn from(value: TypeInterfaceHandle<I>) -> TypeHandle

Converts to this type from the input type.

impl<T> From<TypedHandle<T>> for TypeHandle

where T: Type,

fn from(value: TypedHandle<T>) -> TypeHandle

Converts to this type from the input type.

impl Hash for TypeHandle

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parsable for TypeHandle

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = TypeHandle

The type of the parsed entity.

fn parse<'a>( state_stream: &mut Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, _arg: <TypeHandle as Parsable>::Arg, ) -> Result<(<TypeHandle as Parsable>::Parsed, Commit<()>), Commit<Tracked<<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>> as StreamOnce>::Error>>>

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on StateStream as its input.

impl PartialEq for TypeHandle

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

Equality operator ==.

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

Inequality operator !=.

impl Printable for TypeHandle

fn fmt( &self, ctx: &Context, state: &State, f: &mut Formatter<'_>, ) -> Result<(), Error>

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl StableHash for TypeHandle

fn stable_hash(&self, ctx: &Context, state: &mut dyn Hasher)

Compute a stable hash for self.

impl StructuralPartialEq for TypeHandle

impl TypeExt for TypeHandle

fn as_ptr(&self, ctx: &Context) -> PointerType

impl Typed for TypeHandle

fn get_type(&self, _ctx: &Context) -> TypeHandle

Get the Type of the current entity.

impl Verify for TypeHandle

fn verify(&self, ctx: &Context) -> Result<(), Error>