Trait move_binary_format::views::ViewInternals

pub trait ViewInternals {
    type ModuleType;
    type Inner;
    fn module(&self) -> Self::ModuleType;
    fn as_inner(&self) -> Self::Inner;
}

This is used to expose some view internals to checks and other areas. This might be exposed to external code in the future.

Associated Types

type ModuleType

type Inner

Required methods

fn module(&self) -> Self::ModuleType

fn as_inner(&self) -> Self::Inner

Implementors

impl<'a, T: ModuleAccess> ViewInternals for FieldDefinitionView<'a, T>

type ModuleType = &'a T

type Inner = &'a FieldDefinition

impl<'a, T: ModuleAccess> ViewInternals for FunctionDefinitionView<'a, T>

type ModuleType = &'a T

type Inner = &'a FunctionDefinition

impl<'a, T: ModuleAccess> ViewInternals for FunctionHandleView<'a, T>

type ModuleType = &'a T

type Inner = &'a FunctionHandle

impl<'a, T: ModuleAccess> ViewInternals for ModuleHandleView<'a, T>

type ModuleType = &'a T

type Inner = &'a ModuleHandle

impl<'a, T: ModuleAccess> ViewInternals for ModuleView<'a, T>

type ModuleType = &'a T

type Inner = &'a T

impl<'a, T: ModuleAccess> ViewInternals for SignatureTokenView<'a, T>

type ModuleType = &'a T

type Inner = &'a SignatureToken

impl<'a, T: ModuleAccess> ViewInternals for SignatureView<'a, T>

type ModuleType = &'a T

type Inner = &'a Signature

impl<'a, T: ModuleAccess> ViewInternals for StructDefinitionView<'a, T>

type ModuleType = &'a T

type Inner = &'a StructDefinition

impl<'a, T: ModuleAccess> ViewInternals for StructHandleView<'a, T>

type ModuleType = &'a T

type Inner = &'a StructHandle

impl<'a, T: ModuleAccess> ViewInternals for TypeSignatureView<'a, T>

type ModuleType = &'a T

type Inner = &'a TypeSignature