Trait DeepReveal 

pub trait DeepReveal {
    type Revealed;

    // Required method
    fn deep_reveal(self) -> Self::Revealed;
}

Trait for recursively revealing the underlying types within lattice types.

Required Associated Types

type Revealed

The underlying type when revealed.

Required Methods

fn deep_reveal(self) -> Self::Revealed

Reveals the underlying lattice types recursively.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl DeepReveal for ()

type Revealed = ()

fn deep_reveal(self) -> Self::Revealed

Implementors

impl<Inner> DeepReveal for WithBot<Inner>

where Inner: DeepReveal,

type Revealed = Option<<Inner as DeepReveal>::Revealed>

impl<Inner> DeepReveal for WithTop<Inner>

where Inner: DeepReveal,

type Revealed = Option<<Inner as DeepReveal>::Revealed>

impl<Key, Val> DeepReveal for DomPair<Key, Val>

where Key: DeepReveal, Val: DeepReveal,

type Revealed = (<Key as DeepReveal>::Revealed, <Val as DeepReveal>::Revealed)

impl<Lat> DeepReveal for VecUnion<Lat>

where Lat: DeepReveal,

Available on crate feature alloc only.

type Revealed = Vec<<Lat as DeepReveal>::Revealed>

impl<LatA, LatB> DeepReveal for Pair<LatA, LatB>

where LatA: DeepReveal, LatB: DeepReveal,

type Revealed = (<LatA as DeepReveal>::Revealed, <LatB as DeepReveal>::Revealed)

impl<Map, Val> DeepReveal for MapUnion<Map>

where Map: Keyed<Item = Val> + MapMapValues<Val>, Val: DeepReveal,

type Revealed = <Map as MapMapValues<Val>>::MapValue<<Val as DeepReveal>::Revealed>

impl<Map> DeepReveal for UnionFind<Map>

Available on crate feature std only.

type Revealed = Map

impl<Set> DeepReveal for SetUnion<Set>

type Revealed = Set

impl<T, Provenance> DeepReveal for Point<T, Provenance>

type Revealed = T

impl<T> DeepReveal for Conflict<T>

type Revealed = Option<T>

impl<T> DeepReveal for Max<T>

type Revealed = T

impl<T> DeepReveal for Min<T>

type Revealed = T